learnta::RecognizableLanguage Class Reference

Recognizable timed language in [MP04]. More...

#include <recognizable_languages.hh>

Classes
struct	SplitTriple

Public Member Functions
	RecognizableLanguage (std::vector< ElementaryLanguage > prefixes, std::vector< ElementaryLanguage > final, std::vector< SingleMorphism > morphisms)
bool	inPrefixes (const TimedWord &word) const
	Returns if the given timed word is in the prefixes.
bool	isFinal (const TimedWord &word) const
	Returns if the given timed word is in the final prefixes.
std::optional< SplitTriple >	split (const TimedWord &word) const
	Split the given timed word with the morphism. More...
bool	contains (TimedWord word) const
	Returns if this recognizable timed language contains the given timed word.

Friends
std::ostream &	operator<< (std::ostream &os, const RecognizableLanguage &language)

Detailed Description

Recognizable timed language in [MP04].

Member Function Documentation

split()

std::optional<SplitTriple> learnta::RecognizableLanguage::split ( const TimedWord &  word ) const

inline

Split the given timed word with the morphism.

The given timed word is split such that the prefix is mapped by a morphism in this recognizable language.

---

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

• include/recognizable_languages.hh