spot
1.0.2
Main Page
Related Pages
Modules
Namespaces
Classes
Files
Class List
Class Hierarchy
Class Members
spot
state_ta_explicit
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_explicit
virtual
compare
(const spot::state *other) const
spot::state_ta_explicit
virtual
delete_stuttering_and_hole_successors
()
spot::state_ta_explicit
destroy
() const
spot::state_ta_explicit
inline
virtual
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_explicit
virtual
is_accepting_state
() const
spot::state_ta_explicit
is_accepting_state_
spot::state_ta_explicit
private
is_hole_state
() const
spot::state_ta_explicit
is_initial_state
() const
spot::state_ta_explicit
is_initial_state_
spot::state_ta_explicit
private
is_livelock_accepting_state
() const
spot::state_ta_explicit
is_livelock_accepting_state_
spot::state_ta_explicit
private
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_explicit
inline
stuttering_reachable_livelock
spot::state_ta_explicit
tgba_condition_
spot::state_ta_explicit
private
tgba_state_
spot::state_ta_explicit
private
transitions
typedef
spot::state_ta_explicit
transitions_
spot::state_ta_explicit
private
transitions_by_condition
spot::state_ta_explicit
private
~state
()
spot::state
inline
protected
virtual
~state_ta_explicit
()
spot::state_ta_explicit
inline
virtual
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
1.8.1.2