com.google.ortools.sat.LinearBooleanConstraint Class Reference

Inheritance diagram for com.google.ortools.sat.LinearBooleanConstraint:

Classes
class	Builder

Public Member Functions
java.util.List< java.lang.Integer >	getLiteralsList ()
int	getLiteralsCount ()
int	getLiterals (int index)
java.util.List< java.lang.Long >	getCoefficientsList ()
int	getCoefficientsCount ()
long	getCoefficients (int index)
boolean	hasLowerBound ()
long	getLowerBound ()
boolean	hasUpperBound ()
long	getUpperBound ()
boolean	hasName ()
java.lang.String	getName ()
com.google.protobuf.ByteString	getNameBytes ()
final boolean	isInitialized ()
void	writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int	getSerializedSize ()
boolean	equals (final java.lang.Object obj)
int	hashCode ()
Builder	newBuilderForType ()
Builder	toBuilder ()
com.google.protobuf.Parser< LinearBooleanConstraint >	getParserForType ()
com.google.ortools.sat.LinearBooleanConstraint	getDefaultInstanceForType ()
Public Member Functions inherited from com.google.ortools.sat.LinearBooleanConstraintOrBuilder

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanConstraint	parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanConstraint	parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
static com.google.ortools.sat.LinearBooleanConstraint	parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static Builder	newBuilder ()
static Builder	newBuilder (com.google.ortools.sat.LinearBooleanConstraint prototype)
static com.google.ortools.sat.LinearBooleanConstraint	getDefaultInstance ()
static com.google.protobuf.Parser< LinearBooleanConstraint >	parser ()

Static Public Attributes
static final int	LITERALS_FIELD_NUMBER = 1
static final int	COEFFICIENTS_FIELD_NUMBER = 2
static final int	LOWER_BOUND_FIELD_NUMBER = 3
static final int	UPPER_BOUND_FIELD_NUMBER = 4
static final int	NAME_FIELD_NUMBER = 5

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()
Builder	newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Detailed Description

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

Definition at line 17 of file LinearBooleanConstraint.java.

Member Function Documentation

equals()

boolean com.google.ortools.sat.LinearBooleanConstraint.equals

(

final java.lang.Object

obj

)

Definition at line 333 of file LinearBooleanConstraint.java.

getCoefficients()

long com.google.ortools.sat.LinearBooleanConstraint.getCoefficients

(

int

index

)

repeated int64 coefficients = 2;

Parameters

index

The index of the element to return.

Returns

The coefficients at the given index.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 145 of file LinearBooleanConstraint.java.

getCoefficientsCount()

int com.google.ortools.sat.LinearBooleanConstraint.getCoefficientsCount

(

)

repeated int64 coefficients = 2;

Returns

The count of coefficients.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 137 of file LinearBooleanConstraint.java.

getCoefficientsList()

java.util.List< java.lang.Long > com.google.ortools.sat.LinearBooleanConstraint.getCoefficientsList

(

)

repeated int64 coefficients = 2;

Returns

A list containing the coefficients.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 130 of file LinearBooleanConstraint.java.

getDefaultInstance()

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.getDefaultInstance ( )

static

Definition at line 1198 of file LinearBooleanConstraint.java.

getDefaultInstanceForType()

com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.getDefaultInstanceForType

(

)

Definition at line 1234 of file LinearBooleanConstraint.java.

getDescriptor()

static final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.LinearBooleanConstraint.getDescriptor ( )

static

Definition at line 42 of file LinearBooleanConstraint.java.

getLiterals()

int com.google.ortools.sat.LinearBooleanConstraint.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;

Parameters

index

The index of the element to return.

Returns

The literals at the given index.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 116 of file LinearBooleanConstraint.java.

getLiteralsCount()

int com.google.ortools.sat.LinearBooleanConstraint.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;

Returns

The count of literals.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 96 of file LinearBooleanConstraint.java.

getLiteralsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.LinearBooleanConstraint.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;

Returns

A list containing the literals.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 77 of file LinearBooleanConstraint.java.

getLowerBound()

long com.google.ortools.sat.LinearBooleanConstraint.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;

Returns

The lowerBound.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 176 of file LinearBooleanConstraint.java.

getName()

java.lang.String com.google.ortools.sat.LinearBooleanConstraint.getName

(

)

The name of this constraint.

optional string name = 5 [default = ""];

Returns

The name.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 223 of file LinearBooleanConstraint.java.

getNameBytes()

com.google.protobuf.ByteString com.google.ortools.sat.LinearBooleanConstraint.getNameBytes

(

)

The name of this constraint.

optional string name = 5 [default = ""];

Returns

The bytes for name.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 247 of file LinearBooleanConstraint.java.

getParserForType()

com.google.protobuf.Parser< LinearBooleanConstraint > com.google.ortools.sat.LinearBooleanConstraint.getParserForType

(

)

Definition at line 1229 of file LinearBooleanConstraint.java.

getSerializedSize()

int com.google.ortools.sat.LinearBooleanConstraint.getSerializedSize

(

)

Definition at line 293 of file LinearBooleanConstraint.java.

getUpperBound()

long com.google.ortools.sat.LinearBooleanConstraint.getUpperBound

(

)

optional int64 upper_bound = 4;

Returns

The upperBound.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 195 of file LinearBooleanConstraint.java.

