, including all inherited members.
| applyMapping(const Map &M) const | StraightLineProgramWord | [private] |
| assertionType(const Assertion &A, const StraightLineProgramWord &SLP) const | StraightLineProgramWord | [private] |
| cancellationLength(int n1, int n2) const | StraightLineProgramWord | [private] |
| equal(int n1, const StraightLineProgramWord &SLP, int n2) const | StraightLineProgramWord | |
| extendTerminals(int nt) | StraightLineProgramWord | [private] |
| getGenerator(int n, LongInteger pos) const | StraightLineProgramWord | [private] |
| getWord() const | StraightLineProgramWord | [inline] |
| getWord(int N) const | StraightLineProgramWord | |
| height_rule(int n) const | StraightLineProgramWord | [inline, private] |
| initialSegment(int n, LongInteger length) | StraightLineProgramWord | [inline] |
| invertProductionPair(int &A, int &B) | StraightLineProgramWord | [private, static] |
| leftGCDLength(const StraightLineProgramWord &CS) const | StraightLineProgramWord | [inline] |
| leftGCDLength(int n1, const StraightLineProgramWord &CS, int n2) const | StraightLineProgramWord | [private] |
| length() const | StraightLineProgramWord | [inline] |
| length_rule(int n) const | StraightLineProgramWord | [inline, private] |
| map_rules(const Map &M) | StraightLineProgramWord | [private, static] |
| max_rule_number() const | StraightLineProgramWord | [private] |
| operator*(const StraightLineProgramWord &SLP) const | StraightLineProgramWord | |
| operator-() const | StraightLineProgramWord | |
| operator<<(ostream &os, const StraightLineProgramWord &CS) | StraightLineProgramWord | [friend] |
| operator=(const StraightLineProgramWord &SLP) | StraightLineProgramWord | [inline] |
| operator[](LongInteger i) const | StraightLineProgramWord | [inline] |
| order_vertices(int n, list< int > &order, set< int > &closure) const | StraightLineProgramWord | [private] |
| order_vertices(int n, list< int > &order) const | StraightLineProgramWord | [inline, private] |
| reduce() | StraightLineProgramWord | [inline] |
| reduce_rule(int n) | StraightLineProgramWord | [private] |
| simplify() | StraightLineProgramWord | |
| splitAssertion(const Assertion &A, bool firstTerm, const StraightLineProgramWord &SLP) const | StraightLineProgramWord | [private] |
| StraightLineProgramWord() | StraightLineProgramWord | [inline] |
| StraightLineProgramWord(int init, int gens) | StraightLineProgramWord | |
| StraightLineProgramWord(int init, ConstMapIterator B, ConstMapIterator E) | StraightLineProgramWord | [inline] |
| terminalSegment(int n, LongInteger length) | StraightLineProgramWord | [inline] |
| theRoot | StraightLineProgramWord | [private] |
| theRules | StraightLineProgramWord | [private] |
| theTerminals | StraightLineProgramWord | [private] |
| truncateVertexLeft(int n, LongInteger length) | StraightLineProgramWord | |
| truncateVertexRight(int n, LongInteger length) | StraightLineProgramWord | |
| update_height(int n) | StraightLineProgramWord | [private] |
| update_heights() | StraightLineProgramWord | [private] |
| update_length(int n) | StraightLineProgramWord | [private] |
| update_lengths() | StraightLineProgramWord | [private] |
1.6.1
