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
const (defined in spot::twa)	spot::twa
copy_acceptance_of(const const_twa_ptr &a)	spot::twa	inline
copy_ap_of(const const_twa_ptr &a)	spot::twa	inline
copy_named_properties_of(const const_twa_ptr &a)	spot::twa
copy_state_names_from(const const_twa_graph_ptr &other)	spot::twa_graph
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)	spot::twa_graph
defrag_states(std::vector< unsigned > &&newst, unsigned used_states)	spot::twa_graph	inline
dict_	spot::twa	protected
dump_storage_as_dot(std::ostream &out, const char *opt=nullptr) const	spot::twa_graph
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_number(const edge_storage_t &e) 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
exclusive_run(const_twa_ptr other) const	spot::twa	virtual
exclusive_word(const_twa_ptr other) const	spot::twa	virtual
format_state(unsigned n) const (defined in spot::twa_graph)	spot::twa_graph
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_named_prop_(std::string s) const (defined in spot::twa)	spot::twa	protected
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) const	spot::twa	virtual
intersecting_run(other) (defined in spot::twa)	spot::twa
intersecting_word(const_twa_ptr other) const	spot::twa	virtual
intersects(const_twa_ptr other) const	spot::twa	virtual
intersects(const_twa_word_ptr w) const	spot::twa	virtual
is (defined in spot::twa)	spot::twa
is_dead_edge(unsigned t) const (defined in spot::twa_graph)	spot::twa_graph	inline
is_dead_edge(const graph_t::edge_storage_t &t) const (defined in spot::twa_graph)	spot::twa_graph	inline
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
kill_state(unsigned state)	spot::twa_graph
merge_edges()	spot::twa_graph
merge_states(parallel_policy ppolicy=parallel_policy())	spot::twa_graph
merge_states_of(bool stable=true, const std::vector< bool > *to_merge_ptr=nullptr)	spot::twa_graph
merge_univ_dests()	spot::twa_graph
named_prop_ (defined in spot::twa)	spot::twa	protected
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={}) (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={}) (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={}) (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
out_iteraser(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(shift_action f=nullptr, void action_data=nullptr) (defined in spot::twa_graph)	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_acceptance(const acc_cond &c)	spot::twa	inline
set_buchi()	spot::twa	inline
set_co_buchi()	spot::twa	inline
set_generalized_buchi(unsigned num)	spot::twa	inline
set_generalized_co_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
shift_action typedef	spot::twa_graph
SPOT_DEPRECATED("replace a->intersecting_run(b, true) " "by b->intersecting_run(a).") twa_run_ptr intersecting_run(const_twa_ptr other (defined in spot::twa)	spot::twa
state_acc_sets(unsigned s) const	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	spot::twa_graph	inline
state_is_accepting(const state *s) const	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