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
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