Merge pull request #126 from moves-rwth/122-stormpy-to-stormvogel-map…

…ping-assumes-state-0-is-the-initial-state 122 stormpy to stormvogel mapping assumes state 0 is the initial state
moves-rwth · Nov 3, 2024 · a315fab · a315fab
2 parents 9c34103 + f002709
commit a315fab
Show file tree

Hide file tree

Showing 7 changed files with 41 additions and 404 deletions.
diff --git a/docs/getting_started/die.html b/docs/getting_started/die.html
@@ -1,6 +1,6 @@
 
           <iframe
-                id="dieeQbbbtTbpv"
+                id="diezvSItfhbCB"
                 width="820"
                 height="620"
                 frameborder="0"

diff --git a/docs/getting_started/die.ipynb b/docs/getting_started/die.ipynb
@@ -9,7 +9,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 6,
+      "execution_count": 1,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -29,7 +29,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 7,
+      "execution_count": 2,
       "metadata": {
         "scrolled": true
       },
@@ -39,7 +39,7 @@
             "text/html": [
               "\n",
               "          <iframe\n",
-              "                id=\"dieeQbbbtTbpv\"\n",
+              "                id=\"diezvSItfhbCB\"\n",
               "                width=\"820\"\n",
               "                height=\"620\"\n",
               "                frameborder=\"0\"\n",
@@ -306,7 +306,7 @@
       "name": "python",
       "nbconvert_exporter": "python",
       "pygments_lexer": "ipython3",
-      "version": "3.11.2"
+      "version": "3.12.7"
     },
     "widgets": {
       "application/vnd.jupyter.widget-state+json": {