Browse Source

Adapted jani bindings to changes in Storm

refactoring
Tim Quatmann 5 years ago
parent
commit
86b7c033f0
  1. 2
      src/storage/jani.cpp

2
src/storage/jani.cpp

@ -164,6 +164,6 @@ void define_jani(py::module& m) {
.def_readwrite("nr_automata", &InformationObject::nrAutomata) .def_readwrite("nr_automata", &InformationObject::nrAutomata)
.def_readwrite("nr_edges", &InformationObject::nrEdges) .def_readwrite("nr_edges", &InformationObject::nrEdges)
.def_readwrite("nr_variables", &InformationObject::nrVariables); .def_readwrite("nr_variables", &InformationObject::nrVariables);
m.def("collect_information", [](const Model& model) {return storm::jani::collect(model);});
m.def("collect_information", [](const Model& model) {return storm::jani::collectModelInformation(model);});
} }
Loading…
Cancel
Save