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

GeneratorOfRandomSolutions Class Reference

#include <SolutionsEnum.h>

List of all members.

Public Methods

 GeneratorOfRandomSolutions (const FreeGroup &group, const Word &equation, int numberOfVariables)
void setBasicSolutions (const VectorPtrOf< Endomorphism > &newBasicSolutions)
void setRegStabGenerators (const VectorPtrOf< Automorphism > &newGenerators)
void setThreshold (int newThreshold)
bool hasSolutions () const
bool generateSolution ()
Endomorphism getSolution () const
int getThreshold () const
int getCurrentThreshold () const
const VectorPtrOf<Endomorphism>& getBasicSolutions () const
const VectorPtrOf<Automorphism>& getRegStabGenerators () const

Protected Methods

void generateSomeSolution ()

Private Attributes

FreeGroup theGroup
int numOfVar
int numOfGen
VectorPtrOf<EndomorphismbasicSolutions
VectorPtrOf<AutomorphismregStabGenerators
VectorPtrOf<AutomorphismregStabGeneratorsInv
SetOf<EndomorphismsolutionSet
Endomorphism solution
int threshold
UniformRandom rnd
Endomorphism variablesEliminator


Constructor & Destructor Documentation

GeneratorOfRandomSolutions::GeneratorOfRandomSolutions ( const FreeGroup & group,
const Word & equation,
int numberOfVariables )
 


Member Function Documentation

void GeneratorOfRandomSolutions::setBasicSolutions ( const VectorPtrOf< Endomorphism > & newBasicSolutions ) [inline]
 

Definition at line 145 of file SolutionsEnum.h.

void GeneratorOfRandomSolutions::setRegStabGenerators ( const VectorPtrOf< Automorphism > & newGenerators ) [inline]
 

Definition at line 150 of file SolutionsEnum.h.

void GeneratorOfRandomSolutions::setThreshold ( int newThreshold ) [inline]
 

Definition at line 156 of file SolutionsEnum.h.

bool GeneratorOfRandomSolutions::hasSolutions ( ) const
 

bool GeneratorOfRandomSolutions::generateSolution ( )
 

Endomorphism GeneratorOfRandomSolutions::getSolution ( ) const [inline]
 

Definition at line 172 of file SolutionsEnum.h.

int GeneratorOfRandomSolutions::getThreshold ( ) const [inline]
 

Definition at line 175 of file SolutionsEnum.h.

int GeneratorOfRandomSolutions::getCurrentThreshold ( ) const [inline]
 

Definition at line 177 of file SolutionsEnum.h.

const VectorPtrOf< Endomorphism > & GeneratorOfRandomSolutions::getBasicSolutions<Endomorphism> ( ) const [inline]
 

Definition at line 180 of file SolutionsEnum.h.

const VectorPtrOf< Automorphism > & GeneratorOfRandomSolutions::getRegStabGenerators<Automorphism> ( ) const [inline]
 

Definition at line 185 of file SolutionsEnum.h.

void GeneratorOfRandomSolutions::generateSomeSolution ( ) [protected]
 


Member Data Documentation

FreeGroup GeneratorOfRandomSolutions::theGroup [private]
 

Definition at line 200 of file SolutionsEnum.h.

int GeneratorOfRandomSolutions::numOfVar [private]
 

Definition at line 201 of file SolutionsEnum.h.

int GeneratorOfRandomSolutions::numOfGen [private]
 

Definition at line 202 of file SolutionsEnum.h.

VectorPtrOf<Endomorphism> GeneratorOfRandomSolutions::basicSolutions [private]
 

Definition at line 205 of file SolutionsEnum.h.

VectorPtrOf<Automorphism> GeneratorOfRandomSolutions::regStabGenerators [private]
 

Definition at line 206 of file SolutionsEnum.h.

VectorPtrOf<Automorphism> GeneratorOfRandomSolutions::regStabGeneratorsInv [private]
 

Definition at line 207 of file SolutionsEnum.h.

SetOf<Endomorphism> GeneratorOfRandomSolutions::solutionSet [private]
 

Definition at line 209 of file SolutionsEnum.h.

Endomorphism GeneratorOfRandomSolutions::solution [private]
 

Definition at line 212 of file SolutionsEnum.h.

int GeneratorOfRandomSolutions::threshold [private]
 

Definition at line 215 of file SolutionsEnum.h.

UniformRandom GeneratorOfRandomSolutions::rnd [private]
 

Definition at line 218 of file SolutionsEnum.h.

Endomorphism GeneratorOfRandomSolutions::variablesEliminator [private]
 

Definition at line 220 of file SolutionsEnum.h.


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