|
bool | operator== (const acc_code &other) const |
|
bool | operator< (const acc_code &other) const |
|
bool | operator> (const acc_code &other) const |
|
bool | operator<= (const acc_code &other) const |
|
bool | operator>= (const acc_code &other) const |
|
bool | operator!= (const acc_code &other) const |
|
bool | is_tt () const |
|
bool | is_ff () const |
|
void | append_and (acc_code &&r) |
|
void | append_and (const acc_code &r) |
|
void | append_or (acc_code &&r) |
|
void | shift_left (unsigned sets) |
|
bool | is_dnf () const |
|
bool | is_cnf () const |
|
acc_code | to_dnf () const |
|
acc_code | to_cnf () const |
|
acc_code | complement () const |
|
std::vector< std::vector< int > > | missing (mark_t inf, bool accepting) const |
|
bool | accepting (mark_t inf) const |
|
bool | inf_satisfiable (mark_t inf) const |
|
acc_code | strip (acc_cond::mark_t rem, bool missing) const |
|
acc_cond::mark_t | used_sets () const |
|
std::pair< bool, acc_cond::mark_t > | unsat_mark () const |
|
std::pair< acc_cond::mark_t,
acc_cond::mark_t > | used_inf_fin_sets () const |
|
std::ostream & | to_html (std::ostream &os, std::function< void(std::ostream &, int)> set_printer=nullptr) const |
|
std::ostream & | to_text (std::ostream &os, std::function< void(std::ostream &, int)> set_printer=nullptr) const |
|
|
std::ostream & | operator<< (std::ostream &os, const acc_code &code) |
|
The documentation for this struct was generated from the following file: