AddAutomaton() <span class="overload">[1/2]</span></h2>

<div class="memitem">
<div class="memproto">
<table class="mlabels">
  <tr>
  <td class="mlabels-left">
      <table class="memname">
        <tr>
          <td class="memname"><a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1Constraint.html">Constraint</a> AddAutomaton </td>
          <td>(</td>
          <td class="paramtype">IEnumerable&lt; <a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1IntVar.html">IntVar</a> &gt;&#160;</td>
          <t