working fast explore

moves-rwth · Feb 4, 2025 · 056b45e · 056b45e
1 parent e2ade55
commit 056b45e
Show file tree

Hide file tree

Showing 3 changed files with 133 additions and 1,225 deletions.
diff --git a/docs/getting_started/04_mdp.ipynb b/docs/getting_started/04_mdp.ipynb
@@ -25,7 +25,7 @@
         {
           "data": {
             "text/plain": [
-              "<stormpy.storage.storage.PrismProgram at 0x794ab53f6bf0>"
+              "<stormpy.storage.storage.PrismProgram at 0x750cd81a2d70>"
             ]
           },
           "execution_count": 2,
@@ -274,15 +274,15 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 14,
+      "execution_count": 11,
       "metadata": {
         "scrolled": true
       },
       "outputs": [
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "070c8e8b2379499297b368b91977b11c",
+              "model_id": "3f654d1cb30b46d7aa36c6dfdce6e6cb",
               "version_major": 2,
               "version_minor": 0
             },
@@ -293,10 +293,44 @@
           "metadata": {},
           "output_type": "display_data"
         },
+        {
+          "data": {
+            "text/html": [
+              "<script>\n",
+              "function return_id_result(url, id, data) {\n",
+              "        fetch(url, {\n",
+              "            method: 'POST',\n",
+              "            body: JSON.stringify({\n",
+              "                'id': id,\n",
+              "                'data': data\n",
+              "            })\n",
+              "        })\n",
+              "    }\n",
+              "</script>"
+            ],
+            "text/plain": [
+              "<IPython.core.display.HTML object>"
+            ]
+          },
+          "metadata": {},
+          "output_type": "display_data"
+        },
+        {
+          "data": {
+            "application/javascript": [
+              "return_id_result('http://127.0.0.1:8889', 'TztzdYqYbmeZykfstESe', 'test message')"
+            ],
+            "text/plain": [
+              "<IPython.core.display.Javascript object>"
+            ]
+          },
+          "metadata": {},
+          "output_type": "display_data"
+        },
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "cfbba5b19efd4f048a854dee070b0458",
+              "model_id": "3f441d3fc7764792a27da29124d9fd0a",
               "version_major": 2,
               "version_minor": 0
             },
@@ -310,7 +344,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "647715b54eef48f180a724a55259aefc",
+              "model_id": "6c21f529dfe546cf9d1b6c7c74a222b3",
               "version_major": 2,
               "version_minor": 0
             },
@@ -346,6 +380,13 @@
         "# vis2 = show.show(induced_dtmc, layout=stormvogel.layout.EXPLORE(), show_editor=False, save_and_embed=True)"
       ]
     },
+    {
+      "cell_type": "code",
+      "execution_count": null,
+      "metadata": {},
+      "outputs": [],
+      "source": []
+    },
     {
       "cell_type": "code",
       "execution_count": null,