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

SetOfWordsChecker Class Reference

#include <SetOfWordsChecker.h>

List of all members.

Public Methods

 SetOfWordsChecker (const SetOf< Word > &, const class SMFPGroup &)
 SetOfWordsChecker (const VectorOf< Word > &, const class SMFPGroup &)
 SetOfWordsChecker (const class SMFPGroup &)
Trichotomy isTrivial ()
Chars getExplanation () const
GIC::AlgorithmID getAlgorithm () const
void replaceTheSet (const VectorOf< Word > &V)
void replaceTheSet (const SetOf< Word > &)
void enablePutDetailsToFile ()
void disablePutDetailsToFile ()
bool haveDetails () const
Chars getDecompositionFileName () const
Chars getDehnTransformationFileName () const

Private Methods

void init ()

Private Attributes

FPGroup G
const class GICgic
class GCMgcm
bool triedAbelianization
GIC::AlgorithmID solutionAlgorithm
Chars explanation
VectorOf<bool> theTrivialWords
bool keepDetails
DetailedReport dehnsDetails
DetailedReport wordsDecomposition

Constructor & Destructor Documentation

SetOfWordsChecker::SetOfWordsChecker ( const SetOf< Word > &,
const class SMFPGroup & )

SetOfWordsChecker::SetOfWordsChecker ( const VectorOf< Word > &,
const class SMFPGroup & )

SetOfWordsChecker::SetOfWordsChecker ( const class SMFPGroup & )

Member Function Documentation

Trichotomy SetOfWordsChecker::isTrivial ( )

Chars SetOfWordsChecker::getExplanation ( ) const [inline]

Definition at line 55 of file SetOfWordsChecker.h.

GIC::AlgorithmID SetOfWordsChecker::getAlgorithm ( ) const [inline]

Definition at line 57 of file SetOfWordsChecker.h.

void SetOfWordsChecker::replaceTheSet ( const VectorOf< Word > & V )

void SetOfWordsChecker::replaceTheSet ( const SetOf< Word > & )

void SetOfWordsChecker::enablePutDetailsToFile ( ) [inline]

Definition at line 110 of file SetOfWordsChecker.h.

void SetOfWordsChecker::disablePutDetailsToFile ( ) [inline]

Definition at line 116 of file SetOfWordsChecker.h.

bool SetOfWordsChecker::haveDetails ( ) const [inline]

Definition at line 122 of file SetOfWordsChecker.h.

Chars SetOfWordsChecker::getDecompositionFileName ( ) const [inline]

Definition at line 128 of file SetOfWordsChecker.h.

Chars SetOfWordsChecker::getDehnTransformationFileName ( ) const [inline]

Definition at line 134 of file SetOfWordsChecker.h.

void SetOfWordsChecker::init ( ) [private]

Member Data Documentation

VectorOf<Word> SetOfWordsChecker::theWords [private]

Definition at line 81 of file SetOfWordsChecker.h.

FPGroup SetOfWordsChecker::G [private]

Definition at line 83 of file SetOfWordsChecker.h.

const class GIC& SetOfWordsChecker::gic [private]

Definition at line 85 of file SetOfWordsChecker.h.

class GCM& SetOfWordsChecker::gcm [private]

Definition at line 87 of file SetOfWordsChecker.h.

bool SetOfWordsChecker::triedAbelianization [private]

Definition at line 92 of file SetOfWordsChecker.h.

GIC::AlgorithmID SetOfWordsChecker::solutionAlgorithm [private]

Definition at line 94 of file SetOfWordsChecker.h.

Chars SetOfWordsChecker::explanation [private]

Definition at line 96 of file SetOfWordsChecker.h.

VectorOf<bool> SetOfWordsChecker::theTrivialWords [private]

Definition at line 98 of file SetOfWordsChecker.h.

bool SetOfWordsChecker::keepDetails [private]

Definition at line 99 of file SetOfWordsChecker.h.

DetailedReport SetOfWordsChecker::dehnsDetails [private]

Definition at line 100 of file SetOfWordsChecker.h.

DetailedReport SetOfWordsChecker::wordsDecomposition [private]

Definition at line 101 of file SetOfWordsChecker.h.

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