summaryrefslogtreecommitdiff
path: root/src/util/sexpr.i
blob: dba8a0f2921c1f75a811a081aae1a8b7352b29b6 (plain) 
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"
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback