spot::acc_cond Member List

This is the complete list of members for spot::acc_cond, including all inherited members.

acc_cond(unsigned n_sets=0, const acc_code &code={})	spot::acc_cond	inline
acc_cond(const acc_code &code)	spot::acc_cond	inline
acc_cond(const acc_cond &o)	spot::acc_cond	inline
acc_op enum name	spot::acc_cond
accepting(mark_t inf) const	spot::acc_cond	inline
accepting_sets(mark_t inf) const	spot::acc_cond
add_set()	spot::acc_cond	inline
add_sets(unsigned num)	spot::acc_cond	inline
all_ (defined in spot::acc_cond)	spot::acc_cond	protected
all_sets() const	spot::acc_cond	inline
all_sets_() const (defined in spot::acc_cond)	spot::acc_cond	inlineprotected
check_fin_acceptance() const (defined in spot::acc_cond)	spot::acc_cond	protected
code_ (defined in spot::acc_cond)	spot::acc_cond	protected
comp(const mark_t &l) const	spot::acc_cond	inline
fin(mark_t mark)	spot::acc_cond	inlinestatic
fin(std::initializer_list< unsigned > vals)	spot::acc_cond	inlinestatic
fin_neg(mark_t mark)	spot::acc_cond	inlinestatic
fin_neg(std::initializer_list< unsigned > vals)	spot::acc_cond	inlinestatic
fin_one() const	spot::acc_cond	inline
fin_one_extract() const	spot::acc_cond	inline
fin_unit() const	spot::acc_cond	inline
fin_unit_one_split() const	spot::acc_cond	inline
fin_unit_one_split_improved() const	spot::acc_cond	inline
force_inf(mark_t m) const	spot::acc_cond	inline
format(std::ostream &os, mark_t m) const (defined in spot::acc_cond)	spot::acc_cond
format(mark_t m) const (defined in spot::acc_cond)	spot::acc_cond
get_acceptance() const	spot::acc_cond	inline
get_acceptance()	spot::acc_cond	inline
inf(mark_t mark)	spot::acc_cond	inlinestatic
inf(std::initializer_list< unsigned > vals)	spot::acc_cond	inlinestatic
inf_neg(mark_t mark)	spot::acc_cond	inlinestatic
inf_neg(std::initializer_list< unsigned > vals)	spot::acc_cond	inlinestatic
inf_satisfiable(mark_t inf) const	spot::acc_cond	inline
inf_unit() const	spot::acc_cond	inline
is_all() const	spot::acc_cond	inline
is_buchi() const	spot::acc_cond	inline
is_co_buchi() const	spot::acc_cond	inline
is_f() const	spot::acc_cond	inline
is_generalized_buchi() const	spot::acc_cond	inline
is_generalized_co_buchi() const	spot::acc_cond	inline
is_generalized_rabin(std::vector< unsigned > &pairs) const	spot::acc_cond
is_generalized_streett(std::vector< unsigned > &pairs) const	spot::acc_cond
is_none() const	spot::acc_cond	inline
is_parity(bool &max, bool &odd, bool equiv=false) const	spot::acc_cond
is_parity() const	spot::acc_cond	inline
is_rabin() const	spot::acc_cond
is_rabin_like(std::vector< rs_pair > &pairs) const	spot::acc_cond
is_streett() const	spot::acc_cond
is_streett_like(std::vector< rs_pair > &pairs) const	spot::acc_cond
is_t() const	spot::acc_cond	inline
keep_one_inf_per_branch() const	spot::acc_cond	inline
mafins() const	spot::acc_cond	inline
mark(unsigned u) const	spot::acc_cond	inline
maybe_accepting(mark_t infinitely_often, mark_t always_present) const	spot::acc_cond	inline
name(const char *fmt="alo") const	spot::acc_cond
num_ (defined in spot::acc_cond)	spot::acc_cond	protected
num_sets() const	spot::acc_cond	inline
operator!=(const acc_cond &other) const (defined in spot::acc_cond)	spot::acc_cond	inline
operator=(const acc_cond &o)	spot::acc_cond	inline
operator==(const acc_cond &other) const (defined in spot::acc_cond)	spot::acc_cond	inline
remove(mark_t rem, bool missing) const	spot::acc_cond	inline
restrict_to(mark_t rem) const	spot::acc_cond	inline
sat_mark() const (defined in spot::acc_cond)	spot::acc_cond	inline
sat_unsat_mark(bool) const (defined in spot::acc_cond)	spot::acc_cond	protected
set_acceptance(const acc_code &code)	spot::acc_cond	inline
set_generalized_buchi()	spot::acc_cond	inline
set_generalized_co_buchi()	spot::acc_cond	inline
strip(mark_t rem, bool missing) const	spot::acc_cond	inline
top_conjuncts() const	spot::acc_cond
top_disjuncts() const	spot::acc_cond
unit_propagation()	spot::acc_cond	inline
unsat_mark() const (defined in spot::acc_cond)	spot::acc_cond	inline
useless(iterator begin, iterator end) const	spot::acc_cond	inline
uses_fin_acceptance() const	spot::acc_cond	inline
uses_fin_acceptance_ (defined in spot::acc_cond)	spot::acc_cond	protected
~acc_cond() (defined in spot::acc_cond)	spot::acc_cond	inline