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

DiffMachineRep Class Reference

#include <DiffMachineRep.h>

Inheritance diagram for DiffMachineRep::

GroupDFSARep List of all members.

Public Methods

 DiffMachineRep ()
 DiffMachineRep (const VectorOf< Chars > &genNames)
 DiffMachineRep (const VectorOf< Chars > &genNames, const WordOrder &word_order)
 DiffMachineRep (const DiffMachineRep &D)
DiffMachineRep& operator= (const DiffMachineRep &D)
FSARep* clone () const
Bool operator== (const DiffMachineRep &D) const
void minimize ()
void readFrom (istream &str=cin)
void printAccepting (ostream &str=cout) const
void printStates (ostream &str=cout) const
void setNumStates (int numOfStates)
Word getDifference (State s) const
void setDifference (State s, Word w)
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
GroupDFSA wordAcceptor (const WordOrder &word_order) const
void buildDifferenceMachine (DiffMachineRep &D, const SetOf< Word > &differences, const WordOrder &word_order) const
void rebuildDifferenceMachine (const WordOrder &word_order)
void write (ostream &ostr) const
void read (istream &istr)

Private Methods

void buildWordAcceptor (GroupDFSARep &Wp, const WordOrder &word_order) const
GroupDFSA convertToGroupDFSA (GroupDFSARep *Wp) const
Bool reductionAhead (State d, const AheadInfo &ai, const WordOrder &word_order) const

Private Attributes

VectorOf<Worddiffs

Constructor & Destructor Documentation

DiffMachineRep::DiffMachineRep ( ) [inline]
 

Definition at line 34 of file DiffMachineRep.h.

Referenced by clone().

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

Definition at line 36 of file DiffMachineRep.h.

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

Definition at line 43 of file DiffMachineRep.h.

DiffMachineRep::DiffMachineRep ( const DiffMachineRep & D ) [inline]
 

Definition at line 50 of file DiffMachineRep.h.


Member Function Documentation

DiffMachineRep & DiffMachineRep::operator= ( const DiffMachineRep & D ) [inline]
 

Definition at line 53 of file DiffMachineRep.h.

FSARep * DiffMachineRep::clone ( ) const [inline]
 

Definition at line 61 of file DiffMachineRep.h.

Bool DiffMachineRep::operator== ( const DiffMachineRep & D ) const [inline]
 

Definition at line 63 of file DiffMachineRep.h.

void DiffMachineRep::minimize ( ) [inline]
 

Definition at line 74 of file DiffMachineRep.h.

void DiffMachineRep::readFrom ( istream & str = cin )
 

void DiffMachineRep::printAccepting ( ostream & str = cout ) const
 

void DiffMachineRep::printStates ( ostream & str = cout ) const
 

void DiffMachineRep::setNumStates ( int numOfStates )
 

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

Definition at line 85 of file DiffMachineRep.h.

Referenced by DiffMachine::getDifference().

void DiffMachineRep::setDifference ( State s,
Word w ) [inline]
 

Definition at line 89 of file DiffMachineRep.h.

void DiffMachineRep::addDifferencesEqn ( const Word & w1,
const Word & w2,
const WordOrder & word_order )
 

Referenced by DiffMachine::addDifferencesEqn().

void DiffMachineRep::closeUnderSubstrings ( int mode,
const WordOrder & word_order )
 

Referenced by DiffMachine::closeUnderSubstrings().

void DiffMachineRep::closeUnderInverses ( const WordOrder & word_order )
 

Referenced by DiffMachine::closeUnderInverses().

Bool DiffMachineRep::rewrite ( Word & w ) const
 

Referenced by DiffMachine::rewrite().

Bool DiffMachineRep::rewrite ( Word & w,
const WordOrder & word_order ) const
 

GroupDFSA DiffMachineRep::wordAcceptor ( const WordOrder & word_order ) const
 

Referenced by DiffMachine::wordAcceptor().

void DiffMachineRep::buildDifferenceMachine ( DiffMachineRep & D,
const SetOf< Word > & differences,
const WordOrder & word_order ) const
 

Referenced by DiffMachine::buildDifferenceMachine().

void DiffMachineRep::rebuildDifferenceMachine ( const WordOrder & word_order )
 

Referenced by DiffMachine::rebuildDifferenceMachine().

void DiffMachineRep::write ( ostream & ostr ) const [inline]
 

Definition at line 109 of file DiffMachineRep.h.

void DiffMachineRep::read ( istream & istr ) [inline]
 

Definition at line 115 of file DiffMachineRep.h.

void DiffMachineRep::buildWordAcceptor ( GroupDFSARep & Wp,
const WordOrder & word_order ) const [private]
 

GroupDFSA DiffMachineRep::convertToGroupDFSA ( GroupDFSARep * Wp ) const [private]
 

Bool DiffMachineRep::reductionAhead ( State d,
const AheadInfo & ai,
const WordOrder & word_order ) const [private]
 


Member Data Documentation

VectorOf<Word> DiffMachineRep::diffs [private]
 

Definition at line 123 of file DiffMachineRep.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