spot  2.8.3
spot::twa_graph Member List

This is the complete list of members for spot::twa_graph, including all inherited members.

acc() constspot::twainline
acc()spot::twainline
accepting_run() constspot::twavirtual
accepting_word() constspot::twavirtual
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
copy_state_names_from(const const_twa_graph_ptr &other)spot::twa_graph
create_formula_namer() (defined in spot::twa_graph)spot::twa_graphinline
create_namer() (defined in spot::twa_graph)spot::twa_graphinline
defrag_states(std::vector< unsigned > &&newst, unsigned used_states)spot::twa_graph
dict_spot::twaprotected
dump_storage_as_dot(std::ostream &out, const char *opt=nullptr) constspot::twa_graph
edge_data(const twa_succ_iterator *it) (defined in spot::twa_graph)spot::twa_graphinline
edge_data(unsigned t) (defined in spot::twa_graph)spot::twa_graphinline
edge_data(const twa_succ_iterator *it) const (defined in spot::twa_graph)spot::twa_graphinline
edge_data(unsigned t) const (defined in spot::twa_graph)spot::twa_graphinline
edge_number(const twa_succ_iterator *it) const (defined in spot::twa_graph)spot::twa_graphinline
edge_number(const edge_storage_t &e) const (defined in spot::twa_graph)spot::twa_graphinline
edge_storage(const twa_succ_iterator *it) (defined in spot::twa_graph)spot::twa_graphinline
edge_storage(unsigned t) (defined in spot::twa_graph)spot::twa_graphinline
edge_storage(const twa_succ_iterator *it) const (defined in spot::twa_graph)spot::twa_graphinline
edge_storage(unsigned t) const (defined in spot::twa_graph)spot::twa_graphinline
edge_storage_t typedef (defined in spot::twa_graph)spot::twa_graph
edge_vector() const SPOT_RETURN(g_.edge_vector()) (defined in spot::twa_graph)spot::twa_graph
edge_vector() SPOT_RETURN(g_.edge_vector()) (defined in spot::twa_graph)spot::twa_graph
edges() const noexcept (defined in spot::twa_graph)spot::twa_graphinline
edges() noexcept (defined in spot::twa_graph)spot::twa_graphinline
exclusive_run(const_twa_ptr other) constspot::twavirtual
exclusive_word(const_twa_ptr other) constspot::twavirtual
format_state(unsigned n) const (defined in spot::twa_graph)spot::twa_graph
format_state(const state *st) const overridespot::twa_graphinlinevirtual
g_ (defined in spot::twa_graph)spot::twa_graphprotected
get_acceptance() constspot::twainline
get_dict() constspot::twainline
get_graph() (defined in spot::twa_graph)spot::twa_graphinline
get_graph() const (defined in spot::twa_graph)spot::twa_graphinline
get_init_state() const overridespot::twa_graphinlinevirtual
get_init_state_number() const (defined in spot::twa_graph)spot::twa_graphinline
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
graph_t typedef (defined in spot::twa_graph)spot::twa_graph
init_number_ (defined in spot::twa_graph)spot::twa_graphmutableprotected
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_alternating() constspot::twa_graphinline
is_dead_edge(unsigned t) const (defined in spot::twa_graph)spot::twa_graphinline
is_dead_edge(const graph_t::edge_storage_t &t) const (defined in spot::twa_graph)spot::twa_graphinline
is_empty() constspot::twavirtual
is_existential() constspot::twa_graphinline
is_sba() constspot::twainline
is_univ_dest(const edge_storage_t &e) (defined in spot::twa_graph)spot::twa_graphinlinestatic
is_univ_dest(unsigned s) (defined in spot::twa_graph)spot::twa_graphinlinestatic
iter_cache_spot::twamutableprotected
merge_edges()spot::twa_graph
merge_states()spot::twa_graph
merge_univ_dests()spot::twa_graph
named_prop_ (defined in spot::twa)spot::twaprotected
namer typedef (defined in spot::twa_graph)spot::twa_graph
new_acc_edge(unsigned src, unsigned dst, bdd cond, bool acc=true) (defined in spot::twa_graph)spot::twa_graphinline
new_edge(unsigned src, unsigned dst, bdd cond, acc_cond::mark_t acc={}) (defined in spot::twa_graph)spot::twa_graphinline
new_state() (defined in spot::twa_graph)spot::twa_graphinline
new_states(unsigned n) (defined in spot::twa_graph)spot::twa_graphinline
new_univ_edge(unsigned src, I begin, I end, bdd cond, acc_cond::mark_t acc={}) (defined in spot::twa_graph)spot::twa_graphinline
new_univ_edge(unsigned src, std::initializer_list< unsigned > dst, bdd cond, acc_cond::mark_t acc={}) (defined in spot::twa_graph)spot::twa_graphinline
num_edges() const (defined in spot::twa_graph)spot::twa_graphinline
num_sets() constspot::twainline
num_states() const (defined in spot::twa_graph)spot::twa_graphinline
operator==(const twa_graph &aut) const (defined in spot::twa_graph)spot::twa_graphinline
out(unsigned src) const (defined in spot::twa_graph)spot::twa_graphinline
out(unsigned src) (defined in spot::twa_graph)spot::twa_graphinline
out_iteraser(unsigned src) (defined in spot::twa_graph)spot::twa_graphinline
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
purge_dead_states()spot::twa_graph
purge_unreachable_states(shift_action *f=nullptr, void *action_data=nullptr) (defined in spot::twa_graph)spot::twa_graph
register_ap(formula ap)spot::twainline
register_ap(std::string ap)spot::twainline
register_aps_from_dict()spot::twainline
release_formula_namer(namer< formula > *namer, bool keep_names) (defined in spot::twa_graph)spot::twa_graph
release_iter(twa_succ_iterator *i) constspot::twainline
release_named_properties()spot::twainline
remove_unused_ap()spot::twa_graph
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(state_num s) (defined in spot::twa_graph)spot::twa_graphinline
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
set_univ_init_state(I dst_begin, I dst_end) (defined in spot::twa_graph)spot::twa_graphinline
set_univ_init_state(const std::initializer_list< state_num > &il) (defined in spot::twa_graph)spot::twa_graphinline
shift_action typedefspot::twa_graph
SPOT_DEPRECATED("replace a->intersecting_run(b, true) " "by b->intersecting_run(a).") twa_run_ptr intersecting_run(const_twa_ptr otherspot::twa
state_acc_sets(unsigned s) constspot::twa_graphinline
state_from_number(state_num n) const (defined in spot::twa_graph)spot::twa_graphinline
state_is_accepting(unsigned s) constspot::twa_graphinline
state_is_accepting(const state *s) constspot::twa_graphinline
state_num typedef (defined in spot::twa_graph)spot::twa_graph
state_number(const state *st) const (defined in spot::twa_graph)spot::twa_graphinline
states() const SPOT_RETURN(g_.states()) (defined in spot::twa_graph)spot::twa_graph
states() SPOT_RETURN(g_.states()) (defined in spot::twa_graph)spot::twa_graph
succ(const state *s) constspot::twainline
succ_iter(const state *st) const overridespot::twa_graphinlinevirtual
twa(const bdd_dict_ptr &d) (defined in spot::twa)spot::twaprotected
twa_graph(const bdd_dict_ptr &dict) (defined in spot::twa_graph)spot::twa_graphinline
twa_graph(const const_twa_graph_ptr &other, prop_set p) (defined in spot::twa_graph)spot::twa_graphinlineexplicit
univ_dests(unsigned d) const noexcept (defined in spot::twa_graph)spot::twa_graphinline
univ_dests(const edge_storage_t &e) const noexcept (defined in spot::twa_graph)spot::twa_graphinline
unregister_ap(int num)spot::twa
~twa() (defined in spot::twa)spot::twavirtual
~twa_graph() (defined in spot::twa_graph)spot::twa_graphinlinevirtual

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