From a6712ba67252c98dee1385ba5673a6dc964ff018 Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Thu, 3 Aug 2017 11:34:58 +0200 Subject: [PATCH] 05 getting started should be 06 getting started --- ...{05-getting-started.py => 06-getting-started.py} | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) rename examples/{05-getting-started.py => 06-getting-started.py} (68%) diff --git a/examples/05-getting-started.py b/examples/06-getting-started.py similarity index 68% rename from examples/05-getting-started.py rename to examples/06-getting-started.py index 7b4c8ba..66481bb 100644 --- a/examples/05-getting-started.py +++ b/examples/06-getting-started.py @@ -1,19 +1,13 @@ import stormpy import stormpy.core -import stormpy.pars - -import pycarl -import pycarl.cln -import pycarl.core import stormpy.examples import stormpy.examples.files -def example_getting_started_05(): +def example_getting_started_06(): path = stormpy.examples.files.prism_dtmc_die prism_program = stormpy.parse_prism_program(path) - formula_str = "P=? [F s=7 & d=2]" properties = stormpy.parse_properties_for_prism_program(formula_str, prism_program) model = stormpy.build_model(prism_program, properties) @@ -21,9 +15,8 @@ def example_getting_started_05(): for state in model.states: for action in state.actions: for transition in action.transitions: - print("from {} with prob {} go to {}".format(state, transition.value(), transition.column)) - + print("From state {}, with probability {}, go to state {}".format(state, transition.value(), transition.column)) if __name__ == '__main__': - example_getting_started_05() \ No newline at end of file + example_getting_started_06() \ No newline at end of file