spot  1.99.8
spot::twa_graph Member List

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

acc() const spot::twainline
acc()spot::twainline
ap() const spot::twainline
ap_var() const spot::twainline
copy_acceptance_of(const const_twa_ptr &a)spot::twainline
copy_ap_of(const const_twa_ptr &a)spot::twainline
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) (defined in spot::twa_graph)spot::twa_graph
dict_spot::twaprotected
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_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 SPOT_RETURN(g_.edges()) (defined in spot::twa_graph)spot::twa_graph
edges() SPOT_RETURN(g_.edges()) (defined in spot::twa_graph)spot::twa_graph
format_state(unsigned n) const (defined in spot::twa_graph)spot::twa_graphinline
format_state(const state *st) const overridespot::twa_graphinlinevirtual
g_ (defined in spot::twa_graph)spot::twa_graphprotected
get_acceptance() const spot::twainline
get_dict() const spot::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) const spot::twainline
graph_t typedef (defined in spot::twa_graph)spot::twa_graph
init_number_ (defined in spot::twa_graph)spot::twa_graphmutableprotected
is (defined in spot::twa)spot::twa
is_dead_edge(const graph_t::edge_storage_t &t) const SPOT_RETURN(g_.is_dead_edge(t)) (defined in spot::twa_graph)spot::twa_graph
is_empty() const spot::twavirtual
is_sba() const spot::twainline
iter_cache_spot::twamutableprotected
merge_edges()spot::twa_graph
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=0U) (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
num_edges() const (defined in spot::twa_graph)spot::twa_graphinline
num_sets() const spot::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
project_state(const state *s, const const_twa_ptr &t) const spot::twavirtual
prop_copy(const const_twa_ptr &other, prop_set p)spot::twainline
prop_deterministic() const spot::twainline
prop_deterministic(trival val)spot::twainline
prop_inherently_weak() const spot::twainline
prop_inherently_weak(trival val)spot::twainline
prop_keep(prop_set p)spot::twainline
prop_state_acc() const spot::twainline
prop_state_acc(trival val)spot::twainline
prop_stutter_invariant() const spot::twainline
prop_stutter_invariant(trival val)spot::twainline
prop_terminal() const spot::twainline
prop_terminal(trival val)spot::twainline
prop_unambiguous() const spot::twainline
prop_unambiguous(trival val)spot::twainline
prop_weak() const spot::twainline
prop_weak(trival val)spot::twainline
props (defined in spot::twa)spot::twa
purge_dead_states()spot::twa_graph
purge_unreachable_states()spot::twa_graph
register_ap(formula ap)spot::twainline
register_ap(std::string ap)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) const spot::twainline
release_named_properties()spot::twainline
set_acceptance(unsigned num, const acc_cond::acc_code &c)spot::twainline
set_buchi()spot::twainline
set_generalized_buchi(unsigned num)spot::twainline
set_init_state(state_num s) (defined in spot::twa_graph)spot::twa_graphinline
set_init_state(const state *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
state_acc_sets(unsigned s) const (defined in spot::twa_graph)spot::twa_graphinline
state_from_number(state_num n) const (defined in spot::twa_graph)spot::twa_graphinline
state_is_accepting(unsigned s) const (defined in spot::twa_graph)spot::twa_graphinline
state_is_accepting(const state *s) const (defined in spot::twa_graph)spot::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) const spot::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
~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 Thu Feb 18 2016 13:37:06 for spot by doxygen 1.8.9.1