made a start on the property builder widget

moves-rwth · Feb 25, 2025 · 093664c · 093664c
1 parent 45a19cc
commit 093664c
Show file tree

Hide file tree

Showing 8 changed files with 438 additions and 54 deletions.
diff --git a/docs/getting_started/04_mdp.ipynb b/docs/getting_started/04_mdp.ipynb
@@ -9,7 +9,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 1,
+      "execution_count": 14,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -19,16 +19,16 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 2,
+      "execution_count": 15,
       "metadata": {},
       "outputs": [
         {
           "data": {
             "text/plain": [
-              "<stormpy.storage.storage.PrismProgram at 0x7f7ad4385270>"
+              "<stormpy.storage.storage.PrismProgram at 0x7f5c83fa7770>"
             ]
           },
-          "execution_count": 2,
+          "execution_count": 15,
           "metadata": {},
           "output_type": "execute_result"
         }
@@ -132,7 +132,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 3,
+      "execution_count": 16,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -142,7 +142,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 4,
+      "execution_count": 17,
       "metadata": {},
       "outputs": [
         {
@@ -174,7 +174,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 5,
+      "execution_count": 18,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -183,7 +183,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 6,
+      "execution_count": 19,
       "metadata": {},
       "outputs": [],
       "source": [
@@ -192,7 +192,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 7,
+      "execution_count": 20,
       "metadata": {},
       "outputs": [
         {
@@ -209,7 +209,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 8,
+      "execution_count": 21,
       "metadata": {},
       "outputs": [
         {
@@ -239,7 +239,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 9,
+      "execution_count": 22,
       "metadata": {},
       "outputs": [
         {
@@ -261,7 +261,7 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 10,
+      "execution_count": 23,
       "metadata": {
         "scrolled": true
       },
@@ -274,15 +274,15 @@
     },
     {
       "cell_type": "code",
-      "execution_count": 11,
+      "execution_count": 24,
       "metadata": {
         "scrolled": true
       },
       "outputs": [
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "da5d1ffd4d864e61818cad4ba5aa84e2",
+              "model_id": "43744e33c53e49adb37d4f6f1854613b",
               "version_major": 2,
               "version_minor": 0
             },
@@ -293,44 +293,10 @@
           "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:8892', 'MRUCAmayGSiiBVtFKZLo', 'test message')"
-            ],
-            "text/plain": [
-              "<IPython.core.display.Javascript object>"
-            ]
-          },
-          "metadata": {},
-          "output_type": "display_data"
-        },
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "3d1ee93242b0442ab576e078585fbae1",
+              "model_id": "63e4fdcb620d4285abe0d4febd0eee22",
               "version_major": 2,
               "version_minor": 0
             },
@@ -344,7 +310,7 @@
         {
           "data": {
             "application/vnd.jupyter.widget-view+json": {
-              "model_id": "78d3ba8f89064fcd98b5eb5b9eb666ef",
+              "model_id": "69eacefaf7aa4630881ace29c28e879b",
               "version_major": 2,
               "version_minor": 0
             },