#include <FreeGroup.h>
Public Member Functions | |
FreeGroup (int rank) | |
(Constructor) Free group of the given rank. | |
FreeGroup (const FiniteAlphabet &a) | |
bool | isPrimitive (const Word &w) const |
Determine if the word w is primitive or not. | |
bool | isAlmostPrimitive (const Word &w) const |
Determine if the word w is almost primitive or not. | |
bool | doesContain (const SubgroupFG &sbgp, const Word &w) const |
Determine whether a subgroup sbgp of a free group contains a word w. | |
const FiniteAlphabet & | getAlphabet () const |
Private Attributes | |
int | theRank |
FiniteAlphabet | theAlphabet |
bool | useDefaultAlphabet |
Friends | |
ostream & | operator<< (ostream &out, const FreeGroup &g) |
Output the presentation into a stream. | |
istream & | operator>> (istream &in, FreeGroup &g) |
Read an alphabet from a string. |
Definition at line 24 of file FreeGroup.h.
FreeGroup::FreeGroup | ( | int | rank | ) |
(Constructor) Free group of the given rank.
FreeGroup::FreeGroup | ( | const FiniteAlphabet & | a | ) |
bool FreeGroup::doesContain | ( | const SubgroupFG & | sbgp, | |
const Word & | w | |||
) | const |
Determine whether a subgroup sbgp of a free group contains a word w.
const FiniteAlphabet& FreeGroup::getAlphabet | ( | ) | const [inline] |
Definition at line 56 of file FreeGroup.h.
References theAlphabet.
bool FreeGroup::isAlmostPrimitive | ( | const Word & | w | ) | const |
Determine if the word w is almost primitive or not.
bool FreeGroup::isPrimitive | ( | const Word & | w | ) | const |
Determine if the word w is primitive or not.
ostream& operator<< | ( | ostream & | out, | |
const FreeGroup & | g | |||
) | [friend] |
Output the presentation into a stream.
Definition at line 65 of file FreeGroup.h.
istream& operator>> | ( | istream & | in, | |
FreeGroup & | g | |||
) | [friend] |
Read an alphabet from a string.
Definition at line 75 of file FreeGroup.h.
FiniteAlphabet FreeGroup::theAlphabet [private] |
Definition at line 92 of file FreeGroup.h.
Referenced by getAlphabet().
int FreeGroup::theRank [private] |
Definition at line 91 of file FreeGroup.h.
bool FreeGroup::useDefaultAlphabet [private] |
Definition at line 93 of file FreeGroup.h.