From 9bd59c635643ea81e6ea615e5de8a7f70604f096 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 23 Apr 2020 15:34:37 -0700 Subject: [PATCH] choice labelling: get labels for a choice --- src/storage/labeling.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/storage/labeling.cpp b/src/storage/labeling.cpp index 25aa4ba..65ebe18 100644 --- a/src/storage/labeling.cpp +++ b/src/storage/labeling.cpp @@ -32,5 +32,6 @@ void define_labeling(py::module& m) { ; - py::class_(m, "ChoiceLabeling", "Labeling for choices", labeling); + py::class_(m, "ChoiceLabeling", "Labeling for choices", labeling). + def("get_labels_of_choice", &storm::models::sparse::ChoiceLabeling::getLabelsOfChoice, py::arg("choice"), "get labels of a choice"); }