src/util/sexpr.i

   1 %{
   2 #include "util/sexpr.h"
   3 %}
   4
   5 %ignore CVC4::operator<<(std::ostream&, const SExpr&);
   6 %ignore CVC4::operator<<(std::ostream&, SExpr::SexprTypes);
   7 %ignore CVC4::operator<<(std::ostream&, PrettySExprs);
   8
   9 // for Java and the like
  10 %extend CVC4::SExpr {
  11   std::string toString() const { return self->getValue(); }
  12 };/* CVC4::SExpr */
  13
  14 %ignore CVC4::SExpr::SExpr(int);
  15 %ignore CVC4::SExpr::SExpr(unsigned int);
  16 %ignore CVC4::SExpr::SExpr(unsigned long);
  17 %ignore CVC4::SExpr::SExpr(const char*);
  18
  19 %rename(equals) CVC4::SExpr::operator==(const SExpr&) const;
  20 %ignore CVC4::SExpr::operator!=(const SExpr&) const;
  21
  22 %include "util/sexpr.h"