arch_1_1sat_1_1Constraint.html#a0ef1ea52810f5cb078f58799520b833c" title="The constraint will be enforced iff all literals listed here are true.">OnlyEnforceIf(absl::Span&lt;const BoolVar&gt; literals)</a>. </p>

</div>
</div>
<a id="a808ccd064e687092f93e0d6671536e21"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a808ccd064e687092f93e0d6671536e21">&#9670;&nbsp;</a></span>Proto()</h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <