Skip to content

Commit 28aaa22

Browse files
YouGuessedMyNameYouGuessedMyName
committed
finished path highlighting
1 parent 44ec96d commit 28aaa22

File tree

8 files changed

+170
-254
lines changed

8 files changed

+170
-254
lines changed

‎docs/getting_started/05_simulator.ipynb

+21-21
Original file line numberDiff line numberDiff line change
@@ -115,7 +115,7 @@
115115
"text/html": [
116116
"\n",
117117
" <iframe\n",
118-
" id=\"modelLCsnCgyDWr\"\n",
118+
" id=\"modelzAeCEGQera\"\n",
119119
" width=\"949\"\n",
120120
" height=\"765\"\n",
121121
" frameborder=\"0\"\n",
@@ -888,7 +888,7 @@
888888
"text/html": [
889889
"\n",
890890
" <iframe\n",
891-
" id=\"modelnappwVoKaC\"\n",
891+
" id=\"modeleRXGoMGmcs\"\n",
892892
" width=\"595\"\n",
893893
" height=\"168\"\n",
894894
" frameborder=\"0\"\n",
@@ -919,11 +919,11 @@
919919
"{ id: 1, label: `carchosen`, group: &quot;states&quot;, x: -99, y: 2 },\n",
920920
"{ id: 2, label: `open`, group: &quot;states&quot;, x: 0, y: 0 },\n",
921921
"{ id: 3, label: `goatrevealed`, group: &quot;states&quot;, x: 94, y: -13 },\n",
922-
"{ id: 4, label: `done,target`, group: &quot;states&quot;, x: 204, y: 38 },\n",
922+
"{ id: 4, label: `done`, group: &quot;states&quot;, x: 204, y: 38 },\n",
923923
"]);\n",
924924
" var edges = new vis.DataSet([{ from: 0, to: 1, label: &quot;1/3&quot; },\n",
925925
"{ from: 1, to: 2, label: &quot;1&quot; },\n",
926-
"{ from: 2, to: 3, label: &quot;1&quot; },\n",
926+
"{ from: 2, to: 3, label: &quot;1/2&quot; },\n",
927927
"{ from: 3, to: 4, label: &quot;1&quot; },\n",
928928
"]);\n",
929929
" var options = {\n",
@@ -1184,7 +1184,7 @@
11841184
"text/html": [
11851185
"\n",
11861186
" <iframe\n",
1187-
" id=\"modelNcPogEUANZ\"\n",
1187+
" id=\"modelluQMqJHZfM\"\n",
11881188
" width=\"595\"\n",
11891189
" height=\"168\"\n",
11901190
" frameborder=\"0\"\n",
@@ -1472,7 +1472,7 @@
14721472
{
14731473
"data": {
14741474
"application/vnd.jupyter.widget-view+json": {
1475-
"model_id": "2d5b6491da8d46de825eed6ec12820e5",
1475+
"model_id": "48600dc0e3a34dac96a075d8bbc21d21",
14761476
"version_major": 2,
14771477
"version_minor": 0
14781478
},
@@ -1508,7 +1508,7 @@
15081508
{
15091509
"data": {
15101510
"application/javascript": [
1511-
"return_id_result('http://127.0.0.1:8890', 'GToeUCHkOqfmHIbLORPi', 'test message')"
1511+
"return_id_result('http://127.0.0.1:8889', 'fAaJxLNMdTbcuijUFJyI', 'test message')"
15121512
],
15131513
"text/plain": [
15141514
"<IPython.core.display.Javascript object>"
@@ -1520,7 +1520,7 @@
15201520
{
15211521
"data": {
15221522
"application/vnd.jupyter.widget-view+json": {
1523-
"model_id": "8ccad3e9eb194129a5b66944cc5d4aeb",
1523+
"model_id": "a2ca32f1ee4e44fbaa8d64150270866f",
15241524
"version_major": 2,
15251525
"version_minor": 0
15261526
},
@@ -1534,7 +1534,7 @@
15341534
{
15351535
"data": {
15361536
"application/vnd.jupyter.widget-view+json": {
1537-
"model_id": "0600ab4691e14ce1bcc01ed4e8da232f",
1537+
"model_id": "276a2a46f9b949e2b3f017c18efa5da1",
15381538
"version_major": 2,
15391539
"version_minor": 0
15401540
},
@@ -1548,7 +1548,7 @@
15481548
{
15491549
"data": {
15501550
"application/vnd.jupyter.widget-view+json": {
1551-
"model_id": "965786b1673b4d43ad256a459c8bb0dd",
1551+
"model_id": "46d34bd342104b469ba2a6dff405e198",
15521552
"version_major": 2,
15531553
"version_minor": 0
15541554
},
@@ -1612,7 +1612,7 @@
16121612
"text/html": [
16131613
"\n",
16141614
" <iframe\n",
1615-
" id=\"modelqOJGOxZDCY\"\n",
1615+
" id=\"modelKBzgNMSTBK\"\n",
16161616
" width=\"949\"\n",
16171617
" height=\"765\"\n",
16181618
" frameborder=\"0\"\n",
@@ -2366,21 +2366,21 @@
23662366
},
23672367
{
23682368
"cell_type": "code",
2369-
"execution_count": 9,
2369+
"execution_count": 11,
23702370
"id": "0f6fe7f4-cc9e-4c1d-9850-3799ca47a903",
23712371
"metadata": {},
23722372
"outputs": [],
23732373
"source": [
2374-
"sleep(1) # Wait before the visualization is properly loaded.\n",
2375-
"def sleep2():\n",
2376-
" sleep(2)\n",
2377-
"vis.highlight_path(path, \"pink\")\n",
2378-
"vis.highlight_path(path, \"red\", sleep2)\n",
2379-
"# for state in path:\n",
2380-
"# vis.highlight_state(state, color=\"red\")\n",
2381-
"# sleep(1)\n",
2382-
"# # TODO should crash"
2374+
"vis.highlight_path(path, \"red\", 1, clear=True)"
23832375
]
2376+
},
2377+
{
2378+
"cell_type": "code",
2379+
"execution_count": null,
2380+
"id": "804fcd5b-352c-4962-801b-221ed7aaacfc",
2381+
"metadata": {},
2382+
"outputs": [],
2383+
"source": []
23842384
}
23852385
],
23862386
"metadata": {

‎docs/getting_started/08_pomdp-maze.ipynb

+1-1
Original file line numberDiff line numberDiff line change
@@ -827,7 +827,7 @@
827827
"name": "python",
828828
"nbconvert_exporter": "python",
829829
"pygments_lexer": "ipython3",
830-
"version": "3.12.7"
830+
"version": "3.12.3"
831831
}
832832
},
833833
"nbformat": 4,

‎docs/getting_started/model.html

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11

22
<iframe
3-
id="modelqOJGOxZDCY"
3+
id="modelKBzgNMSTBK"
44
width="949"
55
height="765"
66
frameborder="0"

‎docs/introduction/2-1-Building-dtmcs.ipynb

+1-1
Original file line numberDiff line numberDiff line change
@@ -682,7 +682,7 @@
682682
"module die\n",
683683
"\t// The integers 0..7 represent our states, and 0 is the initial state.\n",
684684
"\ts : [0..7] init 0;\n",
685-
" // From s=0, we can go to 1,2,3,4,5,6 with 1/6th probability.ht\n",
685+
" // From s=0, we can go to 1,2,3,4,5,6 with 1/6th probability.\n",
686686
" // The + sign can be interpreted as an 'or'\n",
687687
" // Note that this is similar to our delta function.\n",
688688
" [] s=0 -> 1/6 : (s'=1) + \n",

0 commit comments

Comments
 (0)