diff options
Diffstat (limited to 'src/expr/expr.cpp')
-rw-r--r-- | src/expr/expr.cpp | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp index e25cf8595..f94a3c438 100644 --- a/src/expr/expr.cpp +++ b/src/expr/expr.cpp @@ -86,13 +86,4 @@ Expr Expr::xorExpr(const Expr& right) const { return ExprBuilder(*this).xorExpr(right); } -Expr Expr::skolemExpr(int i) const { - return ExprBuilder(*this).skolemExpr(i); -} - -Expr Expr::substExpr(const std::vector<Expr>& oldTerms, - const std::vector<Expr>& newTerms) const { - return ExprBuilder(*this).substExpr(oldTerms, newTerms); -} - }/* CVC4 namespace */ |