From 81703b7851a966cebd379b13e791653baa79dc2c Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Sun, 12 Apr 2020 16:20:38 -0700 Subject: [PATCH] flags for: a model is discrete_time, a model is nondeterministic --- src/storage/model.cpp | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/storage/model.cpp b/src/storage/model.cpp index 357a857..3023be8 100644 --- a/src/storage/model.cpp +++ b/src/storage/model.cpp @@ -106,6 +106,8 @@ void define_model(py::module& m) { .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_property_readonly("is_discrete_time_model", &ModelBase::isDiscreteTimeModel, "Flag whether the model is a discrete time model") + .def_property_readonly("is_nondeterministic_model", &ModelBase::isNondeterministicModel, "Flag whether the model contains nondeterminism") .def("_as_sparse_dtmc", [](ModelBase &modelbase) { return modelbase.as>(); }, "Get model as sparse DTMC")