diff options
Diffstat (limited to 'lib/Solver/Solver.cpp')
| -rw-r--r-- | lib/Solver/Solver.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/Solver/Solver.cpp b/lib/Solver/Solver.cpp index 8990e3b9..46d6039e 100644 --- a/lib/Solver/Solver.cpp +++ b/lib/Solver/Solver.cpp @@ -56,7 +56,7 @@ bool Solver::evaluate(const Query& query, Validity &result) { assert(query.expr->getWidth() == Expr::Bool && "Invalid expression type!"); // Maintain invariants implementations expect. - if (query.expr.isConstant()) { + if (query.expr->isConstant()) { result = query.expr->getConstantValue() ? True : False; return true; } @@ -82,7 +82,7 @@ bool Solver::mustBeTrue(const Query& query, bool &result) { assert(query.expr->getWidth() == Expr::Bool && "Invalid expression type!"); // Maintain invariants implementations expect. - if (query.expr.isConstant()) { + if (query.expr->isConstant()) { result = query.expr->getConstantValue() ? true : false; return true; } @@ -112,7 +112,7 @@ bool Solver::mayBeFalse(const Query& query, bool &result) { bool Solver::getValue(const Query& query, ref<Expr> &result) { // Maintain invariants implementation expect. - if (query.expr.isConstant()) { + if (query.expr->isConstant()) { result = query.expr; return true; } @@ -151,7 +151,7 @@ std::pair< ref<Expr>, ref<Expr> > Solver::getRange(const Query& query) { default: min = 0, max = 1; break; } - } else if (e.isConstant()) { + } else if (e->isConstant()) { min = max = e->getConstantValue(); } else { // binary search for # of useful bits |