From 3531da5424fc89397144c3dacf99308c2cb0701e Mon Sep 17 00:00:00 2001 From: Tim Quatmann Date: Tue, 10 Mar 2020 15:28:53 +0100 Subject: [PATCH] Jani: Added new fields of InformationObject. --- src/storage/jani.cpp | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/storage/jani.cpp b/src/storage/jani.cpp index 314c8ec..ee57359 100644 --- a/src/storage/jani.cpp +++ b/src/storage/jani.cpp @@ -163,7 +163,11 @@ void define_jani(py::module& m) { informationObject.def_readwrite("model_type", &InformationObject::modelType) .def_readwrite("nr_automata", &InformationObject::nrAutomata) .def_readwrite("nr_edges", &InformationObject::nrEdges) - .def_readwrite("nr_variables", &InformationObject::nrVariables); + .def_readwrite("nr_variables", &InformationObject::nrVariables) + .def_readwrite("state_domain_size", &InformationObject::stateDomainSize) + .def_readwrite("avg_var_domain_size", &InformationObject::avgVarDomainSize); + + m.def("collect_information", [](const Model& model) {return storm::jani::collectModelInformation(model);}); } \ No newline at end of file