spot 2.12.2
|
This is the complete list of members for spot::ta, including all inherited members.
acc() const (defined in spot::ta) | spot::ta | inline |
acc() (defined in spot::ta) | spot::ta | inline |
acc_ (defined in spot::ta) | spot::ta | protected |
const_states_set_t typedef (defined in spot::ta) | spot::ta | |
dict_ (defined in spot::ta) | spot::ta | protected |
format_state(const spot::state *s) const =0 | spot::ta | pure virtual |
free_state(const spot::state *s) const =0 | spot::ta | pure virtual |
get_artificial_initial_state() const | spot::ta | inlinevirtual |
get_dict() const | spot::ta | inline |
get_initial_states_set() const =0 | spot::ta | pure virtual |
get_state_condition(const spot::state *s) const =0 | spot::ta | pure virtual |
is_accepting_state(const spot::state *s) const =0 | spot::ta | pure virtual |
is_initial_state(const spot::state *s) const =0 | spot::ta | pure virtual |
is_livelock_accepting_state(const spot::state *s) const =0 | spot::ta | pure virtual |
states_set_t typedef (defined in spot::ta) | spot::ta | |
succ_iter(const spot::state *state) const =0 | spot::ta | pure virtual |
succ_iter(const spot::state *state, bdd changeset) const =0 | spot::ta | pure virtual |
ta(const bdd_dict_ptr &d) (defined in spot::ta) | spot::ta | inline |
~ta() (defined in spot::ta) | spot::ta | inlinevirtual |