spot  1.0.2
spot::ta_explicit Member List

This is the complete list of members for spot::ta_explicit, including all inherited members.

add_state(state_ta_explicit *s)spot::ta_explicit
add_to_initial_states_set(state *s, bdd condition=bddfalse)spot::ta_explicit
all_acceptance_conditions() const spot::ta_explicitinlinevirtual
all_acceptance_conditions_spot::ta_explicitprivate
artificial_initial_state_spot::ta_explicitprivate
create_transition(state_ta_explicit *source, bdd condition, bdd acceptance_conditions, state_ta_explicit *dest, bool add_at_beginning=false)spot::ta_explicit
delete_stuttering_and_hole_successors(spot::state *s)spot::ta_explicitvirtual
delete_stuttering_transitions()spot::ta_explicit
format_state(const spot::state *s) const spot::ta_explicitvirtual
free_state(const spot::state *s) const spot::ta_explicitvirtual
get_artificial_initial_state() const spot::ta_explicitinlinevirtual
get_dict() const spot::ta_explicitvirtual
get_initial_states_set() const spot::ta_explicitvirtual
get_state_condition(const spot::state *s) const spot::ta_explicitvirtual
get_states_set()spot::ta_explicitinline
get_tgba() const spot::ta_explicit
initial_states_set_spot::ta_explicitprivate
is_accepting_state(const spot::state *s) const spot::ta_explicitvirtual
is_initial_state(const spot::state *s) const spot::ta_explicitvirtual
is_livelock_accepting_state(const spot::state *s) const spot::ta_explicitvirtual
operator=(const ta_explicit &other)spot::ta_explicitprivate
own_tgba_spot::ta_explicitprivate
set_artificial_initial_state(state_ta_explicit *s)spot::ta_explicitinline
states_set_spot::ta_explicitprivate
states_set_t typedefspot::ta
succ_iter(const spot::state *s) const spot::ta_explicitvirtual
succ_iter(const spot::state *s, bdd condition) const spot::ta_explicitvirtual
ta_explicit(const tgba *tgba, bdd all_acceptance_conditions, state_ta_explicit *artificial_initial_state=0, bool own_tgba=false)spot::ta_explicit
ta_explicit(const ta_explicit &other)spot::ta_explicitprivate
tgba_spot::ta_explicitprivate
~ta()spot::tainlinevirtual
~ta_explicit()spot::ta_explicitvirtual

Please comment this page and report errors about it on the RefDocComments page.
Generated on Wed Mar 6 2013 09:25:15 for spot by doxygen 1.8.1.2