r>
          <td class="memname"><a class="el" href="classoperations__research_1_1sat_1_1AutomatonConstraintProto.html">AutomatonConstraintProto</a> </td>
          <td>(</td>
          <td class="paramname"></td><td>)</td>
          <td></td>
        </tr>
      </table>
</div><div class="memdoc">

</div>
</div>
<a id="a54caf95a1b8950c7285ebb6795615a3d"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a54caf95a1b8950c7285ebb6795615a3d">&#9670;&nbsp;</a></span>~AutomatonConstraintProto()</h2>

<d