 class="memitem:aecb2bc94116e771000e5be7f8e3a7f6c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html#aecb2bc94116e771000e5be7f8e3a7f6c">add_vars</a> (::PROTOBUF_NAMESPACE_ID::int32 value)</td></tr>
<tr class="separator:aecb2bc94116e771000e5be7f8e3a7f6c"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a2083f10ba8953e8a1bfab632d4d4e3af"><td cla