ml#TYPEstate">state</a> option</code></pre><div class="info">
<code class="code">explore is_constent state_space</code> explore a state space by
    implicitely enumerating all the state in a sensitive order.<br>
</div>
<br>
<h4 id="4_Packagespace">Package space</h4><br>
<pre><span id="VALstate_space"><span class="keyword">val</span> state_space</span> : <code class="type">?filters:(Cudf_types.pkgname -> Cudf_types.constr) -><br>       Cudf.universe -><br>       Cudf_types.pkgname list -> Cudf.package <a hr