LearnTA  0.0.1
learnta::TAState Member List

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

addUpperBoundForUnobservableTransitions() (defined in learnta::TAState)learnta::TAState
deterministic() constlearnta::TAState
isMatchlearnta::TAState
mergeNondeterministicBranching()learnta::TAState
mergeNondeterministicBranching(const std::unordered_set< ClockVariables > &preciseClocks)learnta::TAState
mergeNondeterministicBranchingWithSameTarget() (defined in learnta::TAState)learnta::TAState
needSplitting() constlearnta::TAState
nextlearnta::TAState
removeTransitionsWithWeakerGuards()learnta::TAState
TAState(bool isMatch=false) (defined in learnta::TAState)learnta::TAStateinlineexplicit
TAState(bool isMatch, std::unordered_map< Alphabet, std::vector< TATransition >> next) (defined in learnta::TAState)learnta::TAStateinline
Generated by doxygen 1.9.1