spot
1.1.4
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 direct any
question
,
comment
, or
bug report
to the Spot mailing list at
spot@lrde.epita.fr
.
Generated on Mon Jul 29 2013 00:27:25 for spot by
1.8.4