|
| acc_cond (unsigned n_sets=0) |
|
| acc_cond (const acc_cond &o) |
|
void | set_acceptance (const acc_code &code) |
|
const acc_code & | get_acceptance () const |
|
acc_code & | get_acceptance () |
|
bool | uses_fin_acceptance () const |
|
bool | is_tt () const |
|
bool | is_ff () const |
|
bool | is_buchi () const |
|
bool | is_co_buchi () const |
|
void | set_generalized_buchi () |
|
bool | is_generalized_buchi () const |
|
bool | is_generalized_co_buchi () const |
|
int | is_rabin () const |
|
int | is_streett () const |
|
bool | is_generalized_rabin (std::vector< unsigned > &pairs) const |
|
bool | is_parity (bool &max, bool &odd, bool equiv=false) const |
|
acc_code | inf (mark_t mark) const |
|
acc_code | inf (std::initializer_list< unsigned > vals) const |
|
acc_code | inf_neg (mark_t mark) const |
|
acc_code | inf_neg (std::initializer_list< unsigned > vals) const |
|
acc_code | fin (mark_t mark) const |
|
acc_code | fin (std::initializer_list< unsigned > vals) const |
|
acc_code | fin_neg (mark_t mark) const |
|
acc_code | fin_neg (std::initializer_list< unsigned > vals) const |
|
unsigned | add_sets (unsigned num) |
|
unsigned | add_set () |
|
mark_t | mark (unsigned u) const |
|
template<class iterator > |
mark_t | marks (const iterator &begin, const iterator &end) const |
|
mark_t | marks (std::initializer_list< unsigned > vals) const |
|
std::vector< unsigned > | sets (mark_t m) const |
|
bool | has (mark_t m, unsigned u) const |
|
mark_t | cup (mark_t l, mark_t r) const |
|
mark_t | cap (mark_t l, mark_t r) const |
|
mark_t | set_minus (mark_t l, mark_t r) const |
|
mark_t | join (const acc_cond &la, mark_t lm, const acc_cond &ra, mark_t rm) const |
|
mark_t | comp (mark_t l) const |
|
mark_t | all_sets () const |
|
bool | accepting (mark_t inf) const |
|
bool | inf_satisfiable (mark_t inf) const |
|
mark_t | accepting_sets (mark_t inf) const |
|
std::ostream & | format (std::ostream &os, mark_t m) const |
|
std::string | format (mark_t m) const |
|
unsigned | num_sets () const |
|
template<class iterator > |
mark_t | useless (iterator begin, iterator end) const |
|