MonoidMorphismImpl< M, M2 > Class Template Reference

#include <Monoid.hh>

Inheritance diagram for MonoidMorphismImpl< M, M2 >:

Collaboration diagram for MonoidMorphismImpl< M, M2 >:

Public Member Functions
	MonoidMorphismImpl (Monoid2< M > &m1, Monoid2< M2 > &m2)
virtual M2	Empty () const
virtual M2	Compose (M a, M b) const
virtual M2	Convert (M a) const =0

Constructor & Destructor Documentation

MonoidMorphismImpl()

template<class M, class M2>

MonoidMorphismImpl< M, M2 >::MonoidMorphismImpl ( Monoid2< M > & m1, Monoid2< M2 > & m2 )

inline

Member Function Documentation

Compose()

template<class M, class M2>

virtual M2 MonoidMorphismImpl< M, M2 >::Compose ( M a, M b ) const

inlinevirtual

Implements MonoidMorphism< M, M2 >.

Convert()

template<class M, class M2>

virtual M2 MonoidMorphismImpl< M, M2 >::Convert ( M a ) const

pure virtual

Implements MonoidMorphism< M, M2 >.

Here is the caller graph for this function:

Empty()

template<class M, class M2>

virtual M2 MonoidMorphismImpl< M, M2 >::Empty ( ) const

inlinevirtual

Implements MonoidMorphism< M, M2 >.

---

The documentation for this class was generated from the following file:

• Monoid.hh