temporary examples package problem fix

moves-rwth · Oct 31, 2024 · fb7ae15 · fb7ae15
1 parent 62f4d42
commit fb7ae15
Show file tree

Hide file tree

Showing 7 changed files with 309 additions and 144 deletions.
diff --git a/Untitled.ipynb b/Untitled.ipynb
@@ -0,0 +1,43 @@
+{
+  "cells": [
+    {
+      "cell_type": "code",
+      "execution_count": 1,
+      "id": "c4d32ada-47ed-412e-95dd-3f16880fa568",
+      "metadata": {},
+      "outputs": [],
+      "source": [
+        "import examples"
+      ]
+    },
+    {
+      "cell_type": "code",
+      "execution_count": null,
+      "id": "1935eab3-9731-4cd3-9fde-cbd22a25eea3",
+      "metadata": {},
+      "outputs": [],
+      "source": []
+    }
+  ],
+  "metadata": {
+    "kernelspec": {
+      "display_name": "Python 3 (ipykernel)",
+      "language": "python",
+      "name": "python3"
+    },
+    "language_info": {
+      "codemirror_mode": {
+        "name": "ipython",
+        "version": 3
+      },
+      "file_extension": ".py",
+      "mimetype": "text/x-python",
+      "name": "python",
+      "nbconvert_exporter": "python",
+      "pygments_lexer": "ipython3",
+      "version": "3.12.7"
+    }
+  },
+  "nbformat": 4,
+  "nbformat_minor": 5
+}
diff --git a/docs/getting_started/die.ipynb b/docs/getting_started/die.ipynb
@@ -11,13 +11,27 @@
       "cell_type": "code",
       "execution_count": 1,
       "metadata": {},
-      "outputs": [],
+      "outputs": [
+        {
+          "ename": "ModuleNotFoundError",
+          "evalue": "No module named 'examples'",
+          "output_type": "error",
+          "traceback": [
+            "\u001b[0;31m---------------------------------------------------------------------------\u001b[0m",
+            "\u001b[0;31mModuleNotFoundError\u001b[0m                       Traceback (most recent call last)",
+            "Cell \u001b[0;32mIn[1], line 7\u001b[0m\n\u001b[1;32m      4\u001b[0m \u001b[38;5;28;01mimport\u001b[39;00m \u001b[38;5;21;01mstormvogel\u001b[39;00m\u001b[38;5;21;01m.\u001b[39;00m\u001b[38;5;21;01mmapping\u001b[39;00m\n\u001b[1;32m      5\u001b[0m \u001b[38;5;28;01mimport\u001b[39;00m \u001b[38;5;21;01mstormpy\u001b[39;00m\n\u001b[0;32m----> 7\u001b[0m \u001b[38;5;28;01mimport\u001b[39;00m \u001b[38;5;21;01mexamples\u001b[39;00m\u001b[38;5;21;01m.\u001b[39;00m\u001b[38;5;21;01mdie\u001b[39;00m\n",
+            "\u001b[0;31mModuleNotFoundError\u001b[0m: No module named 'examples'"
+          ]
+        }
+      ],
       "source": [
         "import stormvogel.model\n",
         "import stormvogel.visualization\n",
         "import stormvogel.show\n",
         "import stormvogel.mapping\n",
-        "import stormpy"
+        "import stormpy\n",
+        "\n",
+        "import examples.die"
       ]
     },
     {
@@ -29,15 +43,15 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 2,
+      "execution_count": 3,
       "metadata": {
         "scrolled": true
       },
       "outputs": [
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "6aa5be91a6a041c39340ffa6390225b5",
+              "model_id": "d1eded56d0fa4392b74b8b8fad251b65",
               "version_major": 2,
               "version_minor": 0
             },
@@ -48,22 +62,10 @@
           "metadata": {},
           "output_type": "display_data"
         },
-        {
-          "data": {
-            "text/html": [
-              "<script>fetch('http://127.0.0.1:8889/vdmSGnqtnu/MESSAGE/' + 'test message')</script>"
-            ],
-            "text/plain": [
-              "<IPython.core.display.HTML object>"
-            ]
-          },
-          "metadata": {},
-          "output_type": "display_data"
-        },
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "7c32b09fa7ad42ddb62483aa1b038354",
+              "model_id": "67aac6234dfa4131b012378ba3e0e8ce",
               "version_major": 2,
               "version_minor": 0
             },
