spot  2.11.2
spot::acc_cond::acc_code Member List

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

acc_code(const char *input)spot::acc_cond::acc_code
acc_code()spot::acc_cond::acc_codeinline
acc_code(const acc_word *other)spot::acc_cond::acc_codeinline
accepting(mark_t inf) constspot::acc_cond::acc_code
buchi()spot::acc_cond::acc_codeinlinestatic
cobuchi()spot::acc_cond::acc_codeinlinestatic
complement() constspot::acc_cond::acc_code
f()spot::acc_cond::acc_codeinlinestatic
fin(mark_t m)spot::acc_cond::acc_codeinlinestatic
fin(std::initializer_list< unsigned > vals)spot::acc_cond::acc_codeinlinestatic
fin_neg(mark_t m)spot::acc_cond::acc_codeinlinestatic
fin_neg(std::initializer_list< unsigned > vals)spot::acc_cond::acc_codeinlinestatic
fin_one() constspot::acc_cond::acc_code
fin_one_extract() constspot::acc_cond::acc_code
fin_unit() constspot::acc_cond::acc_code
fin_unit_one_split() constspot::acc_cond::acc_code
force_inf(mark_t m) constspot::acc_cond::acc_code
generalized_buchi(unsigned n)spot::acc_cond::acc_codeinlinestatic
generalized_co_buchi(unsigned n)spot::acc_cond::acc_codeinlinestatic
generalized_rabin(Iterator begin, Iterator end)spot::acc_cond::acc_codeinlinestatic
has_parity_prefix(acc_cond &new_cond, std::vector< unsigned > &colors) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_code
inf(mark_t m)spot::acc_cond::acc_codeinlinestatic
inf(std::initializer_list< unsigned > vals)spot::acc_cond::acc_codeinlinestatic
inf_neg(mark_t m)spot::acc_cond::acc_codeinlinestatic
inf_neg(std::initializer_list< unsigned > vals)spot::acc_cond::acc_codeinlinestatic
inf_satisfiable(mark_t inf) constspot::acc_cond::acc_code
inf_unit() constspot::acc_cond::acc_code
is_cnf() constspot::acc_cond::acc_code
is_dnf() constspot::acc_cond::acc_code
is_f() constspot::acc_cond::acc_codeinline
is_parity_max_equiv(std::vector< int > &permut, unsigned new_color, bool even) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_code
is_t() constspot::acc_cond::acc_codeinline
maybe_accepting(mark_t infinitely_often, mark_t always_present) constspot::acc_cond::acc_code
missing(mark_t inf, bool accepting) constspot::acc_cond::acc_code
operator!=(const acc_code &other) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_codeinline
operator&(const acc_code &r) constspot::acc_cond::acc_codeinline
operator&(acc_code &&r) constspot::acc_cond::acc_codeinline
operator&=(const acc_code &r)spot::acc_cond::acc_codeinline
operator<(const acc_code &other) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_codeinline
operator<<(unsigned sets) constspot::acc_cond::acc_codeinline
operator<<(std::ostream &os, const acc_code &code)spot::acc_cond::acc_codefriend
operator<<=(unsigned sets)spot::acc_cond::acc_codeinline
operator<=(const acc_code &other) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_codeinline
operator==(const acc_code &other) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_codeinline
operator>(const acc_code &other) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_codeinline
operator>=(const acc_code &other) const (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_codeinline
operator|(acc_code &&r) constspot::acc_cond::acc_codeinline
operator|(const acc_code &r) constspot::acc_cond::acc_codeinline
operator|=(const acc_code &r)spot::acc_cond::acc_codeinline
parity(bool is_max, bool is_odd, unsigned sets)spot::acc_cond::acc_codestatic
parity_max(bool is_odd, unsigned sets)spot::acc_cond::acc_codeinlinestatic
parity_max_even(unsigned sets)spot::acc_cond::acc_codeinlinestatic
parity_max_odd(unsigned sets)spot::acc_cond::acc_codeinlinestatic
parity_min(bool is_odd, unsigned sets)spot::acc_cond::acc_codeinlinestatic
parity_min_even(unsigned sets)spot::acc_cond::acc_codeinlinestatic
parity_min_odd(unsigned sets)spot::acc_cond::acc_codeinlinestatic
rabin(unsigned n)spot::acc_cond::acc_codeinlinestatic
random(unsigned n, double reuse=0.0)spot::acc_cond::acc_codestatic
remove(acc_cond::mark_t rem, bool missing) constspot::acc_cond::acc_code
streett(unsigned n)spot::acc_cond::acc_codeinlinestatic
strip(acc_cond::mark_t rem, bool missing) constspot::acc_cond::acc_code
symmetries() constspot::acc_cond::acc_code
t()spot::acc_cond::acc_codeinlinestatic
to_bdd(const bdd *map) constspot::acc_cond::acc_code
to_cnf() constspot::acc_cond::acc_code
to_dnf() constspot::acc_cond::acc_code
to_html(std::ostream &os, std::function< void(std::ostream &, int)> set_printer=nullptr) constspot::acc_cond::acc_code
to_latex(std::ostream &os, std::function< void(std::ostream &, int)> set_printer=nullptr) constspot::acc_cond::acc_code
to_text(std::ostream &os, std::function< void(std::ostream &, int)> set_printer=nullptr) constspot::acc_cond::acc_code
top_conjuncts() constspot::acc_cond::acc_code
top_disjuncts() constspot::acc_cond::acc_code
unit_propagation() (defined in spot::acc_cond::acc_code)spot::acc_cond::acc_code
used_inf_fin_sets() constspot::acc_cond::acc_code
used_once_sets() constspot::acc_cond::acc_code
used_sets() constspot::acc_cond::acc_code
useless_colors_patterns() constspot::acc_cond::acc_code

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1