cvc4-1.3
|
#include <predicate.h>
Public Member Functions | |
Predicate (Expr e, Expr w=Expr()) throw (IllegalArgumentException) | |
operator Expr () const | |
bool | operator== (const Predicate &p) const |
Friends | |
std::ostream & | operator<< (std::ostream &out, const Predicate &p) |
size_t | PredicateHashFunction::operator() (const Predicate &p) const |
Definition at line 42 of file predicate.h.
CVC4::Predicate::Predicate | ( | Expr | e, |
Expr | w = Expr() |
||
) | |||
throw | ( | IllegalArgumentException | |
) |
CVC4::Predicate::operator Expr | ( | ) | const |
bool CVC4::Predicate::operator== | ( | const Predicate & | p | ) | const |
|
friend |
|
friend |