spot  1.0
spot::state_ta_explicit Member List

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)spot::state_ta_explicit
clone() const spot::state_ta_explicitvirtual
compare(const spot::state *other) const spot::state_ta_explicitvirtual
delete_stuttering_and_hole_successors()spot::state_ta_explicit
destroy() const spot::state_ta_explicitinlinevirtual
free_transitions()spot::state_ta_explicit
get_tgba_condition() const spot::state_ta_explicit
get_tgba_state() const spot::state_ta_explicit
get_transitions() const spot::state_ta_explicit
get_transitions(bdd condition) const spot::state_ta_explicit
hash() const spot::state_ta_explicitvirtual
is_accepting_state() const spot::state_ta_explicit
is_accepting_state_spot::state_ta_explicitprivate
is_hole_state() const spot::state_ta_explicit
is_initial_state() const spot::state_ta_explicit
is_initial_state_spot::state_ta_explicitprivate
is_livelock_accepting_state() const spot::state_ta_explicit
is_livelock_accepting_state_spot::state_ta_explicitprivate
set_accepting_state(bool is_accepting_state)spot::state_ta_explicit
set_initial_state(bool is_initial_state)spot::state_ta_explicit
set_livelock_accepting_state(bool is_livelock_accepting_state)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=0)spot::state_ta_explicitinline
stuttering_reachable_livelockspot::state_ta_explicit
tgba_condition_spot::state_ta_explicitprivate
tgba_state_spot::state_ta_explicitprivate
transitions typedefspot::state_ta_explicit
transitions_spot::state_ta_explicitprivate
transitions_by_conditionspot::state_ta_explicitprivate
~state()spot::stateinlineprotectedvirtual
~state_ta_explicit()spot::state_ta_explicitinlinevirtual

Please comment this page and report errors about it on the RefDocComments page.
Generated on Sat Oct 27 2012 09:34:33 for spot by doxygen 1.8.1.2