t</span> <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#aeed1b83d4380b10e460fa7f6040360aa">getTransformationsCount</a>();</div>
<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;  java.util.List&lt;? extends <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