Collaboration diagram for Fmp:
Classes | |
struct | FreeMonoidProduct |
Implementation of a monoid which is a product of two free monoids. More... | |
struct | dynamic_traits< algebra::FreeMonoidProduct< F, S > > |
Meta information about FreeMonoidProduct. More... | |
struct | MetaElement< algebra::FreeMonoidProduct< F, S >, T > |
Services of an element of a monoid implemented with FreeMonoidProduct. More... | |
struct | FreeMonoidProductBase |
Structural element for free monoid product. More... | |
struct | dynamic_traits< algebra::FreeMonoidProductBase< Self > > |
struct | virtual_types< algebra::FreeMonoidProductBase< S > > |
struct | MetaElement< algebra::FreeMonoidProductBase< Self >, T > |
Element of a monoid i.e. words. More... | |
Functions | |
template<class F, class S> | |
bool | operator== (const FreeMonoidProduct< F, S > &m1, const FreeMonoidProduct< F, S > &m2) |