Class DecisionStrategyProto

  • All Implemented Interfaces:
    DecisionStrategyProtoOrBuilder, com.google.protobuf.Message, com.google.protobuf.MessageLite, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, java.io.Serializable

    public final class DecisionStrategyProto
    extends com.google.protobuf.GeneratedMessageV3
    implements DecisionStrategyProtoOrBuilder
     Define the strategy to follow when the solver needs to take a new decision.
     Note that this strategy is only defined on a subset of variables.
     
    Protobuf type operations_research.sat.DecisionStrategyProto
    See Also:
    Serialized Form
    • Field Detail

      • VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER

        public static final int VARIABLE_SELECTION_STRATEGY_FIELD_NUMBER
        See Also:
        Constant Field Values
      • DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER

        public static final int DOMAIN_REDUCTION_STRATEGY_FIELD_NUMBER
        See Also:
        Constant Field Values
      • TRANSFORMATIONS_FIELD_NUMBER

        public static final int TRANSFORMATIONS_FIELD_NUMBER
        See Also:
        Constant Field Values
    • Method Detail

      • newInstance

        protected java.lang.Object newInstance​(com.google.protobuf.GeneratedMessageV3.UnusedPrivateParameter unused)
        Overrides:
        newInstance in class com.google.protobuf.GeneratedMessageV3
      • getDescriptor

        public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
      • internalGetFieldAccessorTable

        protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
        Specified by:
        internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessageV3
      • getVariablesList

        public 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;
        Specified by:
        getVariablesList in interface DecisionStrategyProtoOrBuilder
        Returns:
        A list containing the variables.
      • getVariablesCount

        public 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;
        Specified by:
        getVariablesCount in interface DecisionStrategyProtoOrBuilder
        Returns:
        The count of variables.
      • getVariables

        public 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;
        Specified by:
        getVariables in interface DecisionStrategyProtoOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The variables at the given index.
      • getVariableSelectionStrategyValue

        public int getVariableSelectionStrategyValue()
        .operations_research.sat.DecisionStrategyProto.VariableSelectionStrategy variable_selection_strategy = 2;
        Specified by:
        getVariableSelectionStrategyValue in interface DecisionStrategyProtoOrBuilder
        Returns:
        The enum numeric value on the wire for variableSelectionStrategy.
      • getDomainReductionStrategyValue

        public int getDomainReductionStrategyValue()
        .operations_research.sat.DecisionStrategyProto.DomainReductionStrategy domain_reduction_strategy = 3;
        Specified by:
        getDomainReductionStrategyValue in interface DecisionStrategyProtoOrBuilder
        Returns:
        The enum numeric value on the wire for domainReductionStrategy.
      • isInitialized

        public final boolean isInitialized()
        Specified by:
        isInitialized in interface com.google.protobuf.MessageLiteOrBuilder
        Overrides:
        isInitialized in class com.google.protobuf.GeneratedMessageV3
      • writeTo

        public void writeTo​(com.google.protobuf.CodedOutputStream output)
                     throws java.io.IOException
        Specified by:
        writeTo in interface com.google.protobuf.MessageLite
        Overrides:
        writeTo in class com.google.protobuf.GeneratedMessageV3
        Throws:
        java.io.IOException
      • getSerializedSize

        public int getSerializedSize()
        Specified by:
        getSerializedSize in interface com.google.protobuf.MessageLite
        Overrides:
        getSerializedSize in class com.google.protobuf.GeneratedMessageV3
      • equals

        public boolean equals​(java.lang.Object obj)
        Specified by:
        equals in interface com.google.protobuf.Message
        Overrides:
        equals in class com.google.protobuf.AbstractMessage
      • hashCode

        public int hashCode()
        Specified by:
        hashCode in interface com.google.protobuf.Message
        Overrides:
        hashCode in class com.google.protobuf.AbstractMessage
      • parseFrom

        public static DecisionStrategyProto parseFrom​(java.nio.ByteBuffer data)
                                               throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(java.nio.ByteBuffer data,
                                                      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                               throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(com.google.protobuf.ByteString data)
                                               throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(com.google.protobuf.ByteString data,
                                                      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                               throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(byte[] data)
                                               throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(byte[] data,
                                                      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                               throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(java.io.InputStream input)
                                               throws java.io.IOException
        Throws:
        java.io.IOException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(java.io.InputStream input,
                                                      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                               throws java.io.IOException
        Throws:
        java.io.IOException
      • parseDelimitedFrom

        public static DecisionStrategyProto parseDelimitedFrom​(java.io.InputStream input)
                                                        throws java.io.IOException
        Throws:
        java.io.IOException
      • parseDelimitedFrom

        public static DecisionStrategyProto parseDelimitedFrom​(java.io.InputStream input,
                                                               com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                                        throws java.io.IOException
        Throws:
        java.io.IOException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(com.google.protobuf.CodedInputStream input)
                                               throws java.io.IOException
        Throws:
        java.io.IOException
      • parseFrom

        public static DecisionStrategyProto parseFrom​(com.google.protobuf.CodedInputStream input,
                                                      com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                               throws java.io.IOException
        Throws:
        java.io.IOException
      • newBuilderForType

        public DecisionStrategyProto.Builder newBuilderForType()
        Specified by:
        newBuilderForType in interface com.google.protobuf.Message
        Specified by:
        newBuilderForType in interface com.google.protobuf.MessageLite
      • toBuilder

        public DecisionStrategyProto.Builder toBuilder()
        Specified by:
        toBuilder in interface com.google.protobuf.Message
        Specified by:
        toBuilder in interface com.google.protobuf.MessageLite
      • newBuilderForType

        protected DecisionStrategyProto.Builder newBuilderForType​(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
        Specified by:
        newBuilderForType in class com.google.protobuf.GeneratedMessageV3
      • getParserForType

        public com.google.protobuf.Parser<DecisionStrategyProto> getParserForType()
        Specified by:
        getParserForType in interface com.google.protobuf.Message
        Specified by:
        getParserForType in interface com.google.protobuf.MessageLite
        Overrides:
        getParserForType in class com.google.protobuf.GeneratedMessageV3
      • getDefaultInstanceForType

        public DecisionStrategyProto getDefaultInstanceForType()
        Specified by:
        getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder
        Specified by:
        getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder