From fbff51a0962e590913cd13e85308e1dfb487f960 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Mon, 2 Dec 2019 17:36:24 +0100 Subject: [PATCH] check whether the model is sparse or symbolic represented --- src/storage/model.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/storage/model.cpp b/src/storage/model.cpp index 5864f80..caa2d52 100644 --- a/src/storage/model.cpp +++ b/src/storage/model.cpp @@ -121,6 +121,8 @@ void define_model(py::module& m) { .def_property_readonly("supports_parameters", &ModelBase::supportsParameters, "Flag whether model supports parameters") .def_property_readonly("has_parameters", &ModelBase::hasParameters, "Flag whether model has parameters") .def_property_readonly("is_exact", &ModelBase::isExact, "Flag whether model is exact") + .def_property_readonly("is_sparse_model", &ModelBase::isSparseModel, "Flag whether the model is stored as a sparse model") + .def_property_readonly("is_symbolic_model", &ModelBase::isSymbolicModel, "Flag whether the model is stored using decision diagrams") .def("_as_sparse_dtmc", [](ModelBase &modelbase) { return modelbase.as>(); }, "Get model as sparse DTMC")