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

WordRepresentative Class Reference

#include <ToddCoxeter.h>

Inheritance diagram for WordRepresentative::

ComputationManager SMObject ResourceManager FEData List of all members.

Public Methods

 WordRepresentative (class WordRepresentativeProblem &boss)
 WordRepresentative (class SubgroupContainmentProblem &boss)
 WordRepresentative (class IsSGNormal &boss)
bool haveSchreierTransvl () const
bool isInfinite () const
const class PermutationRepresentationgetPermutations () const
VectorOf<bool> foundWordsReps () const
VectorOf<WordgetWordsReps () const
void takeControl ()
void start ()
void terminate ()

Private Attributes

const class AlgebraicObjecttheParent
const class SMFPGrouptheGroup
VectorOf<WordtheTestWords
VectorOf<WordtheWordsReps
VectorOf<bool> theWordsRepsFound
int checkedWord
WordRepresentativeARCer arcer
bool arcerStarted

Constructor & Destructor Documentation

WordRepresentative::WordRepresentative ( class WordRepresentativeProblem & boss )
 

WordRepresentative::WordRepresentative ( class SubgroupContainmentProblem & boss )
 

WordRepresentative::WordRepresentative ( class IsSGNormal & boss )
 


Member Function Documentation

bool WordRepresentative::haveSchreierTransvl ( ) const
 

bool WordRepresentative::isInfinite ( ) const
 

const class PermutationRepresentation& WordRepresentative::getPermutations ( ) const
 

VectorOf< bool > WordRepresentative::foundWordsReps<bool> ( ) const [inline]
 

Definition at line 429 of file ToddCoxeter.h.

VectorOf< Word > WordRepresentative::getWordsReps<Word> ( ) const [inline]
 

Definition at line 431 of file ToddCoxeter.h.

void WordRepresentative::takeControl ( ) [virtual]
 

Reimplemented from ComputationManager.

void WordRepresentative::start ( ) [inline, virtual]
 

Reimplemented from ComputationManager.

Definition at line 448 of file ToddCoxeter.h.

void WordRepresentative::terminate ( ) [inline, virtual]
 

Reimplemented from ComputationManager.

Definition at line 450 of file ToddCoxeter.h.


Member Data Documentation

const class AlgebraicObject& WordRepresentative::theParent [private]
 

Definition at line 461 of file ToddCoxeter.h.

const class SMFPGroup& WordRepresentative::theGroup [private]
 

Definition at line 462 of file ToddCoxeter.h.

VectorOf<Word> WordRepresentative::theTestWords [private]
 

Definition at line 463 of file ToddCoxeter.h.

VectorOf<Word> WordRepresentative::theWordsReps [private]
 

Definition at line 465 of file ToddCoxeter.h.

VectorOf<bool> WordRepresentative::theWordsRepsFound [private]
 

Definition at line 466 of file ToddCoxeter.h.

int WordRepresentative::checkedWord [private]
 

Definition at line 467 of file ToddCoxeter.h.

WordRepresentativeARCer WordRepresentative::arcer [private]
 

Definition at line 469 of file ToddCoxeter.h.

bool WordRepresentative::arcerStarted [private]
 

Definition at line 470 of file ToddCoxeter.h.


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