deploy: b7c7447

koehlma · Jul 30, 2024 · 5a10516 · 5a10516
1 parent c342c1b
commit 5a10516
Show file tree

Hide file tree

Showing 35 changed files with 29 additions and 29 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/analysis.doctree b/.doctrees/guide/analysis.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/analysis/index.html b/guide/analysis/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 0x7fd2c87fee50&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.MDP at 0x7f142831f8b0&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 0x7ff2e8098910&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.engine.explore.Explorer at 0x7fb2e0eadd30&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 0x7ff2d8c980a0&gt;.
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7ff2d8c98d30&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fb2e0b1e130&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fb2e0b1e250&gt;.
 Action: snd_idle21
-  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;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fb2e0b1eee0&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fb2e0b1e100&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_idle21
+<div class="output stream highlight-none notranslate"><div class="highlight"><pre><span></span>Action: snd_idle12
 </pre></div>
 </div>
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>{&#39;w12&#39;: Value(0),
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>{&#39;w12&#39;: Value(5),
  &#39;y1&#39;: Value(0),
  &#39;y2&#39;: Value(0),
  &#39;x1&#39;: Value(0),
- &#39;s1&#39;: Value(0),
- &#39;w21&#39;: Value(5),
+ &#39;s1&#39;: Value(3),
+ &#39;w21&#39;: Value(0),
  &#39;z1&#39;: Value(0),
  &#39;z2&#39;: Value(0),
  &#39;x2&#39;: Value(0),
- &#39;s2&#39;: Value(3),
+ &#39;s2&#39;: Value(0),
  &#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 0x7f708cdad1f0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7f79b055d850&gt;
 </pre></div>
 </div>
 </div>
@@ -509,7 +509,7 @@ <h3>Exporting a JANI-Model<a class="headerlink" href="#exporting-a-jani-model" t
 </div>
 </div>
 <div class="cell_output docutils container">
-<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&#39;{&quot;jani-version&quot;: 1, &quot;x-generator&quot;: &quot;Momba (v0.6.10)&quot;, &quot;x-momba-release&quot;: &quot;0.6.10&quot;, &quot;name&quot;: &quot;A Momba Model&quot;, &quot;x-momba-anonymous&quot;: true, &quot;metadata&quot;: {}, &quot;x-momba-metadata&quot;: {}, &quot;type&quot;: &quot;mdp&quot;, &quot;variables&quot;: [], &quot;constants&quot;: [], &quot;actions&quot;: [], &quot;automata&quot;: [], &quot;properties&quot;: [], &quot;system&quot;: {&quot;elements&quot;: [], &quot;syncs&quot;: []}, &quot;features&quot;: []}&#39;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&#39;{&quot;jani-version&quot;: 1, &quot;x-generator&quot;: &quot;Momba (v0.6.11)&quot;, &quot;x-momba-release&quot;: &quot;0.6.11&quot;, &quot;name&quot;: &quot;A Momba Model&quot;, &quot;x-momba-anonymous&quot;: true, &quot;metadata&quot;: {}, &quot;x-momba-metadata&quot;: {}, &quot;type&quot;: &quot;mdp&quot;, &quot;variables&quot;: [], &quot;constants&quot;: [], &quot;actions&quot;: [], &quot;automata&quot;: [], &quot;properties&quot;: [], &quot;system&quot;: {&quot;elements&quot;: [], &quot;syncs&quot;: []}, &quot;features&quot;: []}&#39;
 </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 0x7f34b855e790&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Automaton name=&#39;environment&#39; at 0x7f4164b91df0&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 0x7f7a9cbef580&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.PTA at 0x7f2da4fcd610&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 0x7fba28a8ff70&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7fa0b8b316a0&gt;
 </pre></div>
 </div>
 </div>

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