Package com.google.ortools.sat

Class LinearBooleanConstraint

  • All Implemented Interfaces:
    LinearBooleanConstraintOrBuilder, com.google.protobuf.Message, com.google.protobuf.MessageLite, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, java.io.Serializable
    public final class LinearBooleanConstraint
extends com.google.protobuf.GeneratedMessageV3
implements LinearBooleanConstraintOrBuilder
     A linear Boolean constraint which is a bounded sum of linear terms. Each term
 beeing a literal times an integer coefficient. If we assume that a literal
 takes the value 1 if it is true and 0 otherwise, the constraint is:
   lower_bound <= ... + coefficients[i] * literals[i] + ... <= upper_bound
    Protobuf type operations_research.sat.LinearBooleanConstraint
    See Also:
    Serialized Form

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description
      static class  LinearBooleanConstraint.Builder
      A linear Boolean constraint which is a bounded sum of linear terms.

      • Nested classes/interfaces inherited from class com.google.protobuf.GeneratedMessageV3

        com.google.protobuf.GeneratedMessageV3.BuilderParent, com.google.protobuf.GeneratedMessageV3.ExtendableBuilder<MessageT extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT>,​BuilderT extends com.google.protobuf.GeneratedMessageV3.ExtendableBuilder<MessageT,​BuilderT>>, com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessageV3.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessageV3.FieldAccessorTable, com.google.protobuf.GeneratedMessageV3.UnusedPrivateParameter

      • Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessageLite

        com.google.protobuf.AbstractMessageLite.InternalOneOfEnum

    • 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

      • getLiteralsList

        public java.util.List<java.lang.Integer> getLiteralsList()
         Linear terms involved in this constraint.

 literals[i] is the signed representation of the i-th literal of the
 constraint and coefficients[i] its coefficients. The signed representation
 is as follow: for a 0-based variable index x, (x + 1) represents the
 variable x and -(x + 1) represents its negation.

 Note that the same variable shouldn't appear twice and that zero
 coefficients are not allowed.
        repeated int32 literals = 1;
        Specified by:
        getLiteralsList in interface LinearBooleanConstraintOrBuilder
        Returns:
        A list containing the literals.

      • getLiteralsCount

        public int getLiteralsCount()
         Linear terms involved in this constraint.

 literals[i] is the signed representation of the i-th literal of the
 constraint and coefficients[i] its coefficients. The signed representation
 is as follow: for a 0-based variable index x, (x + 1) represents the
 variable x and -(x + 1) represents its negation.

 Note that the same variable shouldn't appear twice and that zero
 coefficients are not allowed.
        repeated int32 literals = 1;
        Specified by:
        getLiteralsCount in interface LinearBooleanConstraintOrBuilder
        Returns:
        The count of literals.

      • getLiterals

        public int getLiterals​(int index)
         Linear terms involved in this constraint.

 literals[i] is the signed representation of the i-th literal of the
 constraint and coefficients[i] its coefficients. The signed representation
 is as follow: for a 0-based variable index x, (x + 1) represents the
 variable x and -(x + 1) represents its negation.

 Note that the same variable shouldn't appear twice and that zero
 coefficients are not allowed.
        repeated int32 literals = 1;
        Specified by:
        getLiterals in interface LinearBooleanConstraintOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The literals at the given index.

      • getCoefficients

        public long getCoefficients​(int index)
        repeated int64 coefficients = 2;
        Specified by:
        getCoefficients in interface LinearBooleanConstraintOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The coefficients at the given index.

      • hasLowerBound

        public boolean hasLowerBound()
         Optional lower (resp. upper) bound of the constraint. If not present, it
 means that the constraint is not bounded in this direction. The bounds
 are INCLUSIVE.
        optional int64 lower_bound = 3;
        Specified by:
        hasLowerBound in interface LinearBooleanConstraintOrBuilder
        Returns:
        Whether the lowerBound field is set.

      • getLowerBound

        public long getLowerBound()
         Optional lower (resp. upper) bound of the constraint. If not present, it
 means that the constraint is not bounded in this direction. The bounds
 are INCLUSIVE.
        optional int64 lower_bound = 3;
        Specified by:
        getLowerBound in interface LinearBooleanConstraintOrBuilder
        Returns:
        The lowerBound.

      • hasName

        public boolean hasName()
         The name of this constraint.
        optional string name = 5 [default = ""];
        Specified by:
        hasName in interface LinearBooleanConstraintOrBuilder
        Returns:
        Whether the name field is set.

      • getName

        public java.lang.String getName()
         The name of this constraint.
        optional string name = 5 [default = ""];
        Specified by:
        getName in interface LinearBooleanConstraintOrBuilder
        Returns:
        The name.

      • getNameBytes

        public com.google.protobuf.ByteString getNameBytes()
         The name of this constraint.
        optional string name = 5 [default = ""];
        Specified by:
        getNameBytes in interface LinearBooleanConstraintOrBuilder
        Returns:
        The bytes for name.

      • 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 LinearBooleanConstraint parseFrom​(java.nio.ByteBuffer data)
                                         throws com.google.protobuf.InvalidProtocolBufferException
        Throws:
        com.google.protobuf.InvalidProtocolBufferException

      • parseFrom

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

      • parseFrom

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

      • parseFrom

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

      • parseFrom

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

      • parseFrom

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

      • parseFrom

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

      • parseFrom

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

      • parseDelimitedFrom

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

      • parseDelimitedFrom

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

      • parseFrom

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

      • parseFrom

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

      • newBuilderForType

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

      • toBuilder

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

      • newBuilderForType

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

      • getParserForType

        public com.google.protobuf.Parser<LinearBooleanConstraint> 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 LinearBooleanConstraint getDefaultInstanceForType()
        Specified by:
        getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder
        Specified by:
        getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder