r clause in L:
        sat = False
        for p in clause:
            if sm_doi.fixed_implies_implicant(fixed,p):
                sat = True
                break
        if not sat:
            L2.append(clause)
    return L2</code></pre>
</details>
</dd>
<dt id="pystablemotifs.restrict_space.reduce_rspace_string"><code class="name flex">
<span>def <span class="ident">reduce_rspace_string</span></span>(<span>s, fd, simplify=True)</span>
</code></dt>
<dd>
<div class="desc"><p>Replaces variables in the str