From 70ddde905f0c58f40d464326143cbb4a011b3ad5 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 4 Apr 2017 18:01:33 +0200
Subject: [PATCH] Renaming to PLAChecker

---
 src/core/pla.cpp       | 2 +-
 tests/core/test_pla.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/core/pla.cpp b/src/core/pla.cpp
index 7124427..a679deb 100644
--- a/src/core/pla.cpp
+++ b/src/core/pla.cpp
@@ -16,7 +16,7 @@ storm::modelchecker::parametric::RegionCheckResult checkRegion(std::shared_ptr<P
 void define_pla(py::module& m) {
     
     // PLAChecker
-    py::class_<PLAChecker, std::shared_ptr<PLAChecker>>(m, "SparseDtmcRegionModelChecker", "Region model checker for sparse DTMCs")
+    py::class_<PLAChecker, std::shared_ptr<PLAChecker>>(m, "PLAChecker", "Region model checker for sparse DTMCs")
         .def("__init__", [](PLAChecker& instance, std::shared_ptr<storm::models::sparse::Dtmc<storm::RationalFunction>> model) -> void {
                 new (&instance) PLAChecker(*model);
             })
diff --git a/tests/core/test_pla.py b/tests/core/test_pla.py
index 2884b1a..03fa2bb 100644
--- a/tests/core/test_pla.py
+++ b/tests/core/test_pla.py
@@ -13,7 +13,7 @@ class TestModelChecking:
         assert model.nr_transitions == 803
         assert model.model_type == stormpy.ModelType.DTMC
         assert model.has_parameters
-        checker = stormpy.SparseDtmcRegionModelChecker(model)
+        checker = stormpy.PLAChecker(model)
         checker.specify_formula(formulas[0].raw_formula)
         parameters = model.collect_probability_parameters()
         assert len(parameters) == 2