|
LearnTA
0.0.1
|
This is the complete list of members for learnta::TATransition, including all inherited members.
| addPreciseAssignments(const Resets &resets) (defined in learnta::TATransition) | learnta::TATransition | inline |
| addPreciseConstantAssignments(const Resets &resets) (defined in learnta::TATransition) | learnta::TATransition | inline |
| guard | learnta::TATransition | |
| impreciseAssignSize(const Resets &resets) | learnta::TATransition | inlinestatic |
| impreciseConstantAssignSize(const Resets &resets) | learnta::TATransition | inlinestatic |
| merge(const TATransition &transition) const (defined in learnta::TATransition) | learnta::TATransition | inline |
| mergeable(const TATransition &transition) const (defined in learnta::TATransition) | learnta::TATransition | inline |
| operator!=(const TATransition &rhs) const (defined in learnta::TATransition) | learnta::TATransition | inline |
| operator==(const TATransition &rhs) const (defined in learnta::TATransition) | learnta::TATransition | inline |
| Resets typedef (defined in learnta::TATransition) | learnta::TATransition | |
| resetVars | learnta::TATransition | |
| target | learnta::TATransition | |
| TATransition()=default (defined in learnta::TATransition) | learnta::TATransition | |
| TATransition(TAState *target, std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables >>> resetVars, std::vector< Constraint > guard) (defined in learnta::TATransition) | learnta::TATransition | inline |
| TATransition(TAState *target, ClockVariables resetVar, std::vector< Constraint > guard) (defined in learnta::TATransition) | learnta::TATransition | inline |
| TATransition(TATransition const &)=default (defined in learnta::TATransition) | learnta::TATransition | |
| ~TATransition()=default (defined in learnta::TATransition) | learnta::TATransition |
1.9.1