|
spot
2.3.3.dev
|
This is the complete list of members for spot::state_ta_explicit, including all inherited members.
| add_transition(transition *t, bool add_at_beginning=false) (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| clone() const override | spot::state_ta_explicit | virtual |
| compare(const spot::state *other) const override | spot::state_ta_explicit | virtual |
| delete_stuttering_and_hole_successors() | spot::state_ta_explicit | |
| destroy() const override | spot::state_ta_explicit | inlinevirtual |
| free_transitions() (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| get_tgba_condition() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| get_tgba_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| get_transitions() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| get_transitions(bdd condition) const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| hash() const override | spot::state_ta_explicit | virtual |
| is_accepting_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| is_hole_state() const | spot::state_ta_explicit | |
| is_initial_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| is_livelock_accepting_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| set_accepting_state(bool is_accepting_state) (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| set_initial_state(bool is_initial_state) (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| set_livelock_accepting_state(bool is_livelock_accepting_state) (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| state_ta_explicit(const state *tgba_state, const bdd tgba_condition, bool is_initial_state=false, bool is_accepting_state=false, bool is_livelock_accepting_state=false, transitions *trans=nullptr) (defined in spot::state_ta_explicit) | spot::state_ta_explicit | inline |
| stuttering_reachable_livelock (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| transitions typedef (defined in spot::state_ta_explicit) | spot::state_ta_explicit | |
| ~state() | spot::state | inlineprotectedvirtual |
| ~state_ta_explicit() (defined in spot::state_ta_explicit) | spot::state_ta_explicit | inlinevirtual |
1.8.13