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/include/cvc4_expr.h | |
| parent | 9d3a76f0e4676dd11e533c370a2f3a3e17ff8329 (diff) | |
various fixes and updates to use and support parser
Diffstat (limited to 'src/include/cvc4_expr.h')
| -rw-r--r-- | src/include/cvc4_expr.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/include/cvc4_expr.h b/src/include/cvc4_expr.h index d99708991..863097123 100644 --- a/src/include/cvc4_expr.h +++ b/src/include/cvc4_expr.h @@ -74,9 +74,6 @@ public: Expr iffExpr(const Expr& right) const; Expr impExpr(const Expr& right) const; Expr xorExpr(const Expr& right) const; - Expr skolemExpr(int i) const; - Expr substExpr(const std::vector<Expr>& oldTerms, - const std::vector<Expr>& newTerms) const; Expr plusExpr(const Expr& right) const; Expr uMinusExpr() const; |