deploy: 65d1ae1

moves-rwth · Aug 19, 2024 · cb14393 · cb14393
1 parent 27f7fbf
commit cb14393
Show file tree

Hide file tree

Showing 50 changed files with 2,168 additions and 1,235 deletions.
diff --git a/advanced_topics.html b/advanced_topics.html
@@ -687,7 +687,8 @@
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.FailableIterator"><code class="docutils literal notranslate"><span class="pre">FailableIterator</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.RandomGenerator"><code class="docutils literal notranslate"><span class="pre">RandomGenerator</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.RelevantEvents"><code class="docutils literal notranslate"><span class="pre">RelevantEvents</span></code></a></li>
-<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationResult"><code class="docutils literal notranslate"><span class="pre">SimulationResult</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationStepResult"><code class="docutils literal notranslate"><span class="pre">SimulationStepResult</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationTraceResult"><code class="docutils literal notranslate"><span class="pre">SimulationTraceResult</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.analyze_dft"><code class="docutils literal notranslate"><span class="pre">analyze_dft()</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.build_model"><code class="docutils literal notranslate"><span class="pre">build_model()</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.compute_dependency_conflicts"><code class="docutils literal notranslate"><span class="pre">compute_dependency_conflicts()</span></code></a></li>
@@ -936,7 +937,7 @@ <h1>Advanced Examples<a class="headerlink" href="#advanced-examples" title="Link
     </p>
     <p>
         &copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
-      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
+      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 8.0.2.<br/>
     </p>
   </div>
 </footer>

diff --git a/api.html b/api.html
@@ -683,7 +683,8 @@
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.FailableIterator"><code class="docutils literal notranslate"><span class="pre">FailableIterator</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.RandomGenerator"><code class="docutils literal notranslate"><span class="pre">RandomGenerator</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.RelevantEvents"><code class="docutils literal notranslate"><span class="pre">RelevantEvents</span></code></a></li>
-<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationResult"><code class="docutils literal notranslate"><span class="pre">SimulationResult</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationStepResult"><code class="docutils literal notranslate"><span class="pre">SimulationStepResult</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationTraceResult"><code class="docutils literal notranslate"><span class="pre">SimulationTraceResult</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.analyze_dft"><code class="docutils literal notranslate"><span class="pre">analyze_dft()</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.build_model"><code class="docutils literal notranslate"><span class="pre">build_model()</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.compute_dependency_conflicts"><code class="docutils literal notranslate"><span class="pre">compute_dependency_conflicts()</span></code></a></li>
@@ -1345,7 +1346,8 @@ <h1>Stormpy API Reference<a class="headerlink" href="#stormpy-api-reference" tit
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.FailableIterator"><code class="docutils literal notranslate"><span class="pre">FailableIterator</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.RandomGenerator"><code class="docutils literal notranslate"><span class="pre">RandomGenerator</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.RelevantEvents"><code class="docutils literal notranslate"><span class="pre">RelevantEvents</span></code></a></li>
-<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationResult"><code class="docutils literal notranslate"><span class="pre">SimulationResult</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationStepResult"><code class="docutils literal notranslate"><span class="pre">SimulationStepResult</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.SimulationTraceResult"><code class="docutils literal notranslate"><span class="pre">SimulationTraceResult</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.analyze_dft"><code class="docutils literal notranslate"><span class="pre">analyze_dft()</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.build_model"><code class="docutils literal notranslate"><span class="pre">build_model()</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/dft.html#stormpy.dft.compute_dependency_conflicts"><code class="docutils literal notranslate"><span class="pre">compute_dependency_conflicts()</span></code></a></li>
@@ -1433,7 +1435,7 @@ <h1>Stormpy API Reference<a class="headerlink" href="#stormpy-api-reference" tit
     </p>
     <p>
         &copy; Copyright 2016-2022 Moves RWTH Aachen.<br/>
-      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.7.<br/>
+      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 8.0.2.<br/>
     </p>
   </div>
 </footer>