spot
1.99.4
|
This is the complete list of members for spot::acc_cond, including all inherited members.
acc_cond(unsigned n_sets=0) (defined in spot::acc_cond) | spot::acc_cond | inline |
acc_cond(const acc_cond &o) (defined in spot::acc_cond) | spot::acc_cond | inline |
acc_op enum name (defined in spot::acc_cond) | spot::acc_cond | |
accepting(mark_t inf) const (defined in spot::acc_cond) | spot::acc_cond | inline |
accepting_sets(mark_t inf) const (defined in spot::acc_cond) | spot::acc_cond | |
add_set() (defined in spot::acc_cond) | spot::acc_cond | inline |
add_sets(unsigned num) (defined in spot::acc_cond) | spot::acc_cond | inline |
all_ (defined in spot::acc_cond) | spot::acc_cond | protected |
all_sets() const (defined in spot::acc_cond) | spot::acc_cond | inline |
all_sets_() const (defined in spot::acc_cond) | spot::acc_cond | inlineprotected |
cap(mark_t l, mark_t r) const (defined in spot::acc_cond) | spot::acc_cond | inline |
check_fin_acceptance() const (defined in spot::acc_cond) | spot::acc_cond | protected |
code_ (defined in spot::acc_cond) | spot::acc_cond | protected |
comp(mark_t l) const (defined in spot::acc_cond) | spot::acc_cond | inline |
cup(mark_t l, mark_t r) const (defined in spot::acc_cond) | spot::acc_cond | inline |
fin(mark_t mark) const (defined in spot::acc_cond) | spot::acc_cond | inline |
fin(std::initializer_list< unsigned > vals) const (defined in spot::acc_cond) | spot::acc_cond | inline |
fin_neg(mark_t mark) const (defined in spot::acc_cond) | spot::acc_cond | inline |
fin_neg(std::initializer_list< unsigned > vals) const (defined in spot::acc_cond) | spot::acc_cond | inline |
format(std::ostream &os, mark_t m) const (defined in spot::acc_cond) | spot::acc_cond | inline |
format(mark_t m) const (defined in spot::acc_cond) | spot::acc_cond | inline |
generalized_buchi(unsigned n) (defined in spot::acc_cond) | spot::acc_cond | inlinestatic |
get_acceptance() const (defined in spot::acc_cond) | spot::acc_cond | inline |
get_acceptance() (defined in spot::acc_cond) | spot::acc_cond | inline |
has(mark_t m, unsigned u) const (defined in spot::acc_cond) | spot::acc_cond | inline |
inf(mark_t mark) const (defined in spot::acc_cond) | spot::acc_cond | inline |
inf(std::initializer_list< unsigned > vals) const (defined in spot::acc_cond) | spot::acc_cond | inline |
inf_neg(mark_t mark) const (defined in spot::acc_cond) | spot::acc_cond | inline |
inf_neg(std::initializer_list< unsigned > vals) const (defined in spot::acc_cond) | spot::acc_cond | inline |
inf_satisfiable(mark_t inf) const (defined in spot::acc_cond) | spot::acc_cond | inline |
is_buchi() const (defined in spot::acc_cond) | spot::acc_cond | inline |
is_co_buchi() const (defined in spot::acc_cond) | spot::acc_cond | inline |
is_ff() const (defined in spot::acc_cond) | spot::acc_cond | inline |
is_generalized_buchi() const (defined in spot::acc_cond) | spot::acc_cond | inline |
is_generalized_co_buchi() const (defined in spot::acc_cond) | spot::acc_cond | inline |
is_generalized_rabin(std::vector< unsigned > &pairs) const (defined in spot::acc_cond) | spot::acc_cond | |
is_parity(bool &max, bool &odd, bool equiv=false) const (defined in spot::acc_cond) | spot::acc_cond | |
is_rabin() const (defined in spot::acc_cond) | spot::acc_cond | |
is_streett() const (defined in spot::acc_cond) | spot::acc_cond | |
is_tt() const (defined in spot::acc_cond) | spot::acc_cond | inline |
join(const acc_cond &la, mark_t lm, const acc_cond &ra, mark_t rm) const (defined in spot::acc_cond) | spot::acc_cond | inline |
mark(unsigned u) const (defined in spot::acc_cond) | spot::acc_cond | inline |
mark_(unsigned u) const (defined in spot::acc_cond) | spot::acc_cond | inlineprotected |
marks(const iterator &begin, const iterator &end) const (defined in spot::acc_cond) | spot::acc_cond | inline |
marks(std::initializer_list< unsigned > vals) const (defined in spot::acc_cond) | spot::acc_cond | inline |
num_ (defined in spot::acc_cond) | spot::acc_cond | protected |
num_sets() const (defined in spot::acc_cond) | spot::acc_cond | inline |
set_acceptance(const acc_code &code) (defined in spot::acc_cond) | spot::acc_cond | inline |
set_generalized_buchi() (defined in spot::acc_cond) | spot::acc_cond | inline |
set_minus(mark_t l, mark_t r) const (defined in spot::acc_cond) | spot::acc_cond | inline |
sets(mark_t m) const (defined in spot::acc_cond) | spot::acc_cond | inline |
useless(iterator begin, iterator end) const (defined in spot::acc_cond) | spot::acc_cond | inline |
uses_fin_acceptance() const (defined in spot::acc_cond) | 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 |