s="el" href="classoperations__research_1_1sat_1_1Constraint.html#a18bb41d87c6d089385c392476adb6465">WithName</a> (const std::string &amp;name)</td></tr>
<tr class="memdesc:a18bb41d87c6d089385c392476adb6465"><td class="mdescLeft">&#160;</td><td class="mdescRight">Sets the name of the constraint.  <a href="classoperations__research_1_1sat_1_1Constraint.html#a18bb41d87c6d089385c392476adb6465">More...</a><br /></td></tr>
<tr class="separator:a18bb41d87c6d089385c392476adb6465"><td class="memSeparator" colspan="2