From b9c5ff5a63a3d2bf78adfe1db2e7ec2cda29c884 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Wed, 20 Dec 2017 18:33:17 +0100 Subject: [PATCH] SubstituteConstants in PrismProgram --- src/storage/prism.cpp | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/storage/prism.cpp b/src/storage/prism.cpp index 4c97de3..b982bd0 100644 --- a/src/storage/prism.cpp +++ b/src/storage/prism.cpp @@ -1,6 +1,7 @@ #include "prism.h" #include #include "src/helpers.h" +#include using namespace storm::prism; @@ -11,6 +12,9 @@ void define_prism(py::module& m) { .def_property_readonly("model_type", &storm::prism::Program::getModelType, "Model type") .def_property_readonly("has_undefined_constants", &storm::prism::Program::hasUndefinedConstants, "Flag if program has undefined constants") .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_property_readonly("expression_manager", &Program::getManager, "Get the expression manager for expressions in this program") .def("__str__", &streamToString); @@ -28,6 +32,8 @@ void define_prism(py::module& m) { py::class_> constant(m, "Constant", "A constant in a Prism program"); constant.def_property_readonly("name", &Constant::getName, "Constant name") .def_property_readonly("defined", &Constant::isDefined, "Is the constant defined?") - .def_property_readonly("type", &Constant::getType, "The type of the constant"); + .def_property_readonly("type", &Constant::getType, "The type of the constant") + .def_property_readonly("variable", &Constant::getExpressionVariable, "Expression variable") + ; } \ No newline at end of file