@@ -123,9 +125,9 @@
   ],
   "metadata": {
     "kernelspec": {
-      "display_name": "Python (stormvogel)",
+      "display_name": "stormvogel",
       "language": "python",
-      "name": "stormvogel-env"
+      "name": "stormvogel"
     },
     "language_info": {
       "codemirror_mode": {

diff --git a/docs/getting_started/mdp.ipynb b/docs/getting_started/mdp.ipynb
@@ -18,7 +18,7 @@
         {
           "data": {
             "text/plain": [
-              "<stormpy.storage.storage.PrismProgram at 0x7f6d6ab2c2f0>"
+              "<stormpy.storage.storage.PrismProgram at 0x7f1ad82f20f0>"
             ]
           },
           "execution_count": 2,
@@ -125,7 +125,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 16,
+      "execution_count": 3,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -135,7 +135,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 17,
+      "execution_count": 4,
       "metadata": {},
       "outputs": [
         {
@@ -167,7 +167,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 18,
+      "execution_count": 5,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -176,7 +176,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 19,
+      "execution_count": 6,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -185,7 +185,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 20,
+      "execution_count": 7,
       "metadata": {},
       "outputs": [
         {
@@ -202,7 +202,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 21,
+      "execution_count": 8,
       "metadata": {},
       "outputs": [
         {
@@ -232,7 +232,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 22,
+      "execution_count": 9,
       "metadata": {},
       "outputs": [
         {
@@ -254,7 +254,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 23,
+      "execution_count": 10,
       "metadata": {
         "scrolled": true
       },
@@ -267,20 +267,58 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 24,
+      "execution_count": 11,
       "metadata": {
         "scrolled": true
       },
       "outputs": [
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "bccaeb3962e24a84a838417dd4210d04",
+              "model_id": "997d4600f467461ea1373a3ada686982",
               "version_major": 2,
               "version_minor": 0
             },
             "text/plain": [
-              "Output(outputs=({'output_type': 'display_data', 'data': {'text/plain': '<IPython.core.display.HTML object>', '\u2026"
+              "Output()"
+            ]
+          },
+          "metadata": {},
+          "output_type": "display_data"
+        },
+        {
+          "data": {
+            "text/html": [
+              "<script>fetch('http://127.0.0.1:8889/GqsIRIDxdP/MESSAGE/' + 'test message')</script>"
+            ],
+            "text/plain": [
+              "<IPython.core.display.HTML object>"
+            ]
+          },
+          "metadata": {},
+          "output_type": "display_data"
+        },
+        {
+          "data": {
+            "text/html": [
+              "<script>fetch('http://127.0.0.1:8889/GqsIRIDxdP/MESSAGE/' + 'test message')</script>"
+            ],
+            "text/plain": [
+              "<IPython.core.display.HTML object>"
+            ]
+          },
+          "metadata": {},
+          "output_type": "display_data"
+        },
+        {
+          "data": {
+            "application/vnd.jupyter.widget-view+json": {
+              "model_id": "f45b2ef528d34e9fadcd1202511779a3",
+              "version_major": 2,
+              "version_minor": 0
+            },
+            "text/plain": [
+              "HBox(children=(Output(), Output()))"
             ]
           },
           "metadata": {},
@@ -310,12 +348,26 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "bccaeb3962e24a84a838417dd4210d04",
+              "model_id": "28051486259a4ca8852934d34a5b64ce",
+              "version_major": 2,
+              "version_minor": 0
+            },
+            "text/plain": [
+              "Output()"
+            ]
+          },
+          "metadata": {},
+          "output_type": "display_data"
+        },
+        {
+          "data": {
+            "application/vnd.jupyter.widget-view+json": {
+              "model_id": "913f91028e9443b6822c19813374c072",
               "version_major": 2,
               "version_minor": 0
             },
             "text/plain": [
-              "Output(outputs=({'output_type': 'display_data', 'data': {'text/plain': '<IPython.core.display.HTML object>', '\u2026"
+              "HBox(children=(Output(), Output()))"
             ]
           },
           "metadata": {},