1 2 3 4 5 6 7 8 9 10 11 12
%{ #include "util/predicate.h" %} %rename(equals) CVC4::Predicate::operator==(const Predicate&) const; %rename(toExpr) CVC4::Predicate::operator Expr() const; %rename(apply) CVC4::PredicateHashFunction::operator()(const Predicate&) const; %ignore CVC4::operator<<(std::ostream&, const Predicate&); %include "util/predicate.h"