From 5873ac24b2d38d832c81c300efc9712e41177962 Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 21 Dec 2017 00:40:10 +0100 Subject: [PATCH] more prismprogram functionality --- src/storage/prism.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/storage/prism.cpp b/src/storage/prism.cpp index 307ce94..508e2c6 100644 --- a/src/storage/prism.cpp +++ b/src/storage/prism.cpp @@ -15,6 +15,9 @@ void define_prism(py::module& m) { .def_property_readonly("undefined_constants_are_graph_preserving", &storm::prism::Program::undefinedConstantsAreGraphPreserving, "Flag if the undefined constants do not change the graph structure") .def("substitute_constants", &Program::substituteConstants, "Substitute constants within program") .def("define_constants", &Program::defineUndefinedConstants, "Define constants") + .def("restrict_commands", &Program::restrictCommands, "Restrict commands") + .def("simplify", &Program::simplify, "Simplify") + .def("used_constants",&Program::usedConstants, "Compute Used Constants") .def_property_readonly("expression_manager", &Program::getManager, "Get the expression manager for expressions in this program") .def("__str__", &streamToString);