|
spot
2.3.3.dev
|
This is the complete list of members for spot::twa_graph, including all inherited members.
| acc() const | spot::twa | inline |
| acc() | spot::twa | inline |
| accepting_run() const | spot::twa | virtual |
| accepting_word() const | spot::twa | virtual |
| all() | spot::twa | inlinestatic |
| ap() const | spot::twa | inline |
| ap_vars() 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_number(const twa_succ_iterator *it) 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 noexcept (defined in spot::twa_graph) | spot::twa_graph | inline |
| edges() noexcept (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 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 |
| get_or_set_named_prop(std::string s) | 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 |
| intersecting_run(const_twa_ptr other, bool from_other=false) const | spot::twa | virtual |
| intersecting_word(const_twa_ptr other) const | spot::twa | virtual |
| intersects(const_twa_ptr other) const | spot::twa | virtual |
| is (defined in spot::twa) | spot::twa | |
| is_alternating() const | spot::twa_graph | inline |
| 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_existential() const | spot::twa_graph | inline |
| is_sba() const | spot::twa | inline |
| is_univ_dest(const edge_storage_t &e) (defined in spot::twa_graph) | spot::twa_graph | inlinestatic |
| is_univ_dest(unsigned s) (defined in spot::twa_graph) | spot::twa_graph | inlinestatic |
| iter_cache_ | spot::twa | mutableprotected |
| merge_edges() | spot::twa_graph | |
| merge_univ_dests() | 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 |
| new_univ_edge(unsigned src, I begin, I end, bdd cond, acc_cond::mark_t acc=0U) (defined in spot::twa_graph) | spot::twa_graph | inline |
| new_univ_edge(unsigned src, std::initializer_list< unsigned > dst, bdd cond, acc_cond::mark_t acc=0U) (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_complete() const | spot::twa | inline |
| prop_complete(trival val) | spot::twa | inline |
| prop_deterministic(trival val) (defined in spot::twa) | spot::twa | inline |
| prop_deterministic() const (defined in spot::twa) | spot::twa | inline |
| prop_inherently_weak() const | spot::twa | inline |
| prop_inherently_weak(trival val) | spot::twa | inline |
| prop_semi_deterministic() const | spot::twa | inline |
| prop_semi_deterministic(trival val) | 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_universal() const | spot::twa | inline |
| prop_universal(trival val) | spot::twa | inline |
| prop_very_weak() const | spot::twa | inline |
| prop_very_weak(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 |
| register_aps_from_dict() | 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 |
| remove_unused_ap() | spot::twa_graph | |
| 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_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 |
| 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_graph | inline |
| set_univ_init_state(const std::initializer_list< state_num > &il) (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(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 |
| univ_dests(unsigned d) const noexcept (defined in spot::twa_graph) | spot::twa_graph | inline |
| univ_dests(const edge_storage_t &e) const noexcept (defined in spot::twa_graph) | spot::twa_graph | inline |
| unregister_ap(int num) | spot::twa | |
| ~twa() (defined in spot::twa) | spot::twa | virtual |
| ~twa_graph() (defined in spot::twa_graph) | spot::twa_graph | inlinevirtual |
1.8.13