From e1daceccd0fa974df055fe4ac3db8ed634b6d3ea Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Mon, 21 Sep 2020 15:23:31 -0700
Subject: [PATCH] extend prism command interface

---
 src/storage/prism.cpp | 2 ++
 1 file changed, 2 insertions(+)

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> 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();