spot
1.99.4
|
This is the complete list of members for spot::twa_graph, including all inherited members.
compute_support_conditions(const state *s) const (defined in spot::twa_graph) | spot::twa_graph | inlinevirtual |
create_formula_namer() (defined in spot::twa_graph) | spot::twa_graph | inline |
create_namer() (defined in spot::twa_graph) | spot::twa_graph | inline |
dict_ (defined in spot::twa) | 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 -> decltype(g_.edge_vector()) (defined in spot::twa_graph) | spot::twa_graph | inline |
edge_vector() -> decltype(g_.edge_vector()) (defined in spot::twa_graph) | spot::twa_graph | inline |
edges() const -> decltype(g_.edges()) (defined in spot::twa_graph) | spot::twa_graph | inline |
edges() -> decltype(g_.edges()) (defined in spot::twa_graph) | spot::twa_graph | inline |
format_state(unsigned n) const (defined in spot::twa_graph) | spot::twa_graph | inline |
format_state(const state *st) const (defined in spot::twa_graph) | spot::twa_graph | inlinevirtual |
g_ (defined in spot::twa_graph) | spot::twa_graph | protected |
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 | spot::twa_graph | inlinevirtual |
get_init_state_number() const (defined in spot::twa_graph) | spot::twa_graph | inline |
graph_t typedef (defined in spot::twa_graph) | spot::twa_graph | |
init_number_ (defined in spot::twa_graph) | spot::twa_graph | mutableprotected |
is_dead_edge(const graph_t::edge_storage_t &t) const -> decltype(g_.is_dead_edge(t)) (defined in spot::twa_graph) | spot::twa_graph | inline |
iter_cache_ (defined in spot::twa) | 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_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 -> decltype(g_.out(src)) (defined in spot::twa_graph) | spot::twa_graph | inline |
out(unsigned src) -> decltype(g_.out(src)) (defined in spot::twa_graph) | spot::twa_graph | inline |
purge_dead_states() | spot::twa_graph | |
purge_unreachable_states() | spot::twa_graph | |
release_formula_namer(namer< formula > *namer, bool keep_names) (defined in spot::twa_graph) | spot::twa_graph | |
set_init_state(graph_t::state 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 |
state_acc_sets(unsigned s) const (defined in spot::twa_graph) | spot::twa_graph | inline |
state_from_number(graph_t::state 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_number(const state *st) const (defined in spot::twa_graph) | spot::twa_graph | inline |
states() const -> decltype(g_.states()) (defined in spot::twa_graph) | spot::twa_graph | inline |
states() -> decltype(g_.states()) (defined in spot::twa_graph) | spot::twa_graph | inline |
succ_iter(const state *st) const | 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 |