1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
%{
#include "expr/expr_manager.h"
%}
#ifdef SWIGOCAML
/* OCaml bindings cannot deal with this degree of overloading */
%ignore CVC4::ExprManager::mkExpr(Kind, const std::vector<Expr>&);
%ignore CVC4::ExprManager::mkExpr(Kind, Expr, const std::vector<Expr>&);
%ignore CVC4::ExprManager::mkExpr(Expr);
%ignore CVC4::ExprManager::mkExpr(Expr, Expr);
%ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr);
%ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr);
%ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr, Expr);
%ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr, Expr, Expr);
%ignore CVC4::ExprManager::mkExpr(Expr, const std::vector<Expr>&);
#endif /* SWIGOCAML */
%include "expr/expr_manager.h"
%template(mkConst) CVC4::ExprManager::mkConst< CVC4::Integer >;
%template(mkConst) CVC4::ExprManager::mkConst< CVC4::Rational >;
%include "expr/expr_manager.h"
|