From a0a1bb629c7ce345edf1a193fe078c9cf5512fe5 Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Wed, 13 Jan 2021 13:28:37 +0100 Subject: [PATCH] Fixing call of checkGameFormula --- src/storm/modelchecker/AbstractModelChecker.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/storm/modelchecker/AbstractModelChecker.cpp b/src/storm/modelchecker/AbstractModelChecker.cpp index 8ec5df265..3704215d4 100644 --- a/src/storm/modelchecker/AbstractModelChecker.cpp +++ b/src/storm/modelchecker/AbstractModelChecker.cpp @@ -54,8 +54,6 @@ namespace storm { return this->checkMultiObjectiveFormula(env, checkTask.substituteFormula(formula.asMultiObjectiveFormula())); } else if (formula.isQuantileFormula()){ return this->checkQuantileFormula(env, checkTask.substituteFormula(formula.asQuantileFormula())); - } else if(formula.isGameFormula()){ - return this->checkGameFormula(env, checkTask.substituteFormula(formula.asGameFormula())); } STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "The given formula '" << formula << "' is invalid."); } @@ -202,6 +200,8 @@ namespace storm { return this->checkAtomicLabelFormula(env, checkTask.substituteFormula(stateFormula.asAtomicLabelFormula())); } else if (stateFormula.isBooleanLiteralFormula()) { return this->checkBooleanLiteralFormula(env, checkTask.substituteFormula(stateFormula.asBooleanLiteralFormula())); + } else if (stateFormula.isGameFormula()) { + return this->checkGameFormula(env, checkTask.substituteFormula(stateFormula.asGameFormula())); } STORM_LOG_THROW(false, storm::exceptions::InvalidArgumentException, "The given formula '" << stateFormula << "' is invalid."); }