equest you have, the smaller the state-space
    to explore is. Once the state-space is computed using
    <code class="code">state_space</code>, it calls <code class="code">explore</code> (which will use <code class="code">brute_force</code>)
    to get an approximate solution to the request.<br>
</div>
<pre><span id="VALactions_of_state"><span class="keyword">val</span> actions_of_state</span> : <code class="type">Cudf.universe -><br>       Cudf.package <a href="OpamHeuristic.html#TYPEstate">state</a> -> 