deploy: be8ec8b

koehlma · Jul 29, 2024 · c342c1b · c342c1b
1 parent 9f38021
commit c342c1b
Show file tree

Hide file tree

Showing 33 changed files with 27 additions and 27 deletions.
diff --git a/.doctrees/environment.pickle b/.doctrees/environment.pickle
diff --git a/.doctrees/examples/racetrack/model.doctree b/.doctrees/examples/racetrack/model.doctree
diff --git a/.doctrees/examples/racetrack/quickstart.doctree b/.doctrees/examples/racetrack/quickstart.doctree
diff --git a/.doctrees/guide/construction.doctree b/.doctrees/guide/construction.doctree
diff --git a/.doctrees/guide/exploration.doctree b/.doctrees/guide/exploration.doctree
diff --git a/.doctrees/gym/abstract.doctree b/.doctrees/gym/abstract.doctree
diff --git a/.doctrees/gym/generic.doctree b/.doctrees/gym/generic.doctree
diff --git a/.doctrees/gym/index.doctree b/.doctrees/gym/index.doctree
diff --git a/.doctrees/incubator/moml/macros.doctree b/.doctrees/incubator/moml/macros.doctree
diff --git a/.doctrees/reference/analysis.doctree b/.doctrees/reference/analysis.doctree
diff --git a/.doctrees/reference/engine.doctree b/.doctrees/reference/engine.doctree
diff --git a/.doctrees/reference/jani.doctree b/.doctrees/reference/jani.doctree
diff --git a/.doctrees/reference/model/actions.doctree b/.doctrees/reference/model/actions.doctree
diff --git a/.doctrees/reference/model/automata.doctree b/.doctrees/reference/model/automata.doctree
diff --git a/.doctrees/reference/model/context.doctree b/.doctrees/reference/model/context.doctree
diff --git a/.doctrees/reference/model/exceptions.doctree b/.doctrees/reference/model/exceptions.doctree
diff --git a/.doctrees/reference/model/expressions.doctree b/.doctrees/reference/model/expressions.doctree
diff --git a/.doctrees/reference/model/functions.doctree b/.doctrees/reference/model/functions.doctree
diff --git a/.doctrees/reference/model/networks.doctree b/.doctrees/reference/model/networks.doctree
diff --git a/.doctrees/reference/model/properties.doctree b/.doctrees/reference/model/properties.doctree
diff --git a/.doctrees/reference/model/types.doctree b/.doctrees/reference/model/types.doctree
diff --git a/.doctrees/tools/modest.doctree b/.doctrees/tools/modest.doctree
diff --git a/.doctrees/tools/storm.doctree b/.doctrees/tools/storm.doctree
diff --git a/_images/quickstart_6_0.svg b/_images/quickstart_6_0.svg
diff --git a/examples/racetrack/quickstart/index.html b/examples/racetrack/quickstart/index.html
diff --git a/guide/construction/index.html b/guide/construction/index.html
@@ -521,7 +521,7 @@ <h2>Modeling with Momba<a class="headerlink" href="#modeling-with-momba" title="
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.MDP at 0x7facc40e6c10&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.MDP at 0x7fd2c87fee50&gt;
 </pre></div>
 </div>
 </div>

diff --git a/guide/exploration/index.html b/guide/exploration/index.html
@@ -493,26 +493,26 @@ <h1>Model Exploration<a class="headerlink" href="#model-exploration" title="Link
 </div>
 <div class="cell_output docutils container">
 <div class="output stream highlight-none notranslate"><div class="highlight"><pre><span></span>Move: left
-  Probability: 0.4
-    Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(0)}
-    Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(False)}
   Probability: 0.6
     Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(-1)}
     Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(True)}
-Move: right
   Probability: 0.4
     Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(0)}
     Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(False)}
+Move: right
   Probability: 0.6
     Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(1)}
     Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(False)}
-Move: stay
   Probability: 0.4
     Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(0)}
     Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(False)}
