1 2 3 4 5 6 7 8
%{ #include "util/predicate.h" %} %rename(equals) CVC4::Predicate::operator==(const Predicate&) const; %rename(toExpr) CVC4::Predicate::operator Expr() const; %include "util/predicate.h"