com.google.ortools.sat

Class LinearBooleanConstraint

java.lang.Object

com.google.protobuf.AbstractMessageLite

com.google.protobuf.AbstractMessage

com.google.protobuf.GeneratedMessage

com.google.ortools.sat.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.GeneratedMessage
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 and 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.GeneratedMessage

com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>,BuilderT extends com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT,BuilderT>>, com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.FieldAccessorTable, com.google.protobuf.GeneratedMessage.GeneratedExtension<ContainingT extends com.google.protobuf.Message,T>, com.google.protobuf.GeneratedMessage.UnusedPrivateParameter

Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessage

com.google.protobuf.AbstractMessage.BuilderParent

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

com.google.protobuf.AbstractMessageLite.InternalOneOfEnum

Field Summary

Fields

Modifier and Type	Field and Description
static int	COEFFICIENTS_FIELD_NUMBER
static int	LITERALS_FIELD_NUMBER
static int	LOWER_BOUND_FIELD_NUMBER
static int	NAME_FIELD_NUMBER
static int	UPPER_BOUND_FIELD_NUMBER

Fields inherited from class com.google.protobuf.GeneratedMessage

alwaysUseFieldBuilders, unknownFields

Fields inherited from class com.google.protobuf.AbstractMessage

memoizedSize

Fields inherited from class com.google.protobuf.AbstractMessageLite

memoizedHashCode

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
long	getCoefficients(int index) repeated int64 coefficients = 2;
int	getCoefficientsCount() repeated int64 coefficients = 2;
java.util.List<java.lang.Long>	getCoefficientsList() repeated int64 coefficients = 2;
static LinearBooleanConstraint	getDefaultInstance()
LinearBooleanConstraint	getDefaultInstanceForType()
static com.google.protobuf.Descriptors.Descriptor	getDescriptor()
int	getLiterals(int index) Linear terms involved in this constraint.
int	getLiteralsCount() Linear terms involved in this constraint.
java.util.List<java.lang.Integer>	getLiteralsList() Linear terms involved in this constraint.
long	getLowerBound() Optional lower (resp.
java.lang.String	getName() The name of this constraint.
com.google.protobuf.ByteString	getNameBytes() The name of this constraint.
com.google.protobuf.Parser<LinearBooleanConstraint>	getParserForType()
int	getSerializedSize()
long	getUpperBound() optional int64 upper_bound = 4;
int	hashCode()
boolean	hasLowerBound() Optional lower (resp.
boolean	hasName() The name of this constraint.
boolean	hasUpperBound() optional int64 upper_bound = 4;
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable()
boolean	isInitialized()
static LinearBooleanConstraint.Builder	newBuilder()
static LinearBooleanConstraint.Builder	newBuilder(LinearBooleanConstraint prototype)
LinearBooleanConstraint.Builder	newBuilderForType()
protected LinearBooleanConstraint.Builder	newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
static LinearBooleanConstraint	parseDelimitedFrom(java.io.InputStream input)
static LinearBooleanConstraint	parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static LinearBooleanConstraint	parseFrom(byte[] data)
static LinearBooleanConstraint	parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static LinearBooleanConstraint	parseFrom(java.nio.ByteBuffer data)
static LinearBooleanConstraint	parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static LinearBooleanConstraint	parseFrom(com.google.protobuf.ByteString data)
static LinearBooleanConstraint	parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static LinearBooleanConstraint	parseFrom(com.google.protobuf.CodedInputStream input)
static LinearBooleanConstraint	parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static LinearBooleanConstraint	parseFrom(java.io.InputStream input)
static LinearBooleanConstraint	parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)
static com.google.protobuf.Parser<LinearBooleanConstraint>	parser()
LinearBooleanConstraint.Builder	toBuilder()
void	writeTo(com.google.protobuf.CodedOutputStream output)

Methods inherited from class com.google.protobuf.GeneratedMessage

canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, isStringEmpty, makeMutableCopy, makeMutableCopy, mergeFromAndMakeImmutableInternal, newFileScopedGeneratedExtension, newInstance, newMessageScopedGeneratedExtension, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTag

Methods inherited from class com.google.protobuf.AbstractMessage

findInitializationErrors, getInitializationErrorString, hashFields, toString

Methods inherited from class com.google.protobuf.AbstractMessageLite

addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface com.google.protobuf.MessageOrBuilder

findInitializationErrors, getAllFields, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof

Methods inherited from interface com.google.protobuf.MessageLite

toByteArray, toByteString, writeDelimitedTo, writeTo

Field Detail

LITERALS_FIELD_NUMBER

public static final int LITERALS_FIELD_NUMBER

See Also:

Constant Field Values

COEFFICIENTS_FIELD_NUMBER

public static final int COEFFICIENTS_FIELD_NUMBER

See Also:

Constant Field Values

LOWER_BOUND_FIELD_NUMBER

public static final int LOWER_BOUND_FIELD_NUMBER

See Also:

Constant Field Values

UPPER_BOUND_FIELD_NUMBER

public static final int UPPER_BOUND_FIELD_NUMBER

See Also:

Constant Field Values

NAME_FIELD_NUMBER

public static final int NAME_FIELD_NUMBER

See Also:

Constant Field Values

Method Detail

getDescriptor

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

internalGetFieldAccessorTable

protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()

Specified by:

internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage

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.

getCoefficientsList

public java.util.List<java.lang.Long> getCoefficientsList()

repeated int64 coefficients = 2;

Specified by:

getCoefficientsList in interface LinearBooleanConstraintOrBuilder

Returns:

A list containing the coefficients.

getCoefficientsCount

public int getCoefficientsCount()

repeated int64 coefficients = 2;

Specified by:

getCoefficientsCount in interface LinearBooleanConstraintOrBuilder

Returns:

The count of coefficients.

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.

hasUpperBound

public boolean hasUpperBound()

optional int64 upper_bound = 4;

Specified by:

hasUpperBound in interface LinearBooleanConstraintOrBuilder

Returns:

Whether the upperBound field is set.

getUpperBound

public long getUpperBound()

optional int64 upper_bound = 4;

Specified by:

getUpperBound in interface LinearBooleanConstraintOrBuilder

Returns:

The upperBound.

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.GeneratedMessage

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.GeneratedMessage

Throws:

java.io.IOException

getSerializedSize

public int getSerializedSize()

Specified by:

getSerializedSize in interface com.google.protobuf.MessageLite

Overrides:

getSerializedSize in class com.google.protobuf.GeneratedMessage

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

newBuilder

public static LinearBooleanConstraint.Builder newBuilder()

newBuilder

public static LinearBooleanConstraint.Builder newBuilder(LinearBooleanConstraint prototype)

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.AbstractMessage.BuilderParent parent)

Overrides:

newBuilderForType in class com.google.protobuf.AbstractMessage

getDefaultInstance

public static LinearBooleanConstraint getDefaultInstance()

parser

public static com.google.protobuf.Parser<LinearBooleanConstraint> parser()

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.GeneratedMessage

getDefaultInstanceForType

public LinearBooleanConstraint getDefaultInstanceForType()

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder

Specified by:

getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder