learnta::SingleMorphism Class Reference

Morphism from an external elementary language to an internal one. More...

#include <single_morphism.hh>

Public Member Functions
	SingleMorphism (ElementaryLanguage domain, ElementaryLanguage codomain, RenamingRelation renaming)
bool	inDomain (const TimedWord &word) const
	Check if the given timed word is in the domain of this morphism.
bool	isDomain (const ElementaryLanguage &elementaryLanguage) const
	Check if the given timed word is in the domain of this morphism.
const ElementaryLanguage &	getDomain () const
TimedWord	maps (const TimedWord &word) const
	Apply this single morphism to the given timed word. More...
bool	operator== (const SingleMorphism &rhs) const
bool	operator!= (const SingleMorphism &rhs) const

Friends
std::ostream &	operator<< (std::ostream &os, const SingleMorphism &morphism)

Detailed Description

Morphism from an external elementary language to an internal one.

Constructor & Destructor Documentation

SingleMorphism()

learnta::SingleMorphism::SingleMorphism ( ElementaryLanguage  domain, ElementaryLanguage  codomain, RenamingRelation  renaming  )

inline

Parameters

[in]	domain	The domain of the morphism
[in]	codomain	The codomain of the morphism
[in]	renaming	The renaming relation defining the morphism

Member Function Documentation

maps()

TimedWord learnta::SingleMorphism::maps ( const TimedWord &  word ) const

inline

Apply this single morphism to the given timed word.

Precondition

this->inDomain(word)

---

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

• include/single_morphism.hh