|
spot
1.2.6
|
This is the complete list of members for spot::ta_explicit, including all inherited members.
| add_state(state_ta_explicit *s) (defined in spot::ta_explicit) | spot::ta_explicit | |
| add_to_initial_states_set(state *s, bdd condition=bddfalse) (defined in spot::ta_explicit) | spot::ta_explicit | |
| all_acceptance_conditions() const | spot::ta_explicit | inlinevirtual |
| create_transition(state_ta_explicit *source, bdd condition, bdd acceptance_conditions, state_ta_explicit *dest, bool add_at_beginning=false) (defined in spot::ta_explicit) | spot::ta_explicit | |
| delete_stuttering_and_hole_successors(spot::state *s) (defined in spot::ta_explicit) | spot::ta_explicit | virtual |
| delete_stuttering_transitions() (defined in spot::ta_explicit) | spot::ta_explicit | |
| format_state(const spot::state *s) const | spot::ta_explicit | virtual |
| free_state(const spot::state *s) const | spot::ta_explicit | virtual |
| get_artificial_initial_state() const | spot::ta_explicit | inlinevirtual |
| get_dict() const | spot::ta_explicit | virtual |
| get_initial_states_set() const | spot::ta_explicit | virtual |
| get_state_condition(const spot::state *s) const | spot::ta_explicit | virtual |
| get_states_set() (defined in spot::ta_explicit) | spot::ta_explicit | inline |
| get_tgba() const (defined in spot::ta_explicit) | spot::ta_explicit | |
| is_accepting_state(const spot::state *s) const | spot::ta_explicit | virtual |
| is_initial_state(const spot::state *s) const | spot::ta_explicit | virtual |
| is_livelock_accepting_state(const spot::state *s) const | spot::ta_explicit | virtual |
| set_artificial_initial_state(state_ta_explicit *s) (defined in spot::ta_explicit) | spot::ta_explicit | inline |
| states_set_t typedef (defined in spot::ta) | spot::ta | |
| succ_iter(const spot::state *s) const | spot::ta_explicit | virtual |
| succ_iter(const spot::state *s, bdd condition) const | spot::ta_explicit | virtual |
| ta_explicit(const tgba *tgba, bdd all_acceptance_conditions, state_ta_explicit *artificial_initial_state=0, bool own_tgba=false) (defined in spot::ta_explicit) | spot::ta_explicit | |
| ~ta() (defined in spot::ta) | spot::ta | inlinevirtual |
| ~ta_explicit() (defined in spot::ta_explicit) | spot::ta_explicit | virtual |
1.8.4