Merge pull request #174 from moves-rwth/several-visualization-features

Several visualization features
moves-rwth · Jan 4, 2025 · 0bb55a8 · 0bb55a8
2 parents bfdd07c + ddbc648
commit 0bb55a8
Show file tree

Hide file tree

Showing 30 changed files with 1,775 additions and 2,591 deletions.
diff --git a/docs/getting_started/00_die.ipynb b/docs/getting_started/00_die.ipynb
@@ -39,7 +39,7 @@
             "text/html": [
               "\n",
               "          <iframe\n",
-              "                id=\"diezUizNokJOt\"\n",
+              "                id=\"diehpOPtbbKyg\"\n",
               "                width=\"820\"\n",
               "                height=\"620\"\n",
               "                frameborder=\"0\"\n",
@@ -274,7 +274,7 @@
         "parent_logger.setLevel(logging.DEBUG)\n",
         "debug = widgets.Output()\n",
         "\n",
-        "vis = stormvogel.show.show(dtmc, debug_output=debug, save_and_embed=True, name=\"die\")"
+        "vis = stormvogel.show.show(dtmc, debug_output=debug, show_editor=False, name=\"die\")"
       ]
     },
     {
@@ -315,6 +315,13 @@
         "labels = [s.labels[0] for s in dtmc.get_states().values()]\n",
         "stormvogel.lib.display_value_iteration_result(result, 5, labels)"
       ]
+    },
+    {
+      "cell_type": "code",
+      "execution_count": null,
+      "metadata": {},
+      "outputs": [],
+      "source": []
     }
   ],
   "metadata": {
@@ -333,7 +340,7 @@
       "name": "python",
       "nbconvert_exporter": "python",
       "pygments_lexer": "ipython3",
-      "version": "3.12.6"
+      "version": "3.12.3"
     },
     "widgets": {
       "application/vnd.jupyter.widget-state+json": {