spot
1.99.7
|
#include <spot/ta/tgtaexplicit.hh>
Public Member Functions | |
tgta_explicit (const const_twa_ptr &tgba, unsigned n_acc, state_ta_explicit *artificial_initial_state) | |
virtual spot::state * | get_init_state () const |
Get the initial state of the automaton. More... | |
virtual twa_succ_iterator * | succ_iter (const spot::state *local_state) const |
Get an iterator over the successors of local_state. More... | |
virtual bdd_dict_ptr | get_dict () const |
const_ta_explicit_ptr | get_ta () const |
ta_explicit_ptr | get_ta () |
virtual std::string | format_state (const spot::state *s) const |
virtual twa_succ_iterator * | succ_iter_by_changeset (const spot::state *s, bdd change_set) const |
Get an iterator over the successors of state filtred by the value of the changeset on transitions between the state and his successors. More... | |
Protected Member Functions | |
virtual bdd | compute_support_conditions (const spot::state *state) const |
Protected Attributes | |
ta_explicit_ptr | ta_ |
twa_succ_iterator * | iter_cache_ |
bdd_dict_ptr | dict_ |
Explicit representation of a spot::tgta.
|
virtual |
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 |
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.
|
virtual |
Get an iterator over the successors of state filtred by the value of the changeset on transitions between the state and his successors.
The iterator has been allocated with new
. It is the responsability of the caller to delete
it when no longer needed.
Implements spot::tgta.