hashCode()

int com.google.ortools.sat.LinearBooleanConstraint.hashCode

(

)

Definition at line 366 of file LinearBooleanConstraint.java.

hasLowerBound()

boolean com.google.ortools.sat.LinearBooleanConstraint.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;

Returns

Whether the lowerBound field is set.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 162 of file LinearBooleanConstraint.java.

hasName()

boolean com.google.ortools.sat.LinearBooleanConstraint.hasName

(

)

The name of this constraint.

optional string name = 5 [default = ""];

Returns

Whether the name field is set.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 211 of file LinearBooleanConstraint.java.

hasUpperBound()

boolean com.google.ortools.sat.LinearBooleanConstraint.hasUpperBound

(

)

optional int64 upper_bound = 4;

Returns

Whether the upperBound field is set.

Implements com.google.ortools.sat.LinearBooleanConstraintOrBuilder.

Definition at line 187 of file LinearBooleanConstraint.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable com.google.ortools.sat.LinearBooleanConstraint.internalGetFieldAccessorTable ( )

protected

Definition at line 48 of file LinearBooleanConstraint.java.

isInitialized()

final boolean com.google.ortools.sat.LinearBooleanConstraint.isInitialized

(

)

Definition at line 262 of file LinearBooleanConstraint.java.

newBuilder() [1/2]

static Builder com.google.ortools.sat.LinearBooleanConstraint.newBuilder ( )

static

Definition at line 473 of file LinearBooleanConstraint.java.

newBuilder() [2/2]

static Builder com.google.ortools.sat.LinearBooleanConstraint.newBuilder ( com.google.ortools.sat.LinearBooleanConstraint prototype )

static

Definition at line 476 of file LinearBooleanConstraint.java.

newBuilderForType() [1/2]

Builder com.google.ortools.sat.LinearBooleanConstraint.newBuilderForType

(

)

Definition at line 472 of file LinearBooleanConstraint.java.

newBuilderForType() [2/2]

Builder com.google.ortools.sat.LinearBooleanConstraint.newBuilderForType ( com.google.protobuf.GeneratedMessage.BuilderParent parent )

protected

Definition at line 486 of file LinearBooleanConstraint.java.

parseDelimitedFrom() [1/2]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseDelimitedFrom ( java.io.InputStream input ) throws java.io.IOException

static

Definition at line 444 of file LinearBooleanConstraint.java.

parseDelimitedFrom() [2/2]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseDelimitedFrom ( java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 450 of file LinearBooleanConstraint.java.

parseFrom() [1/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( byte[] data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 421 of file LinearBooleanConstraint.java.

parseFrom() [2/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 425 of file LinearBooleanConstraint.java.

parseFrom() [3/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( com.google.protobuf.ByteString data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 410 of file LinearBooleanConstraint.java.

parseFrom() [4/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 415 of file LinearBooleanConstraint.java.

parseFrom() [5/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( com.google.protobuf.CodedInputStream input ) throws java.io.IOException

static

Definition at line 457 of file LinearBooleanConstraint.java.

parseFrom() [6/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 463 of file LinearBooleanConstraint.java.

parseFrom() [7/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( java.io.InputStream input ) throws java.io.IOException

static

Definition at line 431 of file LinearBooleanConstraint.java.

parseFrom() [8/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws java.io.IOException

static

Definition at line 436 of file LinearBooleanConstraint.java.

parseFrom() [9/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( java.nio.ByteBuffer data ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 399 of file LinearBooleanConstraint.java.

parseFrom() [10/10]

static com.google.ortools.sat.LinearBooleanConstraint com.google.ortools.sat.LinearBooleanConstraint.parseFrom ( java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry ) throws com.google.protobuf.InvalidProtocolBufferException

static

Definition at line 404 of file LinearBooleanConstraint.java.

parser()

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

static

Definition at line 1224 of file LinearBooleanConstraint.java.

toBuilder()

Builder com.google.ortools.sat.LinearBooleanConstraint.toBuilder

(

)

Definition at line 480 of file LinearBooleanConstraint.java.

writeTo()

void com.google.ortools.sat.LinearBooleanConstraint.writeTo

(

com.google.protobuf.CodedOutputStream

output

)

throws java.io.IOException

Definition at line 272 of file LinearBooleanConstraint.java.

Member Data Documentation

COEFFICIENTS_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanConstraint.COEFFICIENTS_FIELD_NUMBER = 2

static

Definition at line 120 of file LinearBooleanConstraint.java.

LITERALS_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanConstraint.LITERALS_FIELD_NUMBER = 1

static

Definition at line 55 of file LinearBooleanConstraint.java.

LOWER_BOUND_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanConstraint.LOWER_BOUND_FIELD_NUMBER = 3

static

Definition at line 149 of file LinearBooleanConstraint.java.

NAME_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanConstraint.NAME_FIELD_NUMBER = 5

static

Definition at line 199 of file LinearBooleanConstraint.java.

UPPER_BOUND_FIELD_NUMBER

final int com.google.ortools.sat.LinearBooleanConstraint.UPPER_BOUND_FIELD_NUMBER = 4

static

Definition at line 180 of file LinearBooleanConstraint.java.

---

The documentation for this class was generated from the following file:

• build/java/ortools-java/src/main/java/com/google/ortools/sat/LinearBooleanConstraint.java