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

TietzeTrekker Class Reference

#include <TietzeTrekker.h>

List of all members.

Public Methods

 TietzeTrekker (const FPGroup &G)
 TietzeTrekker (const VectorOf< Chars > &genNames, const SetOf< Word > &relators)
Bool sanityCheck ()
Bool getFactoid (Bool queuePresentations, long giveUpLimit=100)
Bool knownToBeTrivial ()
Bool knownToBeCyclic ()
Bool knownToHaveFreeFactor ()
Bool knownToBeFinite ()
Bool knownToBeFree ()
int getOrder ()
int getRank ()
FPGroup getPresentation ()

Private Types

enum  {
  TRIVIAL = 1, CYCLIC = 2, HAS_FREE_FACTOR = 4, FINITE = 8,
  FREE = 16
}

Private Methods

void initialize (const VectorOf< Chars > &genNames, const SetOf< Word > &relators)
void printWord (ostream &ostr, const Word &w)
void printGenerator (ostream &ostr, int g)

Private Attributes

ListOf<FPGrouppresentations
BlackBox TietzeTrek
int flags
int order
int rank
int status


Member Enumeration Documentation

anonymous enum [private]
 

Enumeration values:
TRIVIAL  
CYCLIC  
HAS_FREE_FACTOR  
FINITE  
FREE  

Definition at line 120 of file TietzeTrekker.h.


Constructor & Destructor Documentation

TietzeTrekker::TietzeTrekker ( const FPGroup & G )
 

TietzeTrekker::TietzeTrekker ( const VectorOf< Chars > & genNames,
const SetOf< Word > & relators )
 


Member Function Documentation

Bool TietzeTrekker::sanityCheck ( ) [inline]
 

Definition at line 83 of file TietzeTrekker.h.

Bool TietzeTrekker::getFactoid ( Bool queuePresentations,
long giveUpLimit = 100 )
 

Bool TietzeTrekker::knownToBeTrivial ( ) [inline]
 

Definition at line 97 of file TietzeTrekker.h.

Bool TietzeTrekker::knownToBeCyclic ( ) [inline]
 

Definition at line 98 of file TietzeTrekker.h.

Bool TietzeTrekker::knownToHaveFreeFactor ( ) [inline]
 

Definition at line 99 of file TietzeTrekker.h.

Bool TietzeTrekker::knownToBeFinite ( ) [inline]
 

Definition at line 100 of file TietzeTrekker.h.

Bool TietzeTrekker::knownToBeFree ( ) [inline]
 

Definition at line 101 of file TietzeTrekker.h.

int TietzeTrekker::getOrder ( )
 

int TietzeTrekker::getRank ( )
 

FPGroup TietzeTrekker::getPresentation ( )
 

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

void TietzeTrekker::printWord ( ostream & ostr,
const Word & w ) [private]
 

void TietzeTrekker::printGenerator ( ostream & ostr,
int g ) [private]
 


Member Data Documentation

ListOf<FPGroup> TietzeTrekker::presentations [private]
 

Definition at line 124 of file TietzeTrekker.h.

BlackBox TietzeTrekker::TietzeTrek [private]
 

Definition at line 127 of file TietzeTrekker.h.

int TietzeTrekker::flags [private]
 

Definition at line 129 of file TietzeTrekker.h.

int TietzeTrekker::order [private]
 

Definition at line 130 of file TietzeTrekker.h.

int TietzeTrekker::rank [private]
 

Definition at line 131 of file TietzeTrekker.h.

int TietzeTrekker::status [private]
 

Definition at line 133 of file TietzeTrekker.h.


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