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