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

KBMachineRep Class Reference

#include <KBMachineRep.h>

Inheritance diagram for KBMachineRep::

GroupDFSARep List of all members.

Public Methods

 KBMachineRep ()
 KBMachineRep (const VectorOf< Chars > &genNames)
 KBMachineRep (const VectorOf< Chars > &genNames, const WordOrder &word_order)
 KBMachineRep (const VectorOf< Chars > &genNames, int numOfRules)
 KBMachineRep (const VectorOf< Chars > &genNames, const WordOrder &word_order, int numOfRules)
 KBMachineRep (const VectorOf< Chars > &genNames, int numOfRules, int numOfStates)
 KBMachineRep (const VectorOf< Chars > &genNames, const WordOrder &word_order, int numOfRules, int numOfStates)
 ~KBMachineRep ()
 KBMachineRep (const KBMachineRep &K)
KBMachineRep& operator= (const KBMachineRep &K)
FSARep* clone () const
Bool operator== (const KBMachineRep &K) const
Bool accepts (Word w) const
Bool rejectsInState (Word w, int &state) const
Bool nextAcceptedWord (Word &w) const
void minimize ()
void printOn (ostream &str=cout) const
void oldFormatPrintOn (ostream &str=cout) const
void setNumStates (int i)
void setNumRules (int i)
int getNumRules ()
int getLength (State s) const
void setLength (State s, int i)
int getRuleIndex (State s) const
void setRuleIndex (State s, int i)
Word getLHS (int i)
Word getRHS (int i)
void setLHS (int i, Word w)
void setRHS (int i, Word w)
Bool rewrite (Word &w) const
void write (ostream &ostr) const
void read (istream &istr)

Private Attributes

int numRules
VectorOf<Wordlhs
VectorOf<Wordrhs
VectorOf<int> length
VectorOf<int> ruleIndex

Constructor & Destructor Documentation

KBMachineRep::KBMachineRep ( ) [inline]
 

Definition at line 34 of file KBMachineRep.h.

Referenced by clone().

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

Definition at line 42 of file KBMachineRep.h.

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

Definition at line 50 of file KBMachineRep.h.

KBMachineRep::KBMachineRep ( const VectorOf< Chars > & genNames,
int numOfRules ) [inline]
 

Definition at line 58 of file KBMachineRep.h.

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

Definition at line 66 of file KBMachineRep.h.

KBMachineRep::KBMachineRep ( const VectorOf< Chars > & genNames,
int numOfRules,
int numOfStates ) [inline]
 

Definition at line 75 of file KBMachineRep.h.

KBMachineRep::KBMachineRep ( const VectorOf< Chars > & genNames,
const WordOrder & word_order,
int numOfRules,
int numOfStates ) [inline]
 

Definition at line 85 of file KBMachineRep.h.

KBMachineRep::~KBMachineRep ( ) [inline]
 

Definition at line 96 of file KBMachineRep.h.

KBMachineRep::KBMachineRep ( const KBMachineRep & K ) [inline]
 

Definition at line 97 of file KBMachineRep.h.


Member Function Documentation

KBMachineRep & KBMachineRep::operator= ( const KBMachineRep & K ) [inline]
 

Definition at line 102 of file KBMachineRep.h.

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

Definition at line 113 of file KBMachineRep.h.

Bool KBMachineRep::operator== ( const KBMachineRep & K ) const [inline]
 

Definition at line 115 of file KBMachineRep.h.

Bool KBMachineRep::accepts ( Word w ) const [inline]
 

Definition at line 126 of file KBMachineRep.h.

Bool KBMachineRep::rejectsInState ( Word w,
int & state ) const [inline]
 

Definition at line 127 of file KBMachineRep.h.

Bool KBMachineRep::nextAcceptedWord ( Word & w ) const [inline]
 

Definition at line 128 of file KBMachineRep.h.

void KBMachineRep::minimize ( ) [inline]
 

Definition at line 131 of file KBMachineRep.h.

void KBMachineRep::printOn ( ostream & str = cout ) const
 

void KBMachineRep::oldFormatPrintOn ( ostream & str = cout ) const
 

Referenced by KBMachine::oldFormatPrintOn().

void KBMachineRep::setNumStates ( int i )
 

void KBMachineRep::setNumRules ( int i ) [inline]
 

Definition at line 138 of file KBMachineRep.h.

int KBMachineRep::getNumRules ( ) [inline]
 

Definition at line 139 of file KBMachineRep.h.

int KBMachineRep::getLength ( State s ) const [inline]
 

Definition at line 140 of file KBMachineRep.h.

void KBMachineRep::setLength ( State s,
int i ) [inline]
 

Definition at line 141 of file KBMachineRep.h.

int KBMachineRep::getRuleIndex ( State s ) const [inline]
 

Definition at line 142 of file KBMachineRep.h.

void KBMachineRep::setRuleIndex ( State s,
int i ) [inline]
 

Definition at line 143 of file KBMachineRep.h.

Word KBMachineRep::getLHS ( int i ) [inline]
 

Definition at line 144 of file KBMachineRep.h.

Word KBMachineRep::getRHS ( int i ) [inline]
 

Definition at line 145 of file KBMachineRep.h.

void KBMachineRep::setLHS ( int i,
Word w ) [inline]
 

Definition at line 146 of file KBMachineRep.h.

void KBMachineRep::setRHS ( int i,
Word w ) [inline]
 

Definition at line 147 of file KBMachineRep.h.

Bool KBMachineRep::rewrite ( Word & w ) const
 

Referenced by KBMachine::rewrite().

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

Definition at line 160 of file KBMachineRep.h.

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

Definition at line 166 of file KBMachineRep.h.


Member Data Documentation

int KBMachineRep::numRules [private]
 

Definition at line 175 of file KBMachineRep.h.

VectorOf<Word> KBMachineRep::lhs [private]
 

Definition at line 176 of file KBMachineRep.h.

VectorOf<Word> KBMachineRep::rhs [private]
 

Definition at line 177 of file KBMachineRep.h.

VectorOf<int> KBMachineRep::length [private]
 

Definition at line 179 of file KBMachineRep.h.

VectorOf<int> KBMachineRep::ruleIndex [private]
 

Definition at line 182 of file KBMachineRep.h.


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