spot  2.8.3
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_condinline
acc_cond(const acc_code &code)spot::acc_condinline
acc_cond(const acc_cond &o)spot::acc_condinline
acc_op enum namespot::acc_cond
accepting(mark_t inf) constspot::acc_condinline
accepting_sets(mark_t inf) constspot::acc_cond
add_set()spot::acc_condinline
add_sets(unsigned num)spot::acc_condinline
all_ (defined in spot::acc_cond)spot::acc_condprotected
all_sets() constspot::acc_condinline
all_sets_() const (defined in spot::acc_cond)spot::acc_condinlineprotected
check_fin_acceptance() const (defined in spot::acc_cond)spot::acc_condprotected
code_ (defined in spot::acc_cond)spot::acc_condprotected
comp(const mark_t &l) constspot::acc_condinline
fin(mark_t mark)spot::acc_condinlinestatic
fin(std::initializer_list< unsigned > vals)spot::acc_condinlinestatic
fin_neg(mark_t mark)spot::acc_condinlinestatic
fin_neg(std::initializer_list< unsigned > vals)spot::acc_condinlinestatic
fin_one() constspot::acc_condinline
fin_unit() constspot::acc_condinline
force_inf(mark_t m) constspot::acc_condinline
format(std::ostream &os, mark_t m) const (defined in spot::acc_cond)spot::acc_condinline
format(mark_t m) const (defined in spot::acc_cond)spot::acc_condinline
get_acceptance() constspot::acc_condinline
get_acceptance()spot::acc_condinline
inf(mark_t mark)spot::acc_condinlinestatic
inf(std::initializer_list< unsigned > vals)spot::acc_condinlinestatic
inf_neg(mark_t mark)spot::acc_condinlinestatic
inf_neg(std::initializer_list< unsigned > vals)spot::acc_condinlinestatic
inf_satisfiable(mark_t inf) constspot::acc_condinline
is_all() constspot::acc_condinline
is_buchi() constspot::acc_condinline
is_co_buchi() constspot::acc_condinline
is_f() constspot::acc_condinline
is_generalized_buchi() constspot::acc_condinline
is_generalized_co_buchi() constspot::acc_condinline
is_generalized_rabin(std::vector< unsigned > &pairs) constspot::acc_cond
is_generalized_streett(std::vector< unsigned > &pairs) constspot::acc_cond
is_none() constspot::acc_condinline
is_parity(bool &max, bool &odd, bool equiv=false) constspot::acc_cond
is_parity() constspot::acc_condinline
is_rabin() constspot::acc_cond
is_rabin_like(std::vector< rs_pair > &pairs) constspot::acc_cond
is_streett() constspot::acc_cond
is_streett_like(std::vector< rs_pair > &pairs) constspot::acc_cond
is_t() constspot::acc_condinline
mark(unsigned u) constspot::acc_condinline
maybe_accepting(mark_t infinitely_often, mark_t always_present) constspot::acc_condinline
name(const char *fmt="alo") constspot::acc_cond
num_ (defined in spot::acc_cond)spot::acc_condprotected
num_sets() constspot::acc_condinline
operator!=(const acc_cond &other) const (defined in spot::acc_cond)spot::acc_condinline
operator=(const acc_cond &o)spot::acc_condinline
operator==(const acc_cond &other) const (defined in spot::acc_cond)spot::acc_condinline
remove(mark_t rem, bool missing) constspot::acc_condinline
restrict_to(mark_t rem) constspot::acc_condinline
sat_mark() const (defined in spot::acc_cond)spot::acc_condinline
sat_unsat_mark(bool) const (defined in spot::acc_cond)spot::acc_condprotected
set_acceptance(const acc_code &code)spot::acc_condinline
set_generalized_buchi()spot::acc_condinline
set_generalized_co_buchi()spot::acc_condinline
strip(mark_t rem, bool missing) constspot::acc_condinline
top_conjuncts() constspot::acc_cond
top_disjuncts() constspot::acc_cond
unsat_mark() const (defined in spot::acc_cond)spot::acc_condinline
useless(iterator begin, iterator end) constspot::acc_condinline
uses_fin_acceptance() constspot::acc_condinline
uses_fin_acceptance_ (defined in spot::acc_cond)spot::acc_condprotected
~acc_cond() (defined in spot::acc_cond)spot::acc_condinline

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.8.13