e_1_1OrTools_1_1Sat_1_1IntVar.html">IntVar</a> &gt; vars, long starting_state, IEnumerable&lt; Tuple&lt; long, long, long &gt;&gt; transitions, IEnumerable&lt; long &gt; final_states)</td></tr>
<tr class="separator:a5d6423f530b7da92a96a30e10d126d13"><td class="memSeparator" colspan="2">&#160;</td></tr>
<tr class="memitem:a0174d563f7b0e8e5bcdc46900214fdfd"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1Constraint.html">Constraint</a>&#160;</td><td clas