spot  1.2.6
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
spot::ta Member List

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

all_acceptance_conditions() const =0spot::tapure virtual
format_state(const spot::state *s) const =0spot::tapure virtual
free_state(const spot::state *s) const =0spot::tapure virtual
get_artificial_initial_state() const spot::tainlinevirtual
get_dict() const =0spot::tapure virtual
get_initial_states_set() const =0spot::tapure virtual
get_state_condition(const spot::state *s) const =0spot::tapure virtual
is_accepting_state(const spot::state *s) const =0spot::tapure virtual
is_initial_state(const spot::state *s) const =0spot::tapure virtual
is_livelock_accepting_state(const spot::state *s) const =0spot::tapure virtual
states_set_t typedef (defined in spot::ta)spot::ta
succ_iter(const spot::state *state) const =0spot::tapure virtual
succ_iter(const spot::state *state, bdd changeset) const =0spot::tapure virtual
~ta() (defined in spot::ta)spot::tainlinevirtual

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Sat Dec 6 2014 12:28:44 for spot by doxygen 1.8.4