diff --git a/src/storage/prism.cpp b/src/storage/prism.cpp index d5be873..75cd9b3 100644 --- a/src/storage/prism.cpp +++ b/src/storage/prism.cpp @@ -99,19 +99,19 @@ void define_prism(py::module& m) { - py::class_> variable(m, "Prism_Variable", "A program variable in a Prism program"); - variable.def_property_readonly("name", &Variable::getName, "Variable Name") + py::class_> variable(m, "PrismVariable", "A program variable in a Prism program"); + variable.def_property_readonly("name", &Variable::getName, "Variable name") .def_property_readonly("initial_value_expression", &Variable::getInitialValueExpression, "The expression represented the initial value of the variable") .def_property_readonly("expression_variable", &Variable::getExpressionVariable, "The expression variable corresponding to the variable") ; - py::class_> integer_variable(m, "Prism_Integer_Variable", variable, "A program integer variable in a Prism program"); + py::class_> integer_variable(m, "PrismIntegerVariable", variable, "A program integer variable in a Prism program"); integer_variable.def_property_readonly("lower_bound_expression", &IntegerVariable::getLowerBoundExpression, "The the lower bound expression of this integer variable") .def_property_readonly("upper_bound_expression", &IntegerVariable::getUpperBoundExpression, "The the upper bound expression of this integer variable") .def("__str__", &streamToString) ; - py::class_> boolean_variable(m, "Prism_Boolean_Variable", variable, "A program boolean variable in a Prism program"); + py::class_> boolean_variable(m, "PrismBooleanVariable", variable, "A program boolean variable in a Prism program"); boolean_variable.def("__str__", &streamToString); define_stateGeneration(m);