blob: 4c89c501929a5ad4ba7f23e9c4bfec4566976f38 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
%{
#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 */
%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 "util/sexpr.h"
|