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

RKBPackage Class Reference

#include <RKBPackage.h>

List of all members.

Public Methods

 RKBPackage (const VectorOf< Chars > &genNames, const SetOf< Word > &relators)
 RKBPackage (const VectorOf< Chars > &genNames, const SetOf< Word > &relators, const WordOrder &word_order)
 ~RKBPackage ()
Chars getName () const
void runKB (int MaxLen, int numIterations, int saveLHSLen, int saveRHSLen)
float* growthRate (int maxLen, int numTrials, int seed)
void saveToFiles ()
void printRules (ostream &str=cout)
void readRule (istream &str, Word &left, Word &right)
void oneOffRewrite (Word &w)
void enterRewriteMode ()
void quitRewriteMode ()
void rewrite (Word &w)
SetOf<WordwordDifferences ()
DiffMachine differenceMachine (const SetOf< Word > &differences)
DiffMachine differenceMachine ()
KBMachine KnuthBendixMachine ()
VectorOf<CharsgetGeneratorNames () const
const char* rulesFilename () const
int currentNumOfRules () const
Bool isProvedConfluent () const
Bool rulesReduced (Word *lhs, Word *rhs, int numOfrules)
Bool sanityCheck () const
Chars getGeneratorName (Generator g) const

Private Methods

void initialize (const VectorOf< Chars > &genNames, const SetOf< Word > &relators, const WordOrder &word_order)
void restartProcess ()
void haltProcess ()
void createSystemFile ()
void setWeightsAndLevels (ofstream &rkbp_system)
void createSubsystemFile ()
void createRulesFile (const SetOf< Word > &relators)
void skipToNextPrompt ()
void skipToImmediatePrompt ()
void printWord (ostream &str, const Word &w)
Word readWord (istream &str)
void readSummary ()
float* readProbe (int maxLen)
DiffMachine convertToDiffMachine (DiffMachineRep *R) const
KBMachine convertToKBMachine (KBMachineRep *R) const
void buildDifferenceMachine (DiffMachineRep &D, const SetOf< Word > &differences)
void buildKnuthBendixMachine (KBMachineRep &K)

Private Attributes

Bool error
Bool runningProcess
Bool rewriteMode
Bool filesOutOfDate
Bool provedConfluent
int numRules
int lenLeftMin
int lenLeftMax
int lenLeftTotal
int lenRightMin
int lenRightMax
int lenRightTotal
char problemName [64]
char inFileName [64]
char outFileName [64]
char rulesFileName [64]
char subsysFileName [64]
char sysFileName [64]
VectorOf<CharsgeneratorNames
WordOrder order
VectorOf<int> index
VectorOf<int> index_inv
VectorOf<int> genNumber
BlackBox theRKBPackage


Constructor & Destructor Documentation

RKBPackage::RKBPackage ( const VectorOf< Chars > & genNames,
const SetOf< Word > & relators ) [inline]
 

Definition at line 64 of file RKBPackage.h.

RKBPackage::RKBPackage ( const VectorOf< Chars > & genNames,
const SetOf< Word > & relators,
const WordOrder & word_order ) [inline]
 

Definition at line 83 of file RKBPackage.h.

RKBPackage::~RKBPackage ( )
 


Member Function Documentation

Chars RKBPackage::getName ( ) const [inline]
 

Definition at line 97 of file RKBPackage.h.

void RKBPackage::runKB ( int MaxLen,
int numIterations,
int saveLHSLen,
int saveRHSLen )
 

float* RKBPackage::growthRate ( int maxLen,
int numTrials,
int seed )
 

void RKBPackage::saveToFiles ( )
 

void RKBPackage::printRules ( ostream & str = cout )
 

void RKBPackage::readRule ( istream & str,
Word & left,
Word & right )
 

void RKBPackage::oneOffRewrite ( Word & w )
 

void RKBPackage::enterRewriteMode ( )
 

void RKBPackage::quitRewriteMode ( )
 

void RKBPackage::rewrite ( Word & w )
 

SetOf<Word> RKBPackage::wordDifferences ( )
 

DiffMachine RKBPackage::differenceMachine ( const SetOf< Word > & differences )
 

DiffMachine RKBPackage::differenceMachine ( ) [inline]
 

Definition at line 194 of file RKBPackage.h.

KBMachine RKBPackage::KnuthBendixMachine ( )
 

VectorOf< Chars > RKBPackage::getGeneratorNames<Chars> ( ) const [inline]
 

Definition at line 198 of file RKBPackage.h.

