From b98ac4efa1cdcc2883f3edd1f40fc82716689ff7 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Tue, 30 Jan 2018 21:23:05 +0100 Subject: [PATCH] at for qualitative check results --- src/core/result.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/core/result.cpp b/src/core/result.cpp index 6d7d9ab..33f6bce 100644 --- a/src/core/result.cpp +++ b/src/core/result.cpp @@ -43,6 +43,9 @@ void define_result(py::module& m) { // QualitativeCheckResult py::class_> qualitativeCheckResult(m, "_QualitativeCheckResult", "Abstract class for qualitative model checking results", checkResult); py::class_>(m, "ExplicitQualitativeCheckResult", "Explicit qualitative model checking result", qualitativeCheckResult) + .def("at", [](storm::modelchecker::ExplicitQualitativeCheckResult const& result, storm::storage::sparse::state_type state) { + return result[state]; + }, py::arg("state"), "Get result for given state") .def("get_truth_values", &storm::modelchecker::ExplicitQualitativeCheckResult::getTruthValuesVector, "Get BitVector representing the truth values") ;