diff options
author | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-31 20:45:31 +0000 |
---|---|---|
committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2010-03-31 20:45:31 +0000 |
commit | ca5ec6ea328417757aa4e393ed029b5ed2c76939 (patch) | |
tree | 10c07de07ea0cd2d63be462b4b4b09d2fd7c6d46 /src/parser/input.cpp | |
parent | 57bb8dbac522bef0061cc5209dd5d6b66fa86b6a (diff) |
More parser cleanup. Should fix problems with last commit.
Diffstat (limited to 'src/parser/input.cpp')
-rw-r--r-- | src/parser/input.cpp | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/src/parser/input.cpp b/src/parser/input.cpp index 24ad93d05..06faf5106 100644 --- a/src/parser/input.cpp +++ b/src/parser/input.cpp @@ -209,39 +209,6 @@ bool Input::isPredicate(const std::string& name) { return isDeclared(name, SYM_FUNCTION) && getType(name)->isPredicate(); } -Expr Input::getTrueExpr() const { - return d_exprManager->mkExpr(TRUE); -} - -Expr Input::getFalseExpr() const { - return d_exprManager->mkExpr(FALSE); -} - -Expr Input::mkExpr(Kind kind, const Expr& child) { - Expr result = d_exprManager->mkExpr(kind, child); - Debug("parser") << "mkExpr() => " << result << std::endl; - return result; -} - -Expr Input::mkExpr(Kind kind, const Expr& child_1, const Expr& child_2) { - Expr result = d_exprManager->mkExpr(kind, child_1, child_2); - Debug("parser") << "mkExpr() => " << result << std::endl; - return result; -} - -Expr Input::mkExpr(Kind kind, const Expr& child_1, const Expr& child_2, - const Expr& child_3) { - Expr result = d_exprManager->mkExpr(kind, child_1, child_2, child_3); - Debug("parser") << "mkExpr() => " << result << std::endl; - return result; -} - -Expr Input::mkExpr(Kind kind, const std::vector<Expr>& children) { - Expr result = d_exprManager->mkExpr(kind, children); - Debug("parser") << "mkExpr() => " << result << std::endl; - return result; -} - Type* Input::functionType(Type* domainType, Type* rangeType) { |