Matthias Volk
4 years ago
No known key found for this signature in database
GPG Key ID: 83A57678F739FCD3
1 changed files with
1 additions and
1 deletions
-
lib/stormpy/__init__.py
|
|
@ -485,7 +485,7 @@ def parse_properties(properties, context=None, filters=None): |
|
|
if context.is_prism_program(): |
|
|
if context.is_prism_program(): |
|
|
return core.parse_properties_for_prism_program(properties, context.as_prism_program(), filters) |
|
|
return core.parse_properties_for_prism_program(properties, context.as_prism_program(), filters) |
|
|
else: |
|
|
else: |
|
|
core.parse_properties_for_prism_program(properties, context.as_jani_model(), filters) |
|
|
|
|
|
|
|
|
core.parse_properties_for_jani_program(properties, context.as_jani_model(), filters) |
|
|
elif type(context) == storage.PrismProgram: |
|
|
elif type(context) == storage.PrismProgram: |
|
|
return core.parse_properties_for_prism_program(properties, context, filters) |
|
|
return core.parse_properties_for_prism_program(properties, context, filters) |
|
|
elif type(context) == storage.JaniModel: |
|
|
elif type(context) == storage.JaniModel: |
|
|
|
