A timed automaton. More...
#include <timed_automaton.hh>
Inheritance diagram for TimedAutomaton:
Collaboration diagram for TimedAutomaton:
Public Types | |
| using | X = ConstraintMaker |
| using | TATransition = TATransition |
| using | State = ::TAState |
Public Member Functions | |
| void | deepCopy (TimedAutomaton &dest, std::unordered_map< TAState *, std::shared_ptr< TAState >> &old2new) const |
| make a deep copy of this timed automaton. More... | |
| size_t | clockSize () const |
| Returns the number of clock variables used in the timed automaton. | |
| bool | isMember (const std::vector< std::pair< Alphabet, double >> &w) const |
| solve membership problem for observable timed automaton More... | |
 Public Member Functions inherited from Automaton< TAState > | |
| std::size_t | stateSize () const |
| Returns the number of the states. | |
| bool | operator== (const Automaton< TAState > A) const |
Public Attributes | |
| std::vector< int > | maxConstraints |
| The maximum constraints for each clock variables. | |
| Public Attributes inherited from Automaton< TAState > | |
| std::vector< std::shared_ptr< TAState > > | states |
| The states of this automaton. | |
| std::vector< std::shared_ptr< TAState > > | initialStates |
| The initial states of this automaton. | |
Detailed Description
A timed automaton.
Member Function Documentation
◆ deepCopy()
|
inline |
make a deep copy of this timed automaton.
- Parameters
-
[out] dest The destination of the deep copy. [out] old2new The mapping from the original state to the corresponding new state.
◆ isMember()
|
inline |
solve membership problem for observable timed automaton
- Note
- This is only for testing.
- If there are epsilon transitions, this does not work.
The documentation for this struct was generated from the following file:
