2 #include "expr/expr_manager.h"
5 %typemap(javacode) CVC4::ExprManager %{
6 // a ref is kept here to keep Java GC from collecting the Options
7 // before the ExprManager
8 private Object options;
10 %typemap(javaconstruct) ExprManager(Options options) {
12 this.options = SmtEngine.mkRef(options); // keep ref to options in SWIG proxy class
14 %typemap(javadestruct, methodname="delete", methodmodifiers="public synchronized") CVC4::ExprManager {
15 SmtEngine.dlRef(options);
20 CVC4JNI.delete_SmtEngine(swigCPtr);
27 /* OCaml bindings cannot deal with this degree of overloading */
28 %ignore CVC4::ExprManager::mkExpr(Kind, const std::vector<Expr>&);
29 %ignore CVC4::ExprManager::mkExpr(Kind, Expr, const std::vector<Expr>&);
30 %ignore CVC4::ExprManager::mkExpr(Expr);
31 %ignore CVC4::ExprManager::mkExpr(Expr, Expr);
32 %ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr);
33 %ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr);
34 %ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr, Expr);
35 %ignore CVC4::ExprManager::mkExpr(Expr, Expr, Expr, Expr, Expr, Expr);
36 %ignore CVC4::ExprManager::mkExpr(Expr, const std::vector<Expr>&);
37 #endif /* SWIGOCAML */
39 %ignore CVC4::stats::getStatisticsRegistry(ExprManager*);
41 %include "expr/expr_manager.h"
43 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::TypeConstant>;
44 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::ArrayStoreAll>;
45 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorSize>;
46 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::AscriptionType>;
47 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorBitOf>;
48 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::SubrangeBounds>;
49 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorRepeat>;
50 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorExtract>;
51 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorRotateLeft>;
52 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorSignExtend>;
53 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorZeroExtend>;
54 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVectorRotateRight>;
55 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::UninterpretedConstant>;
56 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::kind::Kind_t>;
57 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Datatype>;
58 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::TupleSelect>;
59 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::TupleUpdate>;
60 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Record>;
61 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordSelect>;
62 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RecordUpdate>;
63 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Rational>;
64 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::BitVector>;
65 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::Predicate>;
66 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::String>;
67 %template(mkConst) CVC4::ExprManager::mkConst<CVC4::RegExp>;
68 %template(mkConst) CVC4::ExprManager::mkConst<bool>;
70 %include "expr/expr_manager.h"