diff options
Diffstat (limited to 'src/expr/sexpr.i')
| -rw-r--r-- | src/expr/sexpr.i | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/expr/sexpr.i b/src/expr/sexpr.i new file mode 100644 index 000000000..f6229782e --- /dev/null +++ b/src/expr/sexpr.i @@ -0,0 +1,21 @@ +%{ +#include "expr/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 */ + +%ignore CVC4::SExpr::SExpr(int); +%ignore CVC4::SExpr::SExpr(unsigned int); +%ignore CVC4::SExpr::SExpr(unsigned long); +%ignore CVC4::SExpr::SExpr(const char*); + +%rename(equals) CVC4::SExpr::operator==(const SExpr&) const; +%ignore CVC4::SExpr::operator!=(const SExpr&) const; + +%include "expr/sexpr.h" |