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] |