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