LearnTA  0.0.1
learnta::TimedAutomaton Member List

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

addUpperBoundForUnobservableTransitions() (defined in learnta::TimedAutomaton)learnta::TimedAutomatoninline
clockSize() constlearnta::TimedAutomatoninline
complement(const std::vector< Alphabet > &alphabet) constlearnta::TimedAutomatoninline
deepCopy(TimedAutomaton &dest, std::unordered_map< TAState *, std::shared_ptr< TAState >> &old2new) constlearnta::TimedAutomatoninline
deterministic() const (defined in learnta::TimedAutomaton)learnta::TimedAutomatoninline
initialStateslearnta::Automaton< TAState >
makeComplete(const std::vector< Alphabet > &alphabet)learnta::TimedAutomatoninline
makeMaxConstants(const std::vector< std::shared_ptr< TAState >> &states)learnta::TimedAutomatoninlinestatic
maxConstraintslearnta::TimedAutomaton
mergeAdjacentTransitions()learnta::TimedAutomatoninline
operator==(const Automaton< TAState > &A) constlearnta::Automaton< TAState >inline
removeDeadLoop()learnta::TimedAutomatoninline
removeTriviallyDeadStates()learnta::TimedAutomatoninline
removeTriviallyUnreachableStates()learnta::TimedAutomatoninline
removeUnusedClockVariables()learnta::TimedAutomatoninline
removeUselessTransitions()learnta::TimedAutomatoninline
simplify()learnta::TimedAutomatoninline
simplifyStrong()learnta::TimedAutomatoninline
simplifyTransitions()learnta::TimedAutomatoninline
simplifyWithZones()learnta::TimedAutomaton
stateslearnta::Automaton< TAState >
stateSize() constlearnta::Automaton< TAState >inline
Generated by doxygen 1.9.1