deploy: 67f4d94

jendrikseipp · May 10, 2024 · 36c109c · 36c109c
1 parent b1629b8
commit 36c109c
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 11 deletions.
diff --git a/SearchAlgorithm/index.html b/SearchAlgorithm/index.html
@@ -1009,17 +1009,8 @@ <h2 id="depth-first_search">Depth-first search<a class="headerlink" href="#depth
 </ul>
 <h2 id="exhaustive_search">Exhaustive search<a class="headerlink" href="#exhaustive_search" title="Permanent link">#</a></h2>
 <p>Dump the reachable state space.</p>
-<pre><code>dump_reachable_search_space(verbosity=normal)
+<pre><code>dump_reachable_search_space()
 </code></pre>
-<ul>
-<li><em>verbosity</em> ({silent, normal, verbose, debug}): Option to specify the verbosity level.<ul>
-<li><code>silent</code>: only the most basic output</li>
-<li><code>normal</code>: relevant information to monitor progress</li>
-<li><code>verbose</code>: full output</li>
-<li><code>debug</code>: like verbose with additional debug output</li>
-</ul>
-</li>
-</ul>
 <h2 id="eager_best-first_search">Eager best-first search<a class="headerlink" href="#eager_best-first_search" title="Permanent link">#</a></h2>
 <pre><code>eager(open, reopen_closed=false, f_eval=&lt;none&gt;, preferred=[], pruning=null(), cost_type=normal, bound=infinity, max_time=infinity, verbosity=normal)
 </code></pre>

diff --git a/search/search_index.json b/search/search_index.json
diff --git a/sitemap.xml.gz b/sitemap.xml.gz