spot 2.12.2
|
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 |