source.html#l03441">3441</a> of file <a class="el" href="cp__model_8pb_8h_source.html">cp_model.pb.h</a>.</p>

</div>
</div>
<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
<a id="a3b5afcf60d2319bc7630435bbad9d139"></a>
<h2 class="memtitle"><span class="permalink"><a href="#a3b5afcf60d2319bc7630435bbad9d139">&#9670;&nbsp;</a></span>AutomatonConstraintProto() <span class="overload">[1/3]</span></h2>

<div class="memitem">
<div class="memproto">
      <table class="memname">
        <t