From cb9145ca6a783e412aa70522c3048c79b3eeab6a Mon Sep 17 00:00:00 2001 From: sjunges Date: Tue, 19 Dec 2017 08:56:55 +0100 Subject: [PATCH] example --- .../highlevel_models/01-highlevel-models.py | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 examples/highlevel_models/01-highlevel-models.py diff --git a/examples/highlevel_models/01-highlevel-models.py b/examples/highlevel_models/01-highlevel-models.py new file mode 100644 index 0000000..46e2f41 --- /dev/null +++ b/examples/highlevel_models/01-highlevel-models.py @@ -0,0 +1,17 @@ +import stormpy +import stormpy.core + +import stormpy.examples +import stormpy.examples.files + + +def example_highlevel_models(): + path = stormpy.examples.files.prism_pdtmc_die + prism_program = stormpy.parse_prism_program(path) + for c in prism_program.constants: + print("constant {} with type {} is {} defined".format(c.name, c.type, "" if c.defined else "not")) + + + +if __name__ == '__main__': + example_highlevel_models() \ No newline at end of file