#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 |
Definition at line 24 of file AdvDehnAlgorithm.h.
|
|
|
|
|
|
|
|
|
Definition at line 47 of file AdvDehnAlgorithm.h. References theFSA. |
|
|
|
Definition at line 77 of file AdvDehnAlgorithm.h. |
|
Definition at line 79 of file AdvDehnAlgorithm.h. Referenced by getFSA(). |
|
Definition at line 74 of file AdvDehnAlgorithm.h. |
|
Definition at line 75 of file AdvDehnAlgorithm.h. |