|
@ -20,7 +20,7 @@ Examining Shortest Paths |
|
|
|
|
|
|
|
|
.. seealso:: `07-shortest-paths.py <https://github.com/moves-rwth/stormpy/blob/master/examples/shortest_paths/01-shortest-paths.py>`_ |
|
|
.. seealso:: `07-shortest-paths.py <https://github.com/moves-rwth/stormpy/blob/master/examples/shortest_paths/01-shortest-paths.py>`_ |
|
|
|
|
|
|
|
|
As in :doc:`getting_started`, we import some required modules and build a model from the example files:: |
|
|
|
|
|
|
|
|
As in :doc:`../getting_started`, we import some required modules and build a model from the example files:: |
|
|
|
|
|
|
|
|
>>> import stormpy.examples |
|
|
>>> import stormpy.examples |
|
|
>>> import stormpy.examples.files |
|
|
>>> import stormpy.examples.files |
|
|