deploy: c3e9d3a

koehlma · Jul 30, 2024 · 834bdcb · 834bdcb
1 parent 450ead2
commit 834bdcb
Show file tree

Hide file tree

Showing 35 changed files with 24 additions and 24 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 0x7f7594bfd3a0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.MDP at 0x7fd37ca6dee0&gt;
 </pre></div>
 </div>
 </div>

diff --git a/guide/exploration/index.html b/guide/exploration/index.html
@@ -493,12 +493,12 @@ <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.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)}
   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)}
@@ -507,10 +507,10 @@ <h1>Model Exploration<a class="headerlink" href="#model-exploration" title="Link
     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.6
+  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.4
+  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)}
 </pre></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 0x7fd57c2d17f0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.engine.explore.Explorer at 0x7eff20c51d90&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 0x7fd574f11a00&gt;.
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fd574f111f0&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7eff208cf5e0&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7eff208cf250&gt;.
 Action: snd_idle21
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fd574f11670&gt;.
-  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7fd574f11d60&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7eff208cff10&gt;.
+  With p=0.5 to &lt;momba.engine.explore.Destination object at 0x7eff208cf490&gt;.
 </pre></div>
 </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 0x7f9b80429550&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7fb6745a1eb0&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 0x7f31888308b0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Automaton name=&#39;environment&#39; at 0x7f3a5c364fd0&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 0x7fb7904afdc0&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;Context model_type=ModelType.PTA at 0x7f935cc11ca0&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 0x7feaec0af580&gt;
+<div class="output text_plain highlight-none notranslate"><div class="highlight"><pre><span></span>&lt;momba.model.networks.Network at 0x7f509851c580&gt;
 </pre></div>
 </div>
 </div>

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