spot::kripke_graph Member List

This is the complete list of members for spot::kripke_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
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
copy_named_properties_of(const const_twa_ptr &a)	spot::twa
dict_	spot::twa	protected
edge_storage(unsigned t)	spot::kripke_graph	inline
edge_storage(unsigned t) const	spot::kripke_graph	inline
edge_storage_t typedef	spot::kripke_graph
edges() const noexcept	spot::kripke_graph	inline
edges() noexcept	spot::kripke_graph	inline
exclusive_run(const_twa_ptr other) const	spot::twa	virtual
exclusive_word(const_twa_ptr other) const	spot::twa	virtual
fair_kripke(const bdd_dict_ptr &d)	spot::fair_kripke	inline
format_state(unsigned n) const	spot::kripke_graph	inline
format_state(const state *st) const override	spot::kripke_graph	inlinevirtual
g_	spot::kripke_graph	protected
get_acceptance() const	spot::twa	inline
get_dict() const	spot::twa	inline
get_init_state() const override	spot::kripke_graph	inlinevirtual
get_init_state_number() const	spot::kripke_graph	inline
get_named_prop(std::string s) const	spot::twa	inline
get_named_prop_(std::string s) const	spot::twa	protected
get_or_set_named_prop(std::string s)	spot::twa	inline
graph_t typedef	spot::kripke_graph
init_number_	spot::kripke_graph	mutableprotected
intersecting_run(const_twa_ptr other) const	spot::twa	virtual
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	spot::twa
is_empty() const	spot::twa	virtual
is_sba() const	spot::twa	inline
iter_cache_	spot::twa	mutableprotected
kripke(const bdd_dict_ptr &d)	spot::kripke	inline
kripke_graph(const bdd_dict_ptr &d)	spot::kripke_graph	inline
named_prop_	spot::twa	protected
new_edge(unsigned src, unsigned dst)	spot::kripke_graph	inline
new_state(bdd cond)	spot::kripke_graph	inline
new_states(unsigned n, bdd cond)	spot::kripke_graph	inline
num_edges() const	spot::kripke_graph	inline
num_sets() const	spot::twa	inline
num_states() const	spot::kripke_graph	inline
out(unsigned src) const	spot::kripke_graph	inline
out(unsigned src)	spot::kripke_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_copy(const const_twa_ptr &other, prop_set p)	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_reset()	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	spot::twa
register_ap(formula ap)	spot::twa	inline
register_ap(std::string ap)	spot::twa	inline
register_aps_from_dict()	spot::twa	inline
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_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)	spot::kripke_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
state_acceptance_mark(const state *) const override	spot::kripke	virtual
state_condition(const state *s) const override	spot::kripke_graph	inlinevirtual
state_from_number(state_num n) const	spot::kripke_graph	inline
state_from_number(state_num n)	spot::kripke_graph	inline
state_num typedef	spot::kripke_graph
state_number(const state *st) const	spot::kripke_graph	inline
state_storage_t typedef	spot::kripke_graph
state_vector typedef	spot::kripke_graph
states() const	spot::kripke_graph	inline
states()	spot::kripke_graph	inline
succ(const state *s) const	spot::twa	inline
succ_iter(const spot::state *st) const override	spot::kripke_graph	inlinevirtual
twa(const bdd_dict_ptr &d)	spot::twa	protected
unregister_ap(int num)	spot::twa
~kripke() (defined in spot::kripke)	spot::kripke	virtual
~kripke_graph() (defined in spot::kripke_graph)	spot::kripke_graph	inlinevirtual
~twa() (defined in spot::twa)	spot::twa	virtual