TAState Struct Reference

A state of timed automata. More...

#include <timed_automaton.hh>

Public Member Functions
	TAState (bool isMatch=false)
	TAState (bool isMatch, std::unordered_map< Alphabet, std::vector< TATransition >> next)

Public Attributes
bool	isMatch
	The value is true if and only if the state is an accepting state.
bool	zeroDuration = false
	The value is true if the duration to stay this state must be zero. More...
std::unordered_map< Alphabet, std::vector< TATransition > >	next
	An mapping of a character to the transitions. More...

Detailed Description

A state of timed automata.

Member Data Documentation

next

std::unordered_map<Alphabet, std::vector<TATransition> > TAState::next

An mapping of a character to the transitions.

Note

Because of non-determinism, the second element is a vector.

zeroDuration

bool TAState::zeroDuration = false

The value is true if the duration to stay this state must be zero.

Such state only exists during the translation from a TRE to a TA.

---

The documentation for this struct was generated from the following file:

• timed_automaton.hh