const char * RKBPackage::rulesFilename ( ) const [inline]
 

Definition at line 200 of file RKBPackage.h.

int RKBPackage::currentNumOfRules ( ) const [inline]
 

Definition at line 205 of file RKBPackage.h.

Bool RKBPackage::isProvedConfluent ( ) const [inline]
 

Definition at line 209 of file RKBPackage.h.

Bool RKBPackage::rulesReduced ( Word * lhs,
Word * rhs,
int numOfrules )
 

Bool RKBPackage::sanityCheck ( ) const [inline]
 

Definition at line 216 of file RKBPackage.h.

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

Definition at line 219 of file RKBPackage.h.

void RKBPackage::initialize ( const VectorOf< Chars > & genNames,
const SetOf< Word > & relators,
const WordOrder & word_order ) [private]
 

void RKBPackage::restartProcess ( ) [private]
 

void RKBPackage::haltProcess ( ) [private]
 

void RKBPackage::createSystemFile ( ) [private]
 

void RKBPackage::setWeightsAndLevels ( ofstream & rkbp_system ) [private]
 

void RKBPackage::createSubsystemFile ( ) [private]
 

void RKBPackage::createRulesFile ( const SetOf< Word > & relators ) [private]
 

void RKBPackage::skipToNextPrompt ( ) [private]
 

void RKBPackage::skipToImmediatePrompt ( ) [private]
 

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

Word RKBPackage::readWord ( istream & str ) [private]
 

void RKBPackage::readSummary ( ) [private]
 

float* RKBPackage::readProbe ( int maxLen ) [private]
 

DiffMachine RKBPackage::convertToDiffMachine ( DiffMachineRep * R ) const [private]
 

KBMachine RKBPackage::convertToKBMachine ( KBMachineRep * R ) const [private]
 

void RKBPackage::buildDifferenceMachine ( DiffMachineRep & D,
const SetOf< Word > & differences ) [private]
 

void RKBPackage::buildKnuthBendixMachine ( KBMachineRep & K ) [private]
 


Member Data Documentation

Bool RKBPackage::error [private]
 

Definition at line 235 of file RKBPackage.h.

Bool RKBPackage::runningProcess [private]
 

Definition at line 238 of file RKBPackage.h.

Bool RKBPackage::rewriteMode [private]
 

Definition at line 244 of file RKBPackage.h.

Bool RKBPackage::filesOutOfDate [private]
 

Definition at line 247 of file RKBPackage.h.

Bool RKBPackage::provedConfluent [private]
 

Definition at line 251 of file RKBPackage.h.

int RKBPackage::numRules [private]
 

Definition at line 257 of file RKBPackage.h.

int RKBPackage::lenLeftMin [private]
 

Definition at line 258 of file RKBPackage.h.

int RKBPackage::lenLeftMax [private]
 

Definition at line 259 of file RKBPackage.h.

int RKBPackage::lenLeftTotal [private]
 

Definition at line 260 of file RKBPackage.h.

int RKBPackage::lenRightMin [private]
 

Definition at line 261 of file RKBPackage.h.

int RKBPackage::lenRightMax [private]
 

Definition at line 262 of file RKBPackage.h.

int RKBPackage::lenRightTotal [private]
 

Definition at line 263 of file RKBPackage.h.

char RKBPackage::problemName[64] [private]
 

Definition at line 265 of file RKBPackage.h.

char RKBPackage::inFileName[64] [private]
 

Definition at line 267 of file RKBPackage.h.

char RKBPackage::outFileName[64] [private]
 

Definition at line 268 of file RKBPackage.h.

char RKBPackage::rulesFileName[64] [private]
 

Definition at line 269 of file RKBPackage.h.

char RKBPackage::subsysFileName[64] [private]
 

Definition at line 271 of file RKBPackage.h.

char RKBPackage::sysFileName[64] [private]
 

Definition at line 273 of file RKBPackage.h.

VectorOf<Chars> RKBPackage::generatorNames [private]
 

Definition at line 276 of file RKBPackage.h.

WordOrder RKBPackage::order [private]
 

Definition at line 277 of file RKBPackage.h.

VectorOf<int> RKBPackage::index [private]
 

Definition at line 278 of file RKBPackage.h.

VectorOf<int> RKBPackage::index_inv [private]
 

Definition at line 281 of file RKBPackage.h.

VectorOf<int> RKBPackage::genNumber [private]
 

Definition at line 284 of file RKBPackage.h.

BlackBox RKBPackage::theRKBPackage [private]
 

Definition at line 286 of file RKBPackage.h.


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