Added CompositionHomomorphism to Homomorphism, which inherits from Homomorphism and needs no specialization in order to work:
CompositionHomomorphism<S, T, U>::morph(const S &s) works as long as there are:
Homomorphism<S,T>
Homomorphism<T,U>
in the current scope. In case the default homomorphisms don't want to be used, fourth and fifth parameters to CompositionHomomorphism can be added to serve as the aforementioned two homomorphisms.
Added
CompositionHomomorphism
toHomomorphism
, which inherits fromHomomorphism
and needs no specialization in order to work:CompositionHomomorphism<S, T, U>::morph(const S &s)
works as long as there are:Homomorphism<S,T>
Homomorphism<T,U>
in the current scope. In case the default homomorphisms don't want to be used, fourth and fifth parameters to
CompositionHomomorphism
can be added to serve as the aforementioned two homomorphisms.