spot  2.8.3
spot::taa_tgba_labelled< label > Member List

This is the complete list of members for spot::taa_tgba_labelled< label >, including all inherited members.

acc() constspot::twainline
acc()spot::twainline
acc_map_ (defined in spot::taa_tgba)spot::taa_tgbaprotected
accepting_run() constspot::twavirtual
accepting_word() constspot::twavirtual
add_acceptance_condition(transition *t, formula f) (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
add_condition(transition *t, formula f) (defined in spot::taa_tgba)spot::taa_tgba
all()spot::twainlinestatic
ap() constspot::twainline
ap_vars() constspot::twainline
const (defined in spot::twa)spot::twa
copy_acceptance_of(const const_twa_ptr &a)spot::twainline
copy_ap_of(const const_twa_ptr &a)spot::twainline
create_transition(const label &s, const std::vector< label > &d) (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
create_transition(const label &s, const label &d) (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
dict_spot::twaprotected
exclusive_run(const_twa_ptr other) constspot::twavirtual
exclusive_word(const_twa_ptr other) constspot::twavirtual
format_state(const spot::state *s) const overridespot::taa_tgba_labelled< label >inlinevirtual
get_acceptance() constspot::twainline
get_dict() constspot::twainline
get_init_state() const override finalspot::taa_tgbavirtual
get_named_prop(std::string s) constspot::twainline
get_named_prop_(std::string s) const (defined in spot::twa)spot::twaprotected
get_or_set_named_prop(std::string s)spot::twainline
init_ (defined in spot::taa_tgba)spot::taa_tgbaprotected
intersecting_run(const_twa_ptr other) constspot::twavirtual
intersecting_run(other) (defined in spot::twa)spot::twa
intersecting_word(const_twa_ptr other) constspot::twavirtual
intersects(const_twa_ptr other) constspot::twavirtual
is (defined in spot::twa)spot::twa
is_empty() constspot::twavirtual
is_sba() constspot::twainline
iter_cache_spot::twamutableprotected
label_t typedef (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >protected
label_to_string(const label_t &lbl) const =0spot::taa_tgba_labelled< label >protectedpure virtual
name_state_map_ (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >protected
named_prop_ (defined in spot::twa)spot::twaprotected
ns_map typedef (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >protected
num_sets() constspot::twainline
output(std::ostream &os) constspot::taa_tgba_labelled< label >inline
project_state(const state *s, const const_twa_ptr &t) constspot::twavirtual
prop_complete() constspot::twainline
prop_complete(trival val)spot::twainline
prop_deterministic(trival val) (defined in spot::twa)spot::twainline
prop_deterministic() const (defined in spot::twa)spot::twainline
prop_inherently_weak() constspot::twainline
prop_inherently_weak(trival val)spot::twainline
prop_semi_deterministic() constspot::twainline
prop_semi_deterministic(trival val)spot::twainline
prop_state_acc() constspot::twainline
prop_state_acc(trival val)spot::twainline
prop_stutter_invariant() constspot::twainline
prop_stutter_invariant(trival val)spot::twainline
prop_terminal() constspot::twainline
prop_terminal(trival val)spot::twainline
prop_unambiguous() constspot::twainline
prop_unambiguous(trival val)spot::twainline
prop_universal() constspot::twainline
prop_universal(trival val)spot::twainline
prop_very_weak() constspot::twainline
prop_very_weak(trival val)spot::twainline
prop_weak() constspot::twainline
prop_weak(trival val)spot::twainline
props (defined in spot::twa)spot::twa
register_ap(formula ap)spot::twainline
register_ap(std::string ap)spot::twainline
register_aps_from_dict()spot::twainline
release_iter(twa_succ_iterator *i) constspot::twainline
release_named_properties()spot::twainline
set_acceptance(unsigned num, const acc_cond::acc_code &c)spot::twainline
set_acceptance(const acc_cond &c)spot::twainline
set_buchi()spot::twainline
set_co_buchi()spot::twainline
set_generalized_buchi(unsigned num)spot::twainline
set_generalized_co_buchi(unsigned num)spot::twainline
set_init_state(const label &s) (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
set_init_state(const std::vector< label > &s) (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
set_named_prop(std::string s, void *val, std::function< void(void *)> destructor)spot::twa
set_named_prop(std::string s, T *val)spot::twainline
set_named_prop(std::string s, std::nullptr_t)spot::twa
sn_map typedef (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >protected
SPOT_DEPRECATED("replace a->intersecting_run(b, true) " "by b->intersecting_run(a).") twa_run_ptr intersecting_run(const_twa_ptr otherspot::twa
ss_vec typedef (defined in spot::taa_tgba)spot::taa_tgbaprotected
state typedef (defined in spot::taa_tgba)spot::taa_tgba
state_name_map_ (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >protected
state_set typedef (defined in spot::taa_tgba)spot::taa_tgba
state_set_vec_ (defined in spot::taa_tgba)spot::taa_tgbaprotected
succ(const state *s) constspot::twainline
succ_iter(const spot::state *state) const override finalspot::taa_tgbavirtual
taa_tgba(const bdd_dict_ptr &dict) (defined in spot::taa_tgba)spot::taa_tgba
taa_tgba_labelled(const bdd_dict_ptr &dict) (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
twa(const bdd_dict_ptr &d) (defined in spot::twa)spot::twaprotected
unregister_ap(int num)spot::twa
~taa_tgba()spot::taa_tgbavirtual
~taa_tgba_labelled() (defined in spot::taa_tgba_labelled< label >)spot::taa_tgba_labelled< label >inline
~twa() (defined in spot::twa)spot::twavirtual

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13