spot
1.0.1
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Class List
Class Hierarchy
Class Members
spot
ta_explicit
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_explicit
inline
virtual
all_acceptance_conditions_
spot::ta_explicit
private
artificial_initial_state_
spot::ta_explicit
private
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_explicit
virtual
delete_stuttering_transitions
()
spot::ta_explicit
format_state
(const spot::state *s) const
spot::ta_explicit
virtual
free_state
(const spot::state *s) const
spot::ta_explicit
virtual
get_artificial_initial_state
() const
spot::ta_explicit
inline
virtual
get_dict
() const
spot::ta_explicit
virtual
get_initial_states_set
() const
spot::ta_explicit
virtual
get_state_condition
(const spot::state *s) const
spot::ta_explicit
virtual
get_states_set
()
spot::ta_explicit
inline
get_tgba
() const
spot::ta_explicit
initial_states_set_
spot::ta_explicit
private
is_accepting_state
(const spot::state *s) const
spot::ta_explicit
virtual
is_initial_state
(const spot::state *s) const
spot::ta_explicit
virtual
is_livelock_accepting_state
(const spot::state *s) const
spot::ta_explicit
virtual
operator=
(const ta_explicit &other)
spot::ta_explicit
private
own_tgba_
spot::ta_explicit
private
set_artificial_initial_state
(state_ta_explicit *s)
spot::ta_explicit
inline
states_set_
spot::ta_explicit
private
states_set_t
typedef
spot::ta
succ_iter
(const spot::state *s) const
spot::ta_explicit
virtual
succ_iter
(const spot::state *s, bdd condition) const
spot::ta_explicit
virtual
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_explicit
private
tgba_
spot::ta_explicit
private
~ta
()
spot::ta
inline
virtual
~ta_explicit
()
spot::ta_explicit
virtual
Please
comment
this page and
report errors
about it on
the RefDocComments page
.
Generated on Wed Jan 23 2013 15:00:02 for spot by
1.8.1.2