#include <SubgroupFG.h>
Public Member Functions | |
SubgroupFG () | |
SubgroupFG (int n_gens, const vector< Word > &gens) | |
bool | operator== (const SubgroupFG &S) const |
SubgroupFG | operator * (const SubgroupFG &S) const |
const vector< Word > & | getGenerators () const |
const vector< Word > & | getNielsenGenerators () const |
const IntLabeledGraph & | getFSA () const |
bool | doesBelong (const Word &w) const |
int | getIndex () const |
int | getRank () const |
Word | express (const Word &w) const |
Protected Member Functions | |
SubgroupFG (int n_gens, const IntLabeledGraph &fsa) | |
Private Member Functions | |
void | computeFSA () const |
void | computeNielsenGenerators () const |
Private Attributes | |
vector< Word > | theGenerators |
int | theNumberOfGenerators |
bool | fsaDone |
IntLabeledGraph | theFSA |
list< FoldDetails< IntLabeledGraph::vertex_type, IntLabeledGraph::edge_type > > | foldDetails |
bool | nielsDone |
vector< Word > | theNielsenGenerators |
Definition at line 29 of file SubgroupFG.h.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Definition at line 60 of file SubgroupFG.h. References theGenerators. |
|
|
|
|
|
|
|
|
|
|
|
Definition at line 96 of file SubgroupFG.h. |
|
Definition at line 94 of file SubgroupFG.h. |
|
Definition at line 98 of file SubgroupFG.h. |
|
Definition at line 95 of file SubgroupFG.h. |
|
Definition at line 91 of file SubgroupFG.h. Referenced by getGenerators(). |
|
Definition at line 99 of file SubgroupFG.h. |
|
Definition at line 92 of file SubgroupFG.h. |