Browse Source

support for properties and raw formulae in symbolic model creation

refactoring
Sebastian Junges 6 years ago
parent
commit
5aab3cbe3e
  1. 4
      lib/stormpy/__init__.py

4
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)

Loading…
Cancel
Save