learnta::SingleMorphism Member List

This is the complete list of members for learnta::SingleMorphism, including all inherited members.

getDomain() const (defined in learnta::SingleMorphism)	learnta::SingleMorphism	inline
inDomain(const TimedWord &word) const	learnta::SingleMorphism	inline
isDomain(const ElementaryLanguage &elementaryLanguage) const	learnta::SingleMorphism	inline
maps(const TimedWord &word) const	learnta::SingleMorphism	inline
operator!=(const SingleMorphism &rhs) const (defined in learnta::SingleMorphism)	learnta::SingleMorphism	inline
operator<< (defined in learnta::SingleMorphism)	learnta::SingleMorphism	friend
operator==(const SingleMorphism &rhs) const (defined in learnta::SingleMorphism)	learnta::SingleMorphism	inline
SingleMorphism(ElementaryLanguage domain, ElementaryLanguage codomain, RenamingRelation renaming)	learnta::SingleMorphism	inline