Meta information about FreeMonoid. More...
Inherits dynamic_traits< algebra::FreeMonoidBase< algebra::FreeMonoid< A > > >.
Static Public Attributes | |
static const bool | ret = A::dynamic |
SetWord is dynamic iff its alphabet is. |
Meta information about FreeMonoid.
Definition at line 97 of file free_monoid.hh.