A self-loop Transition-based Alternating Automaton (TAA) which is seen as a TGBA (abstract class, see below).
More...
#include <spot/twa/taatgba.hh>
|
typedef std::list< transition * > | state |
|
typedef std::set< state * > | state_set |
|
|
typedef std::vector< taa_tgba::state_set * > | ss_vec |
|
|
virtual bdd | compute_support_conditions (const spot::state *state) const final |
|
A self-loop Transition-based Alternating Automaton (TAA) which is seen as a TGBA (abstract class, see below).
virtual spot::taa_tgba::~taa_tgba |
( |
| ) |
|
|
virtual |
virtual spot::state* spot::taa_tgba::get_init_state |
( |
| ) |
const |
|
finalvirtual |
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.
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: