LearnTA  0.0.1
learnta::BackwardRegionalElementaryLanguage Member List

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

BackwardRegionalElementaryLanguage()=defaultlearnta::BackwardRegionalElementaryLanguage
BackwardRegionalElementaryLanguage(ElementaryLanguage elementary, FractionalOrder fractionalOrder) (defined in learnta::BackwardRegionalElementaryLanguage)learnta::BackwardRegionalElementaryLanguageinline
constrain(const TimedWord &prefix) constlearnta::ElementaryLanguageinline
contains(const TimedWord &testedWord) constlearnta::ElementaryLanguageinline
convexHull(const std::list< ElementaryLanguage > &elementaryLanguages)learnta::ElementaryLanguageinlinestatic
ElementaryLanguage()=default (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguage
ElementaryLanguage(std::string word, TimedCondition timedCondition) (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
empty()learnta::ElementaryLanguageinlinestatic
enumerate(std::vector< ElementaryLanguage > &result) constlearnta::ElementaryLanguageinline
enumerate() constlearnta::ElementaryLanguageinline
fractionalOrder (defined in learnta::BackwardRegionalElementaryLanguage)learnta::BackwardRegionalElementaryLanguageprotected
fromTimedWord(const TimedWord &timedWord)learnta::BackwardRegionalElementaryLanguageinlinestatic
getFractionalOrder() const (defined in learnta::BackwardRegionalElementaryLanguage)learnta::BackwardRegionalElementaryLanguageinline
getTimedCondition() const (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
getWord() const (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
immediateSuffix() constlearnta::BackwardRegionalElementaryLanguageinline
isSimple() constlearnta::ElementaryLanguageinline
operator!=(const ElementaryLanguage &another) const (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
operator+(const ElementaryLanguage &another) constlearnta::ElementaryLanguageinline
operator==(const BackwardRegionalElementaryLanguage &another) const (defined in learnta::BackwardRegionalElementaryLanguage)learnta::BackwardRegionalElementaryLanguageinline
operator==(const ElementaryLanguage &another) const (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
predecessor(char action) constlearnta::BackwardRegionalElementaryLanguageinline
predecessor() constlearnta::BackwardRegionalElementaryLanguageinline
prefixes() constlearnta::BackwardRegionalElementaryLanguageinline
print(std::ostream &os) const (defined in learnta::BackwardRegionalElementaryLanguage)learnta::BackwardRegionalElementaryLanguageinline
removeEqualityUpperBoundAssign() (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
removeUpperBound() const (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
removeUpperBoundAssign() (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageinline
sample() constlearnta::ElementaryLanguageinline
timedCondition (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageprotected
word (defined in learnta::ElementaryLanguage)learnta::ElementaryLanguageprotected
wordSize() constlearnta::ElementaryLanguageinline
Generated by doxygen 1.9.1