|
Public Types |
typedef virtual_types< Self
>::alphabet_t | alphabet_t |
typedef alphabet_t::letter_t | letter_t |
typedef Self | self_t |
| Exact type of the most derivated type in the hierarchy.
|
Public Member Functions |
alphabet_t & | alphabet () |
const alphabet_t & | alphabet () const |
template<typename T> Element< Self, T > | identity (SELECTOR(T)) const |
| returns the identity of the monoid (if mul_kind).
|
template<typename T> Element< Self, T > | zero (SELECTOR(T)) const |
| returns the zero of the monoid (if add_kind).
|
bool | contains (const Element< Self, T > &elt) const |
| Check if a given element is compatible with the structural element.
|
bool | contains (const Element< OtherS, T > &other) const |
| Specialization of containts that always return false.
|
bool | contains (const T &elt_value) const |
| Check if an anonymous value is compatible with a structural element.
|
Element< Self, T > | choose (SELECTOR(T)) const |
| Choose randomly an element in the structure.
|
self_t & | self () |
| Accessor to the real type.
|
Protected Member Functions |
| FreeMonoidBase () |
| FreeMonoidBase (const FreeMonoidBase &m) |