21 #ifndef __CVC4__PREDICATE_H 22 #define __CVC4__PREDICATE_H 33 size_t operator()(
const Predicate& p)
const;
51 operator Expr()
const;
Class encapsulating CVC4 expressions and methods for constructing new expressions.
CVC4's exception base class and some associated utilities.
std::ostream & operator<<(std::ostream &out, const TypeCheckingException &e)
Macros that should be defined everywhere during the building of the libraries and driver binary...
size_t operator()(const Predicate &p) const
struct CVC4::options::out__option_t out
bool operator==(enum Result::Sat s, const Result &r)