From 2c09b0f436d189bd3c9b9a1ca21c4d030d69134b Mon Sep 17 00:00:00 2001 From: sjunges Date: Sun, 15 Jan 2017 17:04:50 +0100 Subject: [PATCH] gcc support: removed abstract methods in results.cpp from python bindings which werent that helpful --- src/core/result.cpp | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/src/core/result.cpp b/src/core/result.cpp index 86452b4..fb90420 100644 --- a/src/core/result.cpp +++ b/src/core/result.cpp @@ -24,12 +24,7 @@ void define_result(py::module& m) { .def_property_readonly("_hybrid_quantitative", &storm::modelchecker::CheckResult::isHybridQuantitativeCheckResult, "Flag if result is hybrid quantitative") .def_property_readonly("_pareto_curve", &storm::modelchecker::CheckResult::isParetoCurveCheckResult, "Flag if result is a pareto curve") .def_property_readonly("result_for_all_states", &storm::modelchecker::CheckResult::isResultForAllStates, "Flag if result is for all states") - .def("as_qualitative", [](storm::modelchecker::CheckResult const& result) { - return result.asQualitativeCheckResult(); - }, "Convert into qualitative result") - .def("as_quantitative", [](storm::modelchecker::CheckResult const& result) { - return result.asQuantitativeCheckResult(); - }, "Convert into quantitative result") + .def("as_explicit_qualitative", [](storm::modelchecker::CheckResult const& result) { return result.asExplicitQualitativeCheckResult(); }, "Convert into explicit qualitative result")