item:a88009e45e2fe67ce5be90085ea8d0950"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1Constraint.html">Constraint</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1CpModel.html#a88009e45e2fe67ce5be90085ea8d0950">AddImplication</a> (<a class="el" href="interfaceGoogle_1_1OrTools_1_1Sat_1_1ILiteral.html">ILiteral</a> a, <a class="el" href="interfaceGoogle_1_1OrTools_1_1Sat_1_1ILiteral.html">ILit