1 2 3 4 5 6 7 8 9 10 11 12 13
%{ #include "util/sexpr.h" %} %ignore CVC4::operator<<(std::ostream&, const SExpr&); %ignore CVC4::operator<<(std::ostream&, SExpr::SexprTypes); // for Java and the like %extend CVC4::SExpr { std::string toString() const { return self->getValue(); } };/* CVC4::SExpr */ %include "util/sexpr.h"