From 606305ca723f2c52a1842deb6aa31949eda4b751 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 8 Mar 2018 23:54:52 +0100
Subject: [PATCH] pla: get split estimates

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

diff --git a/src/pars/pla.cpp b/src/pars/pla.cpp
index 2afb288..64de4f4 100644
--- a/src/pars/pla.cpp
+++ b/src/pars/pla.cpp
@@ -83,6 +83,7 @@ void define_pla(py::module& m) {
     py::class_<RegionModelChecker, std::shared_ptr<RegionModelChecker>> regionModelChecker(m, "RegionModelChecker", "Region model checker via paramater lifting");
     regionModelChecker.def("check_region", &checkRegion, "Check region", py::arg("environment"), py::arg("region"), py::arg("hypothesis") = storm::modelchecker::RegionResultHypothesis::Unknown, py::arg("initialResult") = storm::modelchecker::RegionResult::Unknown, py::arg("sampleVertices") = false)
         .def("get_bound", &getBoundAtInit, "Get bound", py::arg("environment"), py::arg("region"), py::arg("maximise")= true)
+        .def("get_split_suggestion", &RegionModelChecker::getRegionSplitEstimate, "Get estimate")
         .def("specify", &specify, "specify arguments",py::arg("environment"), py::arg("model"), py::arg("formula"), py::arg("generate_splitting_estimate") = false, py::arg("allow_model_simplification") = true);
     ;