From d9fe8be10cdf64229214f8d7292dea64ac6fd2ed Mon Sep 17 00:00:00 2001 From: Sebastian Junges Date: Fri, 24 Nov 2017 18:26:35 +0100 Subject: [PATCH] Add a comment about labels and initial states in parametric models, thanks Nils Jansen. --- doc/source/getting_started.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/source/getting_started.rst b/doc/source/getting_started.rst index 831cb4a..b577e11 100644 --- a/doc/source/getting_started.rst +++ b/doc/source/getting_started.rst @@ -150,6 +150,8 @@ Before we obtain an instantiated model, we need to map parameters to values: We >>> instantiated_model = instantiator.instantiate(point) >>> result = stormpy.model_checking(instantiated_model, properties[0]) +Initial states and labels are set as for the parameter-free case. + Checking parametric models ------------------------------------