+Move: stay
   Probability: 0.6
     Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(0)}
     Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(False)}
+  Probability: 0.4
+    Globals: {&#39;pos_x&#39;: Value(1), &#39;pos_y&#39;: Value(0)}
+    Locals: {&#39;has_won&#39;: Value(False), &#39;has_crashed&#39;: Value(False)}
 </pre></div>
 </div>
 </div>

diff --git a/reference/engine/index.html b/reference/engine/index.html
@@ -522,7 +522,7 @@ <h2>Example<a class="headerlink" href="#example" title="Link to this heading">#<
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.engine.explore.Explorer at 0x7f57d8291670&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.engine.explore.Explorer at 0x7ff2e8098910&gt;
 </pre></div>
 </div>
 </div>
@@ -634,11 +634,11 @@ <h2>Example<a class="headerlink" href="#example" title="Link to this heading">#<
 </div>
 <div class="cell_output docutils container">
 <div class="output stream highlight-none notranslate"><div class="highlight"><pre><span></span>Action: snd_idle12
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7f57d8030280&gt;.
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7f57d8030d30&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7ff2d8c980a0&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7ff2d8c98d30&gt;.
 Action: snd_idle21
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7f57d8030e20&gt;.
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7f57d8030dc0&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7ff2d8c98e20&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7ff2d8c98dc0&gt;.
 </pre></div>
 </div>
 </div>
@@ -658,19 +658,19 @@ <h2>Example<a class="headerlink" href="#example" title="Link to this heading">#<
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output stream highlight-none notranslate"><div class="highlight"><pre><span></span>Action: snd_idle12
+<div class="output stream highlight-none notranslate"><div class="highlight"><pre><span></span>Action: snd_idle21
 </pre></div>
 </div>
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>{&#39;w12&#39;: Value(5),
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>{&#39;w12&#39;: Value(0),
  &#39;y1&#39;: Value(0),
  &#39;y2&#39;: Value(0),
  &#39;x1&#39;: Value(0),
- &#39;s1&#39;: Value(2),
- &#39;w21&#39;: Value(0),
+ &#39;s1&#39;: Value(0),
+ &#39;w21&#39;: Value(5),
  &#39;z1&#39;: Value(0),
  &#39;z2&#39;: Value(0),
  &#39;x2&#39;: Value(0),
- &#39;s2&#39;: Value(0),
+ &#39;s2&#39;: Value(3),
  &#39;t&#39;: Value(0)}
 </pre></div>
 </div>

diff --git a/reference/jani/index.html b/reference/jani/index.html
@@ -487,7 +487,7 @@ <h3>Loading a JANI-Model<a class="headerlink" href="#loading-a-jani-model" title
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7eff7886abe0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7f708cdad1f0&gt;
 </pre></div>
 </div>
 </div>

diff --git a/reference/model/automata/index.html b/reference/model/automata/index.html
@@ -519,7 +519,7 @@ <h1>Automata<a class="headerlink" href="#automata" title="Link to this heading">
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Automaton name=&#39;environment&#39; at 0x7fb0b8eee3a0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Automaton name=&#39;environment&#39; at 0x7f34b855e790&gt;
 </pre></div>
 </div>
 </div>

diff --git a/reference/model/context/index.html b/reference/model/context/index.html
@@ -538,7 +538,7 @@ <h1>Context<a class="headerlink" href="#context" title="Link to this heading">#<
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.PTA at 0x7f2658ad0d00&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.PTA at 0x7f7a9cbef580&gt;
 </pre></div>
 </div>
 </div>

diff --git a/reference/model/networks/index.html b/reference/model/networks/index.html
@@ -463,7 +463,7 @@ <h1>Networks<a class="headerlink" href="#networks" title="Link to this heading">
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7fe41ce0b670&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7fba28a8ff70&gt;
 </pre></div>
 </div>
 </div>

diff --git a/searchindex.js b/searchindex.js