From c0ac30fcd2d3eed5c59f3e954d567dbbbcf2f783 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Wed, 18 Jul 2018 15:41:17 +0200
Subject: [PATCH] access to: preserved label names during building

---
 src/core/core.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/core/core.cpp b/src/core/core.cpp
index bbb8790..b592420 100644
--- a/src/core/core.cpp
+++ b/src/core/core.cpp
@@ -106,6 +106,7 @@ void define_build(py::module& m) {
     py::class_<storm::builder::BuilderOptions>(m, "BuilderOptions", "Options for building process")
             .def(py::init<std::vector<std::shared_ptr<storm::logic::Formula const>> const&>(), "Initialise with formulae to preserve", py::arg("formulae"))
             .def(py::init<bool, bool>(), "Initialise without formulae", py::arg("build_all_reward_models"), py::arg("build_all_labels"))
+            .def_property_readonly("preserved_label_names", &storm::builder::BuilderOptions::getLabelNames, "Labels preserved")
             .def("set_build_with_choice_origins", &storm::builder::BuilderOptions::setBuildChoiceOrigins, "Build choice origins", py::arg("new_value")=true)
             .def("set_add_out_of_bounds_state", &storm::builder::BuilderOptions::setAddOutOfBoundsState, "Build with out of bounds state", py::arg("new_value")=true)
             .def("set_add_overlapping_guards_label", &storm::builder::BuilderOptions::setAddOverlappingGuardsLabel, "Build with overlapping guards state labeled", py::arg("new_value")=true);