|
typedef std::list< transition * > | state |
|
typedef std::set< state * > | state_set |
|
|
typedef std::string | label_t |
|
typedef std::unordered_map< std::string, taa_tgba::state * > | ns_map |
|
typedef std::unordered_map< const taa_tgba::state *, std::string, ptr_hash< taa_tgba::state > > | sn_map |
|
typedef std::vector< taa_tgba::state_set * > | ss_vec |
|
|
virtual std::string | label_to_string (const std::string &label) const |
| Return a label as a string. More...
|
|
virtual bdd | compute_support_conditions (const spot::state *state) const final |
|
Format the state as a string for printing.
If state is a spot::set_state of only one element, then the string corresponding to state->get_state() is returned.
Otherwise a string composed of each string corresponding to each state->get_state() in the spot::set_state is returned, e.g. like {string_1,...,string_n}.
Implements spot::taa_tgba.
virtual spot::state* spot::taa_tgba::get_init_state |
( |
| ) |
const |
|
finalvirtualinherited |
Get the initial state of the automaton.
The state has been allocated with new
. It is the responsability of the caller to destroy
it when no longer needed.
Implements spot::twa.
virtual std::string spot::taa_tgba_string::label_to_string |
( |
const std::string & |
lbl | ) |
const |
|
protectedvirtual |
Output a TAA in a stream.
Get an iterator over the successors of local_state.
The iterator has been allocated with new
. It is the responsability of the caller to delete
it when no longer needed.
Implements spot::twa.
The documentation for this class was generated from the following file: