From f06bd48dfb8ee153b1b696615543adc94b632d6e Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 12 Jan 2017 23:26:56 +0100
Subject: [PATCH] model checking and bisim adapted to properties
---
lib/stormpy/__init__.py | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py
index a594a56..1cb559d 100644
--- a/lib/stormpy/__init__.py
+++ b/lib/stormpy/__init__.py
@@ -35,14 +35,14 @@ def build_parametric_model(program, properties = None):
else:
raise RuntimeError("Not supported parametric model constructed")
-def perform_bisimulation(model, formula, bisimulation_type):
+def perform_bisimulation(model, property, bisimulation_type):
if model.supports_parameters:
- return core._perform_parametric_bisimulation(model, formula, bisimulation_type)
+ return core._perform_parametric_bisimulation(model, property.raw_formula, bisimulation_type)
else:
- return core._perform_bisimulation(model, formula, bisimulation_type)
+ return core._perform_bisimulation(model, property.raw_formula, bisimulation_type)
-def model_checking(model, formula):
+def model_checking(model, property):
if model.supports_parameters:
- return core._parametric_model_checking(model, formula)
+ return core._parametric_model_checking(model, property.raw_formula)
else:
- return core._model_checking(model, formula)
+ return core._model_checking(model, property.raw_formula)