Fmp
[Algebra]

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	representation_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	representation_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)

---