diff --git a/src/storage/prism.cpp b/src/storage/prism.cpp index 0e96e6c..f2f510a 100644 --- a/src/storage/prism.cpp +++ b/src/storage/prism.cpp @@ -73,6 +73,8 @@ void define_prism(py::module& m) { py::class_ command(m, "PrismCommand", "A command in a Prism program"); command.def_property_readonly("global_index", &Command::getGlobalIndex, "Get global index") + .def_property_readonly("labeled", &Command::isLabeled, "Is the command labeled") + .def_property_readonly("action_index", &Command::getActionIndex, "What is the action index of the command") .def_property_readonly("guard_expression", &Command::getGuardExpression, "Get guard expression") .def_property_readonly("updates", [](Command const& command) { return command.getUpdates();