Meta information about FreeMonoidProduct. More...
Inherits dynamic_traits< algebra::FreeMonoidProductBase< algebra::FreeMonoidProduct< F, S > > >.
Static Public Attributes | |
static const bool | ret = dynamic_traits<F>::ret or dynamic_traits<S>::ret |
SetWord is dynamic if one of its free monoids is. |
Meta information about FreeMonoidProduct.
Definition at line 175 of file freemonoid_product.hh.