proto">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classoperations__research_1_1sat_1_1Constraint.html">Constraint</a> OnlyEnforceIf </td>
          <td>(</td>
          <td class="paramtype">absl::Span&lt; const <a class="el" href="classoperations__research_1_1sat_1_1BoolVar.html">BoolVar</a> &gt;&#160;</td>
          <td class="paramname"><em>literals</em></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

<p>The co