Browse Source

bisim via python

Former-commit-id: 3a1128303f
tempestpy_adaptions
sjunges 9 years ago
parent
commit
3cb99627af
  1. 11
      src/python/storm-core.cpp

11
src/python/storm-core.cpp

@ -99,6 +99,17 @@ BOOST_PYTHON_MODULE(_core)
defineClass<std::vector<std::shared_ptr<storm::logic::Formula>>, void, void>("FormulaVec", "Vector of formulas")
.def(vector_indexing_suite<std::vector<std::shared_ptr<storm::logic::Formula>>, true>())
;
////////////////////////////////////////////
// Bisimulation
////////////////////////////////////////////
enum_<storm::storage::BisimulationType>("BisimulationType")
.value("STRONG", storm::storage::BisimulationType::Strong)
.value("WEAK", storm::storage::BisimulationType::Weak)
;
def("perform_bisimulation_parametric", static_cast<std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>> (*)(std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>>, std::vector<std::shared_ptr<storm::logic::Formula>> const&, storm::storage::BisimulationType)>(&storm::performBisimulationMinimization<storm::models::sparse::Model<storm::RationalFunction>>));
def("parse_formulae", storm::parseFormulasForProgram);
def("parse_program", storm::parseProgram);

Loading…
Cancel
Save