50a475665a5958801f">DecisionStrategyProto.Types.VariableSelectionStrategy</a>&#160;</td>
          <td class="paramname"><em>var_str</em>, </td>
        </tr>
        <tr>
          <td class="paramkey"></td>
          <td></td>
          <td class="paramtype"><a class="el" href="classGoogle_1_1OrTools_1_1Sat_1_1DecisionStrategyProto_1_1Types.html#ae17715e4689c1665ecc8d75f1fd97b9c">DecisionStrategyProto.Types.DomainReductionStrategy</a>&#160;</td>
          <td class="paramname"><em>dom_str</em>&#160;</td>
