save and embed

moves-rwth · Nov 10, 2024 · 51e1b17 · 51e1b17
1 parent a982dd1
commit 51e1b17
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 8 deletions.
diff --git a/docs/getting_started/model.html b/docs/getting_started/model.html
@@ -1,6 +1,6 @@
 
           <iframe
-                id="modelMWfHVKBFQh"
+                id="modelFXNGQLhClr"
                 width="820"
                 height="620"
                 frameborder="0"
@@ -30,9 +30,12 @@
         var nodes = new vis.DataSet([{ id: 0, label: `nijmegen`, group: &quot;states&quot; },
 { id: 1, label: `eindhoven`, group: &quot;states&quot; },
 { id: 2, label: `aachen`, group: &quot;states&quot; },
-{ id: 3, label: `saw nijmegen`, group: &quot;states&quot; },
-{ id: 4, label: `saw eindhoven`, group: &quot;states&quot; },
-{ id: 5, label: `saw aachen`, group: &quot;states&quot; },
+{ id: 3, label: `saw nijmegen
+ʘ 3`, group: &quot;states&quot; },
+{ id: 4, label: `saw eindhoven
+ʘ 4`, group: &quot;states&quot; },
+{ id: 5, label: `saw aachen
+ʘ 5`, group: &quot;states&quot; },
 { id: 10000000000, label: `walk`, group: &quot;actions&quot; },
 { id: 10000000001, label: `stay put`, group: &quot;actions&quot; },
 { id: 10000000002, label: `walk`, group: &quot;actions&quot; },
@@ -145,10 +148,13 @@
     &quot;fractions&quot;: true,
     &quot;digits&quot;: 5
   },
-  &quot;results_and_rewards&quot;: {
+  &quot;state_properties&quot;: {
     &quot;show_results&quot;: true,
-    &quot;resultSymbol&quot;: &quot;\u2606&quot;,
-    &quot;show_rewards&quot;: true
+    &quot;result_symbol&quot;: &quot;\u2606&quot;,
+    &quot;show_rewards&quot;: true,
+    &quot;reward_symbol&quot;: &quot;\u20ac&quot;,
+    &quot;show_observations&quot;: true,
+    &quot;observation_symbol&quot;: &quot;\u0298&quot;
   },
   &quot;layout&quot;: {
     &quot;randomSeed&quot;: 5

diff --git a/docs/getting_started/pomdp.ipynb b/docs/getting_started/pomdp.ipynb
@@ -120,7 +120,7 @@
         "for saw_city in saw_cities:\n",
         "    saw_city.set_observation(saw_city.id)\n",
         "\n",
-        "vis = show(pomdp, show_editor=True)"
+        "vis = show(pomdp, save_and_embed=True)"
       ]
     },
     {