eb30ce4fe4d1">   84</a></span>&#160;      <a class="code" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#ac3572f2462862d38793feb30ce4fe4d1">getTransformationsOrBuilderList</a>();</div>
<div class="line"><a name="l00088"></a><span class="lineno"><a class="line" href="interfacecom_1_1google_1_1ortools_1_1sat_1_1DecisionStrategyProtoOrBuilder.html#a554ead5e513e2d2ae93c9b36200a6a7d">   88</a></span>&#160;  <a class="code" href="namespacecom.html">com</a>.<a class="code" hr