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

QEqnSolutionsEnumerator Class Reference

#include <SolutionsEnum.h>

List of all members.

Public Methods

 QEqnSolutionsEnumerator (const QEqnSolutionsInFreeGroup &equation)
Endomorphism getSolution () const
bool nextSolution ()
bool done () const
void reset ()

Private Methods

bool areBasicSolutionsParametrized ()

Private Attributes

Word theEquation
int theNumberOfGenerators
int theNumberOfVariables
FreeGroup theGroup
VectorPtrOf<AutomorphismtheRegStabGenerators
VectorPtrOf<AutomorphismtheRegStabInvGenerators
VectorPtrOf<EndomorphismtheBasicSolutions
Automorphism prefixAuto
bool allSolutionsAreEnumerated
Trichotomy numberOfSolutionsIsFinite
Endomorphism solution
Automorphism stabAuto
int currentBasicSolution
Endomorphism specEndo
EnumeratorOfWordTuples tuplesEnumerator
VectorOf<bool> invGensComputed


Constructor & Destructor Documentation

QEqnSolutionsEnumerator::QEqnSolutionsEnumerator ( const QEqnSolutionsInFreeGroup & equation )
 


Member Function Documentation

Endomorphism QEqnSolutionsEnumerator::getSolution ( ) const [inline]
 

Definition at line 70 of file SolutionsEnum.h.

bool QEqnSolutionsEnumerator::nextSolution ( )
 

bool QEqnSolutionsEnumerator::done ( ) const [inline]
 

Definition at line 81 of file SolutionsEnum.h.

Referenced by getSolution().

void QEqnSolutionsEnumerator::reset ( )
 

bool QEqnSolutionsEnumerator::areBasicSolutionsParametrized ( ) [private]
 


Member Data Documentation

Word QEqnSolutionsEnumerator::theEquation [private]
 

Definition at line 99 of file SolutionsEnum.h.

int QEqnSolutionsEnumerator::theNumberOfGenerators [private]
 

Definition at line 100 of file SolutionsEnum.h.

int QEqnSolutionsEnumerator::theNumberOfVariables [private]
 

Definition at line 101 of file SolutionsEnum.h.

FreeGroup QEqnSolutionsEnumerator::theGroup [private]
 

Definition at line 102 of file SolutionsEnum.h.

VectorPtrOf<Automorphism> QEqnSolutionsEnumerator::theRegStabGenerators [private]
 

Definition at line 104 of file SolutionsEnum.h.

VectorPtrOf<Automorphism> QEqnSolutionsEnumerator::theRegStabInvGenerators [private]
 

Definition at line 105 of file SolutionsEnum.h.

VectorPtrOf<Endomorphism> QEqnSolutionsEnumerator::theBasicSolutions [private]
 

Definition at line 106 of file SolutionsEnum.h.

Automorphism QEqnSolutionsEnumerator::prefixAuto [private]
 

Definition at line 107 of file SolutionsEnum.h.

bool QEqnSolutionsEnumerator::allSolutionsAreEnumerated [private]
 

Definition at line 109 of file SolutionsEnum.h.

Trichotomy QEqnSolutionsEnumerator::numberOfSolutionsIsFinite [private]
 

Definition at line 110 of file SolutionsEnum.h.

Endomorphism QEqnSolutionsEnumerator::solution [private]
 

Definition at line 111 of file SolutionsEnum.h.

Automorphism QEqnSolutionsEnumerator::stabAuto [private]
 

Definition at line 112 of file SolutionsEnum.h.

int QEqnSolutionsEnumerator::currentBasicSolution [private]
 

Definition at line 113 of file SolutionsEnum.h.

Endomorphism QEqnSolutionsEnumerator::specEndo [private]
 

Definition at line 114 of file SolutionsEnum.h.

EnumeratorOfWordTuples QEqnSolutionsEnumerator::tuplesEnumerator [private]
 

Definition at line 115 of file SolutionsEnum.h.

VectorOf<bool> QEqnSolutionsEnumerator::invGensComputed [private]
 

Definition at line 116 of file SolutionsEnum.h.


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