No RationalNumber in ExplicitQualitativeCheckResult.h (#630)

moves-rwth · Nov 13, 2024 · 1bb3187 · 1bb3187
1 parent 993f853
commit 1bb3187
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/src/storm/api/export.h b/src/storm/api/export.h
@@ -78,7 +78,7 @@ inline void exportCheckResultToJson(std::shared_ptr<storm::models::sparse::Model
     std::ofstream stream;
     storm::utility::openFile(filename, stream);
     if (checkResult->isExplicitQualitativeCheckResult()) {
-        auto j = checkResult->asExplicitQualitativeCheckResult().toJson(model->getOptionalStateValuations(), model->getStateLabeling());
+        auto j = checkResult->asExplicitQualitativeCheckResult().toJson<storm::RationalNumber>(model->getOptionalStateValuations(), model->getStateLabeling());
         stream << storm::dumpJson(j);
     } else {
         STORM_LOG_THROW(checkResult->isExplicitQuantitativeCheckResult(), storm::exceptions::NotSupportedException,

diff --git a/src/storm/modelchecker/results/ExplicitQualitativeCheckResult.h b/src/storm/modelchecker/results/ExplicitQualitativeCheckResult.h
@@ -5,6 +5,7 @@
 #include <optional>
 
 #include "storm/adapters/JsonForward.h"
+#include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/modelchecker/results/QualitativeCheckResult.h"
 #include "storm/models/sparse/StateLabeling.h"
 #include "storm/storage/BitVector.h"
@@ -62,7 +63,7 @@ class ExplicitQualitativeCheckResult : public QualitativeCheckResult {
 
     virtual void filter(QualitativeCheckResult const& filter) override;
 
-    template<typename JsonRationalType = storm::RationalNumber>
+    template<typename JsonRationalType>
     storm::json<JsonRationalType> toJson(std::optional<storm::storage::sparse::StateValuations> const& stateValuations = std::nullopt,
                                          std::optional<storm::models::sparse::StateLabeling> const& stateLabels = std::nullopt) const;