sp
/
tempestpy
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
Browse Source

Removed type in getting_started

refactoring
Matthias Volk 7 years ago
parent
12b934267e
commit
d78c86a746
1 changed files with 0 additions and 1 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 1
      doc/source/getting_started.rst

1
doc/source/getting_started.rst
View File

@ -139,7 +139,6 @@ In order to obtain a standard DTMC, MDP or other Markov model, we need to instan
>>> import stormpy.pars >>> import stormpy.pars
>>> instantiator = stormpy.pars.PDtmcInstantiator(model) >>> instantiator = stormpy.pars.PDtmcInstantiator(model)
>>> Fase
Before we obtain an instantiated model, we need to map parameters to values: We build such a dictionary as follows:: Before we obtain an instantiated model, we need to map parameters to values: We build such a dictionary as follows::

Write Preview
Loading…
Cancel
Save