Interface DecisionStrategyProtoOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
DecisionStrategyProto, DecisionStrategyProto.Builder
@Generated public interface DecisionStrategyProtoOrBuilder extends com.google.protobuf.MessageOrBuilder

  • Method Details

    • getVariablesList

      List<Integer> getVariablesList()
       The variables to be considered for the next decision. The order matter and
 is always used as a tie-breaker after the variable selection strategy
 criteria defined below.
      repeated int32 variables = 1;
      Returns:
      A list containing the variables.

    • getVariablesCount

      int getVariablesCount()
       The variables to be considered for the next decision. The order matter and
 is always used as a tie-breaker after the variable selection strategy
 criteria defined below.
      repeated int32 variables = 1;
      Returns:
      The count of variables.

    • getVariables

      int getVariables(int index)
       The variables to be considered for the next decision. The order matter and
 is always used as a tie-breaker after the variable selection strategy
 criteria defined below.
      repeated int32 variables = 1;
      Parameters:
      index - The index of the element to return.
      Returns:
      The variables at the given index.

    • getExprsList

      List<LinearExpressionProto> getExprsList()
       If this is set, then the variables field must be empty.
 We currently only support affine expression.

 Note that this is needed so that if a variable has an affine
 representative, we can properly transform a DecisionStrategyProto through
 presolve.
      repeated .operations_research.sat.LinearExpressionProto exprs = 5;

    • getExprs

      LinearExpressionProto getExprs(int index)
       If this is set, then the variables field must be empty.
 We currently only support affine expression.

 Note that this is needed so that if a variable has an affine
 representative, we can properly transform a DecisionStrategyProto through
 presolve.
      repeated .operations_research.sat.LinearExpressionProto exprs = 5;

    • getExprsCount

      int getExprsCount()
       If this is set, then the variables field must be empty.
 We currently only support affine expression.

 Note that this is needed so that if a variable has an affine
 representative, we can properly transform a DecisionStrategyProto through
 presolve.
      repeated .operations_research.sat.LinearExpressionProto exprs = 5;

    • getExprsOrBuilderList

      List<? extends LinearExpressionProtoOrBuilder> getExprsOrBuilderList()
       If this is set, then the variables field must be empty.
 We currently only support affine expression.

 Note that this is needed so that if a variable has an affine
 representative, we can properly transform a DecisionStrategyProto through
 presolve.
      repeated .operations_research.sat.LinearExpressionProto exprs = 5;

    • getExprsOrBuilder

      LinearExpressionProtoOrBuilder getExprsOrBuilder(int index)
       If this is set, then the variables field must be empty.
 We currently only support affine expression.

 Note that this is needed so that if a variable has an affine
 representative, we can properly transform a DecisionStrategyProto through
 presolve.
      repeated .operations_research.sat.LinearExpressionProto exprs = 5;

    • getVariableSelectionStrategyValue

      int getVariableSelectionStrategyValue()
      .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
      Returns:
      The enum numeric value on the wire for variableSelectionStrategy.

    • getVariableSelectionStrategy

      DecisionStrategyProto.VariableSelectionStrategy getVariableSelectionStrategy()
      .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
      Returns:
      The variableSelectionStrategy.

    • getDomainReductionStrategyValue

      int getDomainReductionStrategyValue()
      .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
      Returns:
      The enum numeric value on the wire for domainReductionStrategy.

    • getDomainReductionStrategy

      DecisionStrategyProto.DomainReductionStrategy getDomainReductionStrategy()
      .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
      Returns:
      The domainReductionStrategy.