Main Page   Class Hierarchy   Compound List   File List   Compound Members   File Members  

DiffMachine Class Reference

#include <DiffMachine.h>

Inheritance diagram for DiffMachine::

FSA List of all members.

Public Methods

 DiffMachine ()
 DiffMachine (const VectorOf< Chars > genNames)
 DiffMachine (const VectorOf< Chars > genNames, const WordOrder &word_order)
void addDifferencesEqn (const Word &w1, const Word &w2, const WordOrder &word_order)
void closeUnderSubstrings (int mode, const WordOrder &word_order)
void closeUnderInverses (const WordOrder &word_order)
Bool rewrite (Word &w) const
Bool rewrite (Word &w, const WordOrder &word_order) const
Word getDifference (State s) const
GroupDFSA wordAcceptor (const WordOrder &word_order) const
void buildDifferenceMachine (DiffMachine &D, const SetOf< Word > &differences, const WordOrder &word_order)
void rebuildDifferenceMachine (const WordOrder &word_order)

Protected Methods

 DiffMachine (DiffMachineRep *rep)
const DiffMachineReplook () const
DiffMachineRepchange ()

Private Types

typedef DFSARep::State State

Friends

class  RKBPackage

Member Typedef Documentation

typedef DFSARep::State DiffMachine::State [private]
 

Definition at line 32 of file DiffMachine.h.


Constructor & Destructor Documentation

DiffMachine::DiffMachine ( ) [inline]
 

Definition at line 34 of file DiffMachine.h.

DiffMachine::DiffMachine ( const VectorOf< Chars > genNames ) [inline]
 

Definition at line 36 of file DiffMachine.h.

DiffMachine::DiffMachine ( const VectorOf< Chars > genNames,
const WordOrder & word_order ) [inline]
 

Definition at line 39 of file DiffMachine.h.

DiffMachine::DiffMachine ( DiffMachineRep * rep ) [inline, protected]
 

Definition at line 66 of file DiffMachine.h.


Member Function Documentation

void DiffMachine::addDifferencesEqn ( const Word & w1,
const Word & w2,
const WordOrder & word_order ) [inline]
 

Definition at line 43 of file DiffMachine.h.

void DiffMachine::closeUnderSubstrings ( int mode,
const WordOrder & word_order ) [inline]
 

Definition at line 45 of file DiffMachine.h.

void DiffMachine::closeUnderInverses ( const WordOrder & word_order ) [inline]
 

Definition at line 47 of file DiffMachine.h.

Bool DiffMachine::rewrite ( Word & w ) const [inline]
 

Definition at line 49 of file DiffMachine.h.

Bool DiffMachine::rewrite ( Word & w,
const WordOrder & word_order ) const [inline]
 

Definition at line 50 of file DiffMachine.h.

Word DiffMachine::getDifference ( State s ) const [inline]
 

Definition at line 52 of file DiffMachine.h.

GroupDFSA DiffMachine::wordAcceptor ( const WordOrder & word_order ) const [inline]
 

Definition at line 53 of file DiffMachine.h.

void DiffMachine::buildDifferenceMachine ( DiffMachine & D,
const SetOf< Word > & differences,
const WordOrder & word_order ) [inline]
 

Definition at line 55 of file DiffMachine.h.

void DiffMachine::rebuildDifferenceMachine ( const WordOrder & word_order ) [inline]
 

Definition at line 59 of file DiffMachine.h.

const DiffMachineRep * DiffMachine::look ( ) const [inline, protected]
 

Definition at line 68 of file DiffMachine.h.

Referenced by buildDifferenceMachine(), getDifference(), rewrite(), and wordAcceptor().

DiffMachineRep * DiffMachine::change ( ) [inline, protected]
 

Definition at line 70 of file DiffMachine.h.

Referenced by addDifferencesEqn(), buildDifferenceMachine(), closeUnderInverses(), closeUnderSubstrings(), and rebuildDifferenceMachine().


Friends And Related Function Documentation

friend class RKBPackage [friend]
 

Definition at line 31 of file DiffMachine.h.


The documentation for this class was generated from the following file:
Generated at Tue Jun 19 09:49:51 2001 for Magnus Classes by doxygen1.2.6 written by Dimitri van Heesch, © 1997-2001