learnta::ForwardRegionalElementaryLanguage Member List

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

applyResets(const TATransition::Resets &resets) const (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage	inline
applyResets(const std::string &newWord, const TATransition::Resets &resets, const std::size_t targetClockSize) const	learnta::ForwardRegionalElementaryLanguage	inline
constrain(const TimedWord &prefix) const	learnta::ElementaryLanguage	inline
contains(const TimedWord &testedWord) const	learnta::ElementaryLanguage	inline
convexHull(const std::list< ElementaryLanguage > &elementaryLanguages)	learnta::ElementaryLanguage	inlinestatic
ElementaryLanguage()=default (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage
ElementaryLanguage(std::string word, TimedCondition timedCondition) (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
empty()	learnta::ElementaryLanguage	inlinestatic
enumerate(std::vector< ElementaryLanguage > &result) const	learnta::ElementaryLanguage	inline
enumerate() const	learnta::ElementaryLanguage	inline
ForwardRegionalElementaryLanguage()=default	learnta::ForwardRegionalElementaryLanguage
ForwardRegionalElementaryLanguage(ElementaryLanguage elementary, FractionalOrder fractionalOrder) (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage	inline
ForwardRegionalElementaryLanguage(const ForwardRegionalElementaryLanguage &language)=default (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage
ForwardRegionalElementaryLanguage(ForwardRegionalElementaryLanguage &&language)=default (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage
fractionalOrder (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage	protected
fromTimedWord(const TimedWord &timedWord)	learnta::ForwardRegionalElementaryLanguage	inlinestatic
getTimedCondition() const (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
getWord() const (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
hasEqualityN() const	learnta::ForwardRegionalElementaryLanguage	inline
hash_value() const (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage	inline
immediatePrefix() const	learnta::ForwardRegionalElementaryLanguage	inline
isSimple() const	learnta::ElementaryLanguage	inline
operator!=(const ElementaryLanguage &another) const (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
operator+(const ElementaryLanguage &another) const	learnta::ElementaryLanguage	inline
operator=(const ForwardRegionalElementaryLanguage &language)=default (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage
operator=(ForwardRegionalElementaryLanguage &&language)=default (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage
operator==(const ForwardRegionalElementaryLanguage &another) const (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage	inline
operator==(const ElementaryLanguage &another) const (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
prefixes() const	learnta::ForwardRegionalElementaryLanguage	inline
print(std::ostream &os) const (defined in learnta::ForwardRegionalElementaryLanguage)	learnta::ForwardRegionalElementaryLanguage	inline
removeEqualityUpperBoundAssign() (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
removeUpperBound() const (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
removeUpperBoundAssign() (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	inline
sample() const	learnta::ElementaryLanguage	inline
successor(char action) const	learnta::ForwardRegionalElementaryLanguage	inline
successor() const	learnta::ForwardRegionalElementaryLanguage	inline
successorAssign()	learnta::ForwardRegionalElementaryLanguage	inline
suffix(const ForwardRegionalElementaryLanguage &prefix) const	learnta::ForwardRegionalElementaryLanguage	inline
timedCondition (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	protected
word (defined in learnta::ElementaryLanguage)	learnta::ElementaryLanguage	protected
wordSize() const	learnta::ElementaryLanguage	inline