#include <AdvDehnAlgorithm.h>
Public Member Functions | |
AdvDehnAlgorithm (const FPGroup &G, const Word &w) | |
AdvDehnAlgorithm (const FPGroup &G, const set< Word > &gens, const Word &w) | |
const IntLabeledGraph & | getFSA () const |
bool | builtup (set< Word > *conj=0, int coset_limit=100000) |
bool | isLoop (const Word &w) const |
Private Member Functions | |
void | addCycle (const Word &w, int origin) |
Private Attributes | |
const FPGroup | theGroup |
const Word | theWord |
set< int > | checkedStates |
IntLabeledGraph | theFSA |
Requires a revision. set< int > checkedStates; must be replaced with int lastCheckedVertex;
Definition at line 24 of file AdvDehnAlgorithm.h.
void AdvDehnAlgorithm::addCycle | ( | const Word & | w, | |
int | origin | |||
) | [private] |
bool AdvDehnAlgorithm::builtup | ( | set< Word > * | conj = 0 , |
|
int | coset_limit = 100000 | |||
) |
const IntLabeledGraph& AdvDehnAlgorithm::getFSA | ( | ) | const [inline] |
Definition at line 47 of file AdvDehnAlgorithm.h.
References theFSA.
bool AdvDehnAlgorithm::isLoop | ( | const Word & | w | ) | const |
set< int > AdvDehnAlgorithm::checkedStates [private] |
Definition at line 77 of file AdvDehnAlgorithm.h.
IntLabeledGraph AdvDehnAlgorithm::theFSA [private] |
Definition at line 79 of file AdvDehnAlgorithm.h.
Referenced by getFSA().
const FPGroup AdvDehnAlgorithm::theGroup [private] |
Definition at line 74 of file AdvDehnAlgorithm.h.
const Word AdvDehnAlgorithm::theWord [private] |
Definition at line 75 of file AdvDehnAlgorithm.h.