#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. |
1.4.6