spot
1.99.8
|
This is the complete list of members for spot::twa_graph, including all inherited members.
acc() const | spot::twa | inline |
acc() | spot::twa | inline |
ap() const | spot::twa | inline |
ap_var() const | spot::twa | inline |
copy_acceptance_of(const const_twa_ptr &a) | spot::twa | inline |
copy_ap_of(const const_twa_ptr &a) | spot::twa | inline |
create_formula_namer() (defined in spot::twa_graph) | spot::twa_graph | inline |
create_namer() (defined in spot::twa_graph) | spot::twa_graph | inline |
defrag_states(std::vector< unsigned > &&newst, unsigned used_states) (defined in spot::twa_graph) | spot::twa_graph | |
dict_ | spot::twa | protected |
edge_data(const twa_succ_iterator *it) (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_data(unsigned t) (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_data(const twa_succ_iterator *it) const (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_data(unsigned t) const (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_storage(const twa_succ_iterator *it) (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_storage(unsigned t) (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_storage(const twa_succ_iterator *it) const (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_storage(unsigned t) const (defined in spot::twa_graph) | spot::twa_graph | inline |
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_graph | inline |
format_state(const state *st) const override | spot::twa_graph | inlinevirtual |
g_ (defined in spot::twa_graph) | spot::twa_graph | protected |
get_acceptance() const | spot::twa | inline |
get_dict() const | spot::twa | inline |
get_graph() (defined in spot::twa_graph) | spot::twa_graph | inline |
get_graph() const (defined in spot::twa_graph) | spot::twa_graph | inline |
get_init_state() const override | spot::twa_graph | inlinevirtual |
get_init_state_number() const (defined in spot::twa_graph) | spot::twa_graph | inline |
get_named_prop(std::string s) const | spot::twa | inline |
graph_t typedef (defined in spot::twa_graph) | spot::twa_graph | |
init_number_ (defined in spot::twa_graph) | spot::twa_graph | mutableprotected |
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::twa | virtual |
is_sba() const | spot::twa | inline |
iter_cache_ | spot::twa | mutableprotected |
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_graph | inline |
new_edge(unsigned src, unsigned dst, bdd cond, acc_cond::mark_t acc=0U) (defined in spot::twa_graph) | spot::twa_graph | inline |
new_state() (defined in spot::twa_graph) | spot::twa_graph | inline |
new_states(unsigned n) (defined in spot::twa_graph) | spot::twa_graph | inline |
num_edges() const (defined in spot::twa_graph) | spot::twa_graph | inline |
num_sets() const | spot::twa | inline |
num_states() const (defined in spot::twa_graph) | spot::twa_graph | inline |
operator==(const twa_graph &aut) const (defined in spot::twa_graph) | spot::twa_graph | inline |
out(unsigned src) const (defined in spot::twa_graph) | spot::twa_graph | inline |
out(unsigned src) (defined in spot::twa_graph) | spot::twa_graph | inline |
project_state(const state *s, const const_twa_ptr &t) const | spot::twa | virtual |
prop_copy(const const_twa_ptr &other, prop_set p) | spot::twa | inline |
prop_deterministic() const | spot::twa | inline |
prop_deterministic(trival val) | spot::twa | inline |
prop_inherently_weak() const | spot::twa | inline |
prop_inherently_weak(trival val) | spot::twa | inline |
prop_keep(prop_set p) | spot::twa | inline |
prop_state_acc() const | spot::twa | inline |
prop_state_acc(trival val) | spot::twa | inline |
prop_stutter_invariant() const | spot::twa | inline |
prop_stutter_invariant(trival val) | spot::twa | inline |
prop_terminal() const | spot::twa | inline |
prop_terminal(trival val) | spot::twa | inline |
prop_unambiguous() const | spot::twa | inline |
prop_unambiguous(trival val) | spot::twa | inline |
prop_weak() const | spot::twa | inline |
prop_weak(trival val) | spot::twa | inline |
props (defined in spot::twa) | spot::twa | |
purge_dead_states() | spot::twa_graph | |
purge_unreachable_states() | spot::twa_graph | |
register_ap(formula ap) | spot::twa | inline |
register_ap(std::string ap) | spot::twa | inline |
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::twa | inline |
release_named_properties() | spot::twa | inline |
set_acceptance(unsigned num, const acc_cond::acc_code &c) | spot::twa | inline |
set_buchi() | spot::twa | inline |
set_generalized_buchi(unsigned num) | spot::twa | inline |
set_init_state(state_num s) (defined in spot::twa_graph) | spot::twa_graph | inline |
set_init_state(const state *s) (defined in spot::twa_graph) | spot::twa_graph | 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::twa | inline |
state_acc_sets(unsigned s) const (defined in spot::twa_graph) | spot::twa_graph | inline |
state_from_number(state_num n) const (defined in spot::twa_graph) | spot::twa_graph | inline |
state_is_accepting(unsigned s) const (defined in spot::twa_graph) | spot::twa_graph | inline |
state_is_accepting(const state *s) const (defined in spot::twa_graph) | spot::twa_graph | inline |
state_num typedef (defined in spot::twa_graph) | spot::twa_graph | |
state_number(const state *st) const (defined in spot::twa_graph) | spot::twa_graph | inline |
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::twa | inline |
succ_iter(const state *st) const override | spot::twa_graph | inlinevirtual |
twa(const bdd_dict_ptr &d) (defined in spot::twa) | spot::twa | protected |
twa_graph(const bdd_dict_ptr &dict) (defined in spot::twa_graph) | spot::twa_graph | inline |
twa_graph(const const_twa_graph_ptr &other, prop_set p) (defined in spot::twa_graph) | spot::twa_graph | inlineexplicit |
~twa() (defined in spot::twa) | spot::twa | virtual |
~twa_graph() (defined in spot::twa_graph) | spot::twa_graph | inlinevirtual |