.html#a0c70d727c248d81a2eb397f54cc537d7">   65</a></span>&#160;  <a class="code" href="namespacecom.html">com</a>.<a class="code" href="namespacecom_1_1google.html">google</a>.<a class="code" href="namespacecom_1_1google_1_1ortools.html">ortools</a>.<a class="code" href="namespacecom_1_1google_1_1ortools_1_1sat.html">sat</a>.<a class="code" href="classcom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProto.html">DecisionStrategyProto</a>.<a class="code" href="enumcom_1_1google_1_1ortools_1_1sat_1_1Decision