A state of a zone automaton. More...
#include <zone_automaton_state.hh>
Collaboration diagram for learnta::ZAState:
Public Member Functions | |
| ZAState (TAState *taState, Zone zone) | |
| ZAState (bool isMatch) | |
| ZAState (bool isMatch, std::array< std::vector< std::pair< TATransition, std::weak_ptr< ZAState >>>, CHAR_MAX > next) | |
| bool | operator== (const std::pair< TAState *, Zone > &pair) const |
| Check the equivalence of two states only using TAState and Zone. | |
Public Attributes | |
| bool | isMatch |
| Shows if this state is accepting. | |
| std::array< std::vector< std::pair< TATransition, std::weak_ptr< ZAState > > >, CHAR_MAX > | next |
| The transitions from this state. More... | |
| TAState * | taState = nullptr |
| The state in the timed automaton represented by this state. | |
| Zone | zone |
| The zone of this state. | |
Detailed Description
A state of a zone automaton.
Member Data Documentation
◆ next
| std::array<std::vector<std::pair<TATransition, std::weak_ptr<ZAState> > >, CHAR_MAX> learnta::ZAState::next |
The transitions from this state.
- Note
- An epsilon transition is denoted by the null character (\0)
The documentation for this struct was generated from the following file:
- include/zone_automaton_state.hh
