From 5aab3cbe3e8979d6141e61145af9176f43e03ac2 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 29 Nov 2018 11:37:15 +0100 Subject: [PATCH] support for properties and raw formulae in symbolic model creation --- lib/stormpy/__init__.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/stormpy/__init__.py b/lib/stormpy/__init__.py index fa6fabe..0f81f35 100644 --- a/lib/stormpy/__init__.py +++ b/lib/stormpy/__init__.py @@ -163,7 +163,7 @@ def build_symbolic_model(symbolic_description, properties=None): raise StormError("Program still contains undefined constants") if properties: - formulae = [prop.raw_formula for prop in properties] + formulae = [(prop.raw_formula if isinstance(prop, Property) else prop) for prop in properties] intermediate = core._build_symbolic_model_from_symbolic_description(symbolic_description, formulae) else: intermediate = core._build_symbolic_model_from_symbolic_description(symbolic_description) @@ -182,7 +182,7 @@ def build_symbolic_parametric_model(symbolic_description, properties=None): raise StormError("Program still contains undefined constants") if properties: - formulae = [prop.raw_formula for prop in properties] + formulae = [(prop.raw_formula if isinstance(property, Property) else prop) for prop in properties] intermediate = core._build_symbolic_parametric_model_from_symbolic_description(symbolic_description, formulae) else: intermediate = core._build_symbolic_parametric_model_from_symbolic_description(symbolic_description)