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

KBmagPackage Class Reference

#include <KBmagPackage.h>

List of all members.

Public Methods

 KBmagPackage (const VectorOf< Chars > &genNames, const SetOf< Word > &rels, const WordOrder &word_order, int tidyint)
 KBmagPackage (const VectorOf< Chars > &genNames, const SetOf< Word > &rels, const WordOrder &word_order)
 KBmagPackage (const VectorOf< Chars > &genNames, const SetOf< Word > &rels)
 ~KBmagPackage ()
Bool sanityCheck () const
Trichotomy autgroup ()
Trichotomy gpaxioms ()
Trichotomy gpcheckmult ()
Trichotomy gpgenmult (Bool eqcheck=YES)
Trichotomy gpmakefsa (Bool eqcheck=YES)
Trichotomy gpwa ()
Trichotomy kbprog (int haltingfactor=100, int tidyint=20, int maxeqns=200, int maxstates=1000)
Chars getName () const
Bool isProvedAutomatic () const
Bool isProvedConfluent () const
Chars getGeneratorName (Generator g) const
GroupDFSA wordAcceptor ()
GenMult generalMultiplier ()
DiffMachine differenceMachine (int i)
void setWordAcceptor (const GroupDFSA &WA)
void setGeneralMultiplier (const GenMult &GM)
void setDifferenceMachine (const DiffMachine &Diff, int i)
GroupDFSARep wordAcceptorRep ()
GenMultRep generalMultiplierRep ()
DiffMachineRep differenceMachineRep (int i)
void setWordAcceptor (const GroupDFSARep &WARep)
void setGeneralMultiplier (const GenMultRep &GMRep)
void setDifferenceMachine (const DiffMachineRep &DiffRep, int i)
Bool minimize (DFSA &D)
Bool minimize (GroupDFSA &D)
Bool minimize (DFSARep &D)
Bool minimize (GroupDFSARep &D)
Bool gpcomp (GroupDFSA &D1, GroupDFSA &D2, GroupDFSA &D3)
Bool gpcomp (GroupDFSARep &D1, GroupDFSARep &D2, GroupDFSARep &D3)

Private Methods

Bool findInputFile (const Chars &fname)
void createRWSFile ()
Word readWord (istream &istr)
void printWord (ostream &str, const Word &w)

Private Attributes

int numOfSymbols
int tidyInterval
Chars problemName
VectorOf<CharsgeneratorNames
SetOf<Wordrelators
WordOrder order
Bool error
Bool provedAutomatic
Bool provedConfluent
Chars cdbin


Constructor & Destructor Documentation

KBmagPackage::KBmagPackage ( const VectorOf< Chars > & genNames,
const SetOf< Word > & rels,
const WordOrder & word_order,
int tidyint )
 

KBmagPackage::KBmagPackage ( const VectorOf< Chars > & genNames,
const SetOf< Word > & rels,
const WordOrder & word_order )
 

KBmagPackage::KBmagPackage ( const VectorOf< Chars > & genNames,
const SetOf< Word > & rels )
 

KBmagPackage::~KBmagPackage ( )
 


Member Function Documentation

Bool KBmagPackage::sanityCheck ( ) const [inline]
 

Definition at line 141 of file KBmagPackage.h.

Trichotomy KBmagPackage::autgroup ( )
 

Trichotomy KBmagPackage::gpaxioms ( )
 

Trichotomy KBmagPackage::gpcheckmult ( )
 

Trichotomy KBmagPackage::gpgenmult ( Bool eqcheck = YES )
 

Trichotomy KBmagPackage::gpmakefsa ( Bool eqcheck = YES )
 

Trichotomy KBmagPackage::gpwa ( )
 

Trichotomy KBmagPackage::kbprog ( int haltingfactor = 100,
int tidyint = 20,
int maxeqns = 200,
int maxstates = 1000 )
 

Chars KBmagPackage::getName ( ) const [inline]
 

Definition at line 158 of file KBmagPackage.h.

Bool KBmagPackage::isProvedAutomatic ( ) const [inline]
 

Definition at line 160 of file KBmagPackage.h.

Bool KBmagPackage::isProvedConfluent ( ) const [inline]
 

Definition at line 161 of file KBmagPackage.h.

Chars KBmagPackage::getGeneratorName ( Generator g ) const [inline]
 

Definition at line 164 of file KBmagPackage.h.

GroupDFSA KBmagPackage::wordAcceptor ( )
 

GenMult KBmagPackage::generalMultiplier ( )
 

DiffMachine KBmagPackage::differenceMachine ( int i )
 

void KBmagPackage::setWordAcceptor ( const GroupDFSA & WA )
 

void KBmagPackage::setGeneralMultiplier ( const GenMult & GM )
 

void KBmagPackage::setDifferenceMachine ( const DiffMachine & Diff,
int i )
 

GroupDFSARep KBmagPackage::wordAcceptorRep ( )
 

GenMultRep KBmagPackage::generalMultiplierRep ( )
 

DiffMachineRep KBmagPackage::differenceMachineRep ( int i )
 

void KBmagPackage::setWordAcceptor ( const GroupDFSARep & WARep )
 

void KBmagPackage::setGeneralMultiplier ( const GenMultRep & GMRep )
 

void KBmagPackage::setDifferenceMachine ( const DiffMachineRep & DiffRep,
int i )
 

Bool KBmagPackage::minimize ( DFSA & D )
 

Bool KBmagPackage::minimize ( GroupDFSA & D )
 

Bool KBmagPackage::minimize ( DFSARep & D )
 

Bool KBmagPackage::minimize ( GroupDFSARep & D )
 

Bool KBmagPackage::gpcomp ( GroupDFSA & D1,
GroupDFSA & D2,
GroupDFSA & D3 )
 

Bool KBmagPackage::gpcomp ( GroupDFSARep & D1,
GroupDFSARep & D2,
GroupDFSARep & D3 )
 

Bool KBmagPackage::findInputFile ( const Chars & fname ) [private]
 

void KBmagPackage::createRWSFile ( ) [private]
 

Word KBmagPackage::readWord ( istream & istr ) [private]
 

void KBmagPackage::printWord ( ostream & str,
const Word & w ) [private]
 


Member Data Documentation

int KBmagPackage::numOfSymbols [private]
 

Definition at line 199 of file KBmagPackage.h.

int KBmagPackage::tidyInterval [private]
 

Definition at line 200 of file KBmagPackage.h.

Chars KBmagPackage::problemName [private]
 

Definition at line 202 of file KBmagPackage.h.

VectorOf<Chars> KBmagPackage::generatorNames [private]
 

Definition at line 204 of file KBmagPackage.h.

SetOf<Word> KBmagPackage::relators [private]
 

Definition at line 205 of file KBmagPackage.h.

WordOrder KBmagPackage::order [private]
 

Definition at line 206 of file KBmagPackage.h.

Bool KBmagPackage::error [private]
 

Definition at line 208 of file KBmagPackage.h.

Bool KBmagPackage::provedAutomatic [private]
 

Definition at line 209 of file KBmagPackage.h.

Bool KBmagPackage::provedConfluent [private]
 

Definition at line 210 of file KBmagPackage.h.

Chars KBmagPackage::cdbin [private]
 

Definition at line 212 of file KBmagPackage.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