diff --git a/src/storage/expressions/ExprtkExpressionEvaluator.h b/src/storage/expressions/ExprtkExpressionEvaluator.h index 9377f3522..77fc94993 100644 --- a/src/storage/expressions/ExprtkExpressionEvaluator.h +++ b/src/storage/expressions/ExprtkExpressionEvaluator.h @@ -18,7 +18,7 @@ namespace storm { bool asBool(Expression const& expression) const override; int_fast64_t asInt(Expression const& expression) const override; - + void setBooleanValue(storm::expressions::Variable const& variable, bool value) override; void setIntegerValue(storm::expressions::Variable const& variable, int_fast64_t value) override; void setRationalValue(storm::expressions::Variable const& variable, double value) override; diff --git a/test/functional/storage/ExpressionEvalutionTest.cpp b/test/functional/storage/ExpressionEvalutionTest.cpp index b9ff1cbc3..014648da3 100644 --- a/test/functional/storage/ExpressionEvalutionTest.cpp +++ b/test/functional/storage/ExpressionEvalutionTest.cpp @@ -50,13 +50,13 @@ TEST(ExpressionEvaluation, ExprTkEvaluation) { eval.setBooleanValue(x, true); for (int_fast64_t i = 0; i < 1000; ++i) { eval.setIntegerValue(y, 3 + i); - EXPECT_NEAR(8.5 + i, eval.asDouble(iteExpression), 1e-6); + EXPECT_NEAR(8.5 + i, eval.asRational(iteExpression), 1e-6); } eval.setBooleanValue(x, false); for (int_fast64_t i = 0; i < 1000; ++i) { double zValue = i / static_cast(10); eval.setRationalValue(z, zValue); - EXPECT_NEAR(3 * zValue, eval.asDouble(iteExpression), 1e-6); + EXPECT_NEAR(3 * zValue, eval.asRational(iteExpression), 1e-6); } }