inline</span></span>  </td>
  </tr>
</table>
</div><div class="memdoc">

<p class="definition">Definition at line <a class="el" href="CpModel_8cs_source.html#l00643">643</a> of file <a class="el" href="CpModel_8cs_source.html">CpModel.cs</a>.</p>

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

<div class="memitem">
<div class="memproto">
<table class="mlabels