spot 2.3.1

- Main Page
- Related Pages
- Modules
- Classes
- Files

- Class List
- Class Index
- Class Hierarchy
- Class Members

All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
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) (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
clone() const override | spot::state_ta_explicit | virtual
compare(const spot::state *other) const override | spot::state_ta_explicit | virtual
delete_stuttering_and_hole_successors() | spot::state_ta_explicit |
destroy() const override | spot::state_ta_explicit | inline virtual
free_transitions() (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
get_tgba_condition() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
get_tgba_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
get_transitions() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
get_transitions(bdd condition) const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
hash() const override | spot::state_ta_explicit | virtual
is_accepting_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
is_hole_state() const | spot::state_ta_explicit |
is_initial_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
is_livelock_accepting_state() const (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
set_accepting_state(bool is_accepting_state) (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
set_initial_state(bool is_initial_state) (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
set_livelock_accepting_state(bool is_livelock_accepting_state) (defined in spot::state_ta_explicit) | 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=nullptr) (defined in spot::state_ta_explicit) | spot::state_ta_explicit | inline
stuttering_reachable_livelock (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
transitions typedef (defined in spot::state_ta_explicit) | spot::state_ta_explicit |
~state() | spot::state | inline protected virtual
~state_ta_explicit() (defined in spot::state_ta_explicit) | spot::state_ta_explicit | inline virtual

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.