# Fmp
[Algebra]

Collaboration diagram for Fmp:

## Classes

struct | FreeMonoidProduct< F, S >
| 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< Self >
| Structural element for free monoid product. More...
struct | dynamic_traits< algebra::FreeMonoidProductBase< Self > >
struct | MetaElement< algebra::FreeMonoidProductBase< Self >, T >
| Element of a monoid i.e. words. More...