diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-02-20 12:07:46 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-20 14:07:46 -0600 |
| commit | 32fdf625f66b8ebf260756962a53d63eec771c12 (patch) | |
| tree | 5faa5c73f80a9a1b73dbfdd44063436184047c98 /src/expr | |
| parent | c780b1778e97afe15a0eb2522505b796cd5bbe71 (diff) | |
Remove unused code (#3782)
Diffstat (limited to 'src/expr')
| -rw-r--r-- | src/expr/datatype.i | 16 | ||||
| -rw-r--r-- | src/expr/expr_manager.i | 13 |
2 files changed, 0 insertions, 29 deletions
diff --git a/src/expr/datatype.i b/src/expr/datatype.i index 83e21793c..1ac89efcb 100644 --- a/src/expr/datatype.i +++ b/src/expr/datatype.i @@ -12,14 +12,6 @@ %include "expr/kind.i" %extend std::vector< CVC4::Datatype > { - /* These member functions have slightly different signatures in - * different swig language packages. The underlying issue is that - * DatatypeConstructor doesn't have a default constructor */ -#if defined(SWIGOCAML) || defined(SWIGPERL) || defined(SWIGTCL) - %ignore vector(unsigned int size = 0); - %ignore set( int i, const CVC4::Datatype &x ); - %ignore to_array(); -#endif /* SWIGOCAML || SWIGPERL || SWIGTCL */ %ignore vector(size_type);// java/python/perl/others? %ignore resize(size_type);// java/python/perl/others? %ignore set(int i, const CVC4::Datatype& x); @@ -28,14 +20,6 @@ %template(vectorDatatype) std::vector< CVC4::Datatype >; %extend std::vector< CVC4::DatatypeConstructor > { - /* These member functions have slightly different signatures in - * different swig language packages. The underlying issue is that - * DatatypeConstructor doesn't have a default constructor */ -#if defined(SWIGOCAML) || defined(SWIGPERL) || defined(SWIGTCL) - %ignore vector(unsigned int size = 0); - %ignore set( int i, const CVC4::DatatypeConstructor &x ); - %ignore to_array(); -#endif /* SWIGOCAML || SWIGPERL || SWIGTCL */ %ignore vector(size_type);// java/python/perl/others? %ignore resize(size_type);// java/python/perl/others? %ignore set(int i, const CVC4::Datatype::Constructor& x); diff --git a/src/expr/expr_manager.i b/src/expr/expr_manager.i index dbfd01242..f8251e752 100644 --- a/src/expr/expr_manager.i +++ b/src/expr/expr_manager.i @@ -23,19 +23,6 @@ } } -#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 */ - %ignore CVC4::stats::getStatisticsRegistry(ExprManager*); %ignore CVC4::ExprManager::getResourceManager(); |