defaultAlphabet | InfiniteAlphabet | [static] |
getLetter(int index) const | InfiniteAlphabet | [virtual] |
getNum(const string &letter) const | InfiniteAlphabet | [virtual] |
InfiniteAlphabet(string pref=string("x")) | InfiniteAlphabet | [inline] |
operator<<(ostream &out, const InfiniteAlphabet &a) | InfiniteAlphabet | [friend] |
printVector(ostream &out, const vector< Word > &v) const | Alphabet | |
printWord(ostream &out, const Word &w) const | Alphabet | |
readVector(istream &in) const | Alphabet | |
readWord(istream &in) const | Alphabet | |
thePrefix | InfiniteAlphabet | [private] |