spot  1.99.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Member Functions | Static Public Member Functions | Friends | List of all members
spot::acc_cond::acc_code Struct Reference
Inheritance diagram for spot::acc_cond::acc_code:
Inheritance graph
Collaboration diagram for spot::acc_cond::acc_code:
Collaboration graph

Public Member Functions

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_true () const
 
bool is_false () 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_tunsat_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
 

Static Public Member Functions

static acc_code f ()
 
static acc_code t ()
 
static acc_code fin (mark_t m)
 
static acc_code fin (std::initializer_list< unsigned > vals)
 
static acc_code fin_neg (mark_t m)
 
static acc_code fin_neg (std::initializer_list< unsigned > vals)
 
static acc_code inf (mark_t m)
 
static acc_code inf (std::initializer_list< unsigned > vals)
 
static acc_code inf_neg (mark_t m)
 
static acc_code inf_neg (std::initializer_list< unsigned > vals)
 
static acc_code buchi ()
 
static acc_code cobuchi ()
 
static acc_code generalized_buchi (unsigned n)
 
static acc_code generalized_co_buchi (unsigned n)
 
static acc_code rabin (unsigned n)
 
static acc_code streett (unsigned n)
 
template<class Iterator >
static acc_code generalized_rabin (Iterator begin, Iterator end)
 
static acc_code parity (bool max, bool odd, unsigned sets)
 
static acc_code random (unsigned n, double reuse=0.0)
 

Friends

SPOT_API friend std::ostream & operator<< (std::ostream &os, const acc_code &code)
 

The documentation for this struct was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Wed Aug 26 2015 08:42:37 for spot by doxygen 1.8.8