deploy: 9085cfd

.buildinfo

@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: 845c452fe394a5ce4cccdf739f7f87b2
+config: 0e360bc554ad1d8ad7b7ee1edae3503f
 tags: 645f666f9bcd5a90fca523b33c5a78b7

_static/searchtools.js

@@ -178,7 +178,7 @@ const Search = {
 
   htmlToText: (htmlString, anchor) => {
     const htmlElement = new DOMParser().parseFromString(htmlString, 'text/html');
-    for (const removalQuery of [".headerlinks", "script", "style"]) {
+    for (const removalQuery of [".headerlink", "script", "style"]) {
       htmlElement.querySelectorAll(removalQuery).forEach((el) => { el.remove() });
     }
     if (anchor) {
@@ -328,13 +328,14 @@ const Search = {
     for (const [title, foundTitles] of Object.entries(allTitles)) {
       if (title.toLowerCase().trim().includes(queryLower) && (queryLower.length >= title.length/2)) {
         for (const [file, id] of foundTitles) {
-          let score = Math.round(100 * queryLower.length / title.length)
+          const score = Math.round(Scorer.title * queryLower.length / title.length);
+          const boost = titles[file] === title ? 1 : 0;  // add a boost for document titles
           normalResults.push([
             docNames[file],
             titles[file] !== title ? `${titles[file]} > ${title}` : title,
             id !== null ? "#" + id : "",
             null,
-            score,
+            score + boost,
             filenames[file],
           ]);
         }

advanced_topics.html

@@ -312,6 +312,7 @@
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseExactModelStates"><code class="docutils literal notranslate"><span class="pre">SparseExactModelStates</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseExactPomdp"><code class="docutils literal notranslate"><span class="pre">SparseExactPomdp</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseExactRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseExactRewardModel</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseExactSmg"><code class="docutils literal notranslate"><span class="pre">SparseExactSmg</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalCtmc"><code class="docutils literal notranslate"><span class="pre">SparseIntervalCtmc</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalDtmc"><code class="docutils literal notranslate"><span class="pre">SparseIntervalDtmc</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalMA"><code class="docutils literal notranslate"><span class="pre">SparseIntervalMA</span></code></a></li>
@@ -323,6 +324,7 @@
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalModelStates"><code class="docutils literal notranslate"><span class="pre">SparseIntervalModelStates</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalPomdp"><code class="docutils literal notranslate"><span class="pre">SparseIntervalPomdp</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseIntervalRewardModel</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseIntervalSmg"><code class="docutils literal notranslate"><span class="pre">SparseIntervalSmg</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseMA"><code class="docutils literal notranslate"><span class="pre">SparseMA</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseMatrix"><code class="docutils literal notranslate"><span class="pre">SparseMatrix</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseMatrixBuilder"><code class="docutils literal notranslate"><span class="pre">SparseMatrixBuilder</span></code></a></li>
@@ -347,6 +349,7 @@
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseParametricRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseParametricRewardModel</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparsePomdp"><code class="docutils literal notranslate"><span class="pre">SparsePomdp</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseRewardModel</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.SparseSmg"><code class="docutils literal notranslate"><span class="pre">SparseSmg</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.StateFormula"><code class="docutils literal notranslate"><span class="pre">StateFormula</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.StateLabeling"><code class="docutils literal notranslate"><span class="pre">StateLabeling</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/core.html#stormpy.StateValuation"><code class="docutils literal notranslate"><span class="pre">StateValuation</span></code></a></li>
@@ -581,6 +584,7 @@
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseExactModelStates"><code class="docutils literal notranslate"><span class="pre">SparseExactModelStates</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseExactPomdp"><code class="docutils literal notranslate"><span class="pre">SparseExactPomdp</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseExactRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseExactRewardModel</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseExactSmg"><code class="docutils literal notranslate"><span class="pre">SparseExactSmg</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalCtmc"><code class="docutils literal notranslate"><span class="pre">SparseIntervalCtmc</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalDtmc"><code class="docutils literal notranslate"><span class="pre">SparseIntervalDtmc</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalMA"><code class="docutils literal notranslate"><span class="pre">SparseIntervalMA</span></code></a></li>
@@ -592,6 +596,7 @@
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalModelStates"><code class="docutils literal notranslate"><span class="pre">SparseIntervalModelStates</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalPomdp"><code class="docutils literal notranslate"><span class="pre">SparseIntervalPomdp</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseIntervalRewardModel</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseIntervalSmg"><code class="docutils literal notranslate"><span class="pre">SparseIntervalSmg</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseMA"><code class="docutils literal notranslate"><span class="pre">SparseMA</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseMatrix"><code class="docutils literal notranslate"><span class="pre">SparseMatrix</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseMatrixBuilder"><code class="docutils literal notranslate"><span class="pre">SparseMatrixBuilder</span></code></a></li>
@@ -616,6 +621,7 @@
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseParametricRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseParametricRewardModel</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparsePomdp"><code class="docutils literal notranslate"><span class="pre">SparsePomdp</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseRewardModel"><code class="docutils literal notranslate"><span class="pre">SparseRewardModel</span></code></a></li>
+<li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.SparseSmg"><code class="docutils literal notranslate"><span class="pre">SparseSmg</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.StateLabeling"><code class="docutils literal notranslate"><span class="pre">StateLabeling</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.StateValuation"><code class="docutils literal notranslate"><span class="pre">StateValuation</span></code></a></li>
 <li class="toctree-l2"><a class="reference internal" href="api/storage.html#stormpy.storage.StateValuationsBuilder"><code class="docutils literal notranslate"><span class="pre">StateValuationsBuilder</span></code></a></li>
@@ -928,7 +934,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.3.7.<br/>
+      Created using <a href="http://sphinx-doc.org/">Sphinx</a> 7.4.1.<br/>
     </p>
   </div>
 </footer>