From c076609c34ec2608f396e2f5b53c10e371ad2a0d Mon Sep 17 00:00:00 2001 From: hannah Date: Fri, 24 Apr 2020 15:33:56 +0200 Subject: [PATCH] small correction in gspn doc --- doc/source/doc/gspns.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/source/doc/gspns.rst b/doc/source/doc/gspns.rst index 9094432..740db79 100644 --- a/doc/source/doc/gspns.rst +++ b/doc/source/doc/gspns.rst @@ -43,9 +43,10 @@ In the following, we describe how to construct GSPNs via the GSPNBuilder. First, we create an instance of the GSPNBuilder and set the name of the GSPN:: >>> builder = stormpy.gspn.GSPNBuilder() - >>> builder.set_name("gspn") + >>> builder.set_name("my_gspn") -In the next step, we add an immediate transition to the GSPN. Additionally, we define the position of the transition by setting its layout information:: +In the next step, we add an immediate transition to the GSPN. +Additionally, we define the position of the transition by setting its layout information:: >>> it_1 = builder.add_immediate_transition(1, 0.0, "it_1") >>> it_layout = stormpy.gspn.LayoutInfo(1.5, 2.0) @@ -79,8 +80,7 @@ We can now build the GSPN:: >>> gspn = builder.build_gspn() After building, we can export the GSPN. -GSPNs can be saved in the PNPRO format via ``export_gspn_pnpro_file(path)`` -and in the PNML format via ``export_gspn_pnml_file(path)``. +GSPNs can be saved in the PNPRO format via ``export_gspn_pnpro_file(path)`` and in the PNML format via ``export_gspn_pnml_file(path)``. We export the GSPN into the PNPRO format:: >>> export_path = stormpy.examples.files.gspn_pnpro_simple