A state of timed automata. More...
#include <timed_automaton.hh>
Collaboration diagram for learnta::TATransition:
Public Types | |
| using | Resets = std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables > >> |
Public Member Functions | |
| TATransition (TAState *target, std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables >>> resetVars, std::vector< Constraint > guard) | |
| TATransition (TAState *target, ClockVariables resetVar, std::vector< Constraint > guard) | |
| TATransition (TATransition const &)=default | |
| bool | operator== (const TATransition &rhs) const |
| bool | operator!= (const TATransition &rhs) const |
| void | addPreciseConstantAssignments (const Resets &resets) |
| void | addPreciseAssignments (const Resets &resets) |
| bool | mergeable (const TATransition &transition) const |
| TATransition | merge (const TATransition &transition) const |
Static Public Member Functions | |
| static std::size_t | impreciseConstantAssignSize (const Resets &resets) |
| Return the number of imprecise constant assignments. | |
| static std::size_t | impreciseAssignSize (const Resets &resets) |
| Return the number of potentially imprecise constant assignments. | |
Public Attributes | |
| TAState * | target {} |
| The pointer to the target state. | |
| std::vector< std::pair< ClockVariables, std::variant< double, ClockVariables > > > | resetVars |
| The clock variables reset after this transition. More... | |
| std::vector< Constraint > | guard |
| The guard for this transition. | |
Detailed Description
A state of timed automata.
Member Data Documentation
◆ resetVars
| std::vector<std::pair<ClockVariables, std::variant<double, ClockVariables> > > learnta::TATransition::resetVars |
The clock variables reset after this transition.
clock[i] is reset to 0 if resetVars[i].has_value() == false. clock[i] is reset to clock[*resetVars[i]] otherwise
The documentation for this struct was generated from the following file:
- include/timed_automaton.hh
