diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
commit | 61937ea05bff33070cc8252bc3b6c7d6fed7c9c3 (patch) | |
tree | 2c942f052de4dc9f0385bf01b89ec08d01c165bb /src/expr/expr.cpp | |
parent | 9d3a76f0e4676dd11e533c370a2f3a3e17ff8329 (diff) |
various fixes and updates to use and support parser
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 */ |