| choose(SELECTOR(T)) const | Structure< Self > | |
| contains(const Element< Self, T > &elt) const | Structure< Self > | |
| contains(const Element< OtherS, T > &other) const | Structure< Self > | |
| contains(const T &elt_value) const | Structure< Self > | |
| self() | Structure< Self > | |
| self() const | Structure< Self > | |
| self_t typedef | Structure< Self > | |
| SemigroupBase() | SemigroupBase | [protected] |
| SemigroupBase(const SemigroupBase &other) | SemigroupBase | [protected] |
| Structure() | Structure< Self > | [protected] |
| Structure(const Structure &other) | Structure< Self > | [protected] |
| unifiable() | unifiable | [inline] |
| unifiable(const unifiable &) | unifiable | [inline] |
1.4.7