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.
Macros that should be defined everywhere during the building of the libraries and driver binary...
std::ostream & operator<<(std::ostream &out, const SubrangeBound &bound)
struct CVC4::options::out__option_t out
bool operator==(enum Result::Sat s, const Result &r)
size_t operator()(const Predicate &p) const