="definition">Definition at line <a class="el" href="cp__model_8h_source.html#l00402">402</a> of file <a class="el" href="cp__model_8h_source.html">cp_model.h</a>.</p>
</div><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:a0ef1ea52810f5cb078f58799520b833c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classoperations__research_1_1sat_1_1Constraint.html">Constr