Interface DecisionStrategyProtoOrBuilder

  • All Superinterfaces:
    com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
    All Known Implementing Classes:
    DecisionStrategyProto, DecisionStrategyProto.Builder

    public interface DecisionStrategyProtoOrBuilder
    extends com.google.protobuf.MessageOrBuilder
    • Method Detail

      • getVariablesList

        java.util.List<java.lang.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.
      • 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.
      • getTransformationsCount

        int getTransformationsCount()
        repeated .operations_research.sat.DecisionStrategyProto.AffineTransformation transformations = 4;