Java Reference

Java Reference

Detailed Description

This "special" constraint not only enforces (start + size == end) and (size
>= 0) but can also be referred by other constraints using this "interval"
concept.

Protobuf type

operations_research.sat.IntervalConstraintProto

Definition at line 15 of file IntervalConstraintProto.java.

Classes

class  Builder
 

Public Member Functions

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ()
 
.lang.Override int getStart ()
 int32 start = 1; More...
 
.lang.Override int getEnd ()
 int32 end = 2; More...
 
.lang.Override int getSize ()
 int32 size = 3; More...
 
.lang.Override boolean hasStartView ()
 
.lang.Override com.google.ortools.sat.LinearExpressionProto getStartView ()
 
.lang.Override com.google.ortools.sat.LinearExpressionProtoOrBuilder getStartViewOrBuilder ()
 
.lang.Override boolean hasEndView ()
 .operations_research.sat.LinearExpressionProto end_view = 5; More...
 
.lang.Override com.google.ortools.sat.LinearExpressionProto getEndView ()
 .operations_research.sat.LinearExpressionProto end_view = 5; More...
 
.lang.Override com.google.ortools.sat.LinearExpressionProtoOrBuilder getEndViewOrBuilder ()
 .operations_research.sat.LinearExpressionProto end_view = 5; More...
 
.lang.Override boolean hasSizeView ()
 .operations_research.sat.LinearExpressionProto size_view = 6; More...
 
.lang.Override com.google.ortools.sat.LinearExpressionProto getSizeView ()
 .operations_research.sat.LinearExpressionProto size_view = 6; More...
 
.lang.Override com.google.ortools.sat.LinearExpressionProtoOrBuilder getSizeViewOrBuilder ()
 .operations_research.sat.LinearExpressionProto size_view = 6; More...
 
.lang.Override final boolean isInitialized ()
 
.lang.Override void writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
 
.lang.Override int getSerializedSize ()
 
.lang.Override boolean equals (final java.lang.Object obj)
 
.lang.Override int hashCode ()
 
.lang.Override Builder newBuilderForType ()
 
.lang.Override Builder toBuilder ()
 
.lang.Override com.google.protobuf.Parser< IntervalConstraintProtogetParserForType ()
 
.lang.Override com.google.ortools.sat.IntervalConstraintProto getDefaultInstanceForType ()
 

Static Public Member Functions

static final com.google.protobuf.Descriptors.Descriptor getDescriptor ()
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.IntervalConstraintProto parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
 
static com.google.ortools.sat.IntervalConstraintProto parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
 
static com.google.ortools.sat.IntervalConstraintProto parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
 
static com.google.ortools.sat.IntervalConstraintProto 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.IntervalConstraintProto prototype)
 
static com.google.ortools.sat.IntervalConstraintProto getDefaultInstance ()
 
static com.google.protobuf.Parser< IntervalConstraintProtoparser ()
 

Static Public Attributes

static final int START_FIELD_NUMBER = 1
 
static final int END_FIELD_NUMBER = 2
 
static final int SIZE_FIELD_NUMBER = 3
 
static final int START_VIEW_FIELD_NUMBER = 4
 
static final int END_VIEW_FIELD_NUMBER = 5
 
static final int SIZE_VIEW_FIELD_NUMBER = 6
 

Protected Member Functions

.lang.Override java.lang.Object newInstance (UnusedPrivateParameter unused)
 
.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ()
 
.lang.Override Builder newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent)
 

Member Function Documentation

◆ equals()

.lang.Override boolean equals ( final java.lang.Object  obj)

Definition at line 373 of file IntervalConstraintProto.java.

◆ getDefaultInstance()

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

Definition at line 1349 of file IntervalConstraintProto.java.

◆ getDefaultInstanceForType()

.lang.Override com.google.ortools.sat.IntervalConstraintProto getDefaultInstanceForType ( )

Definition at line 1374 of file IntervalConstraintProto.java.

◆ getDescriptor()

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

Definition at line 131 of file IntervalConstraintProto.java.

◆ getEnd()

.lang.Override int getEnd ( )

int32 end = 2;

Returns
The end.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 161 of file IntervalConstraintProto.java.

◆ getEndView()

.lang.Override com.google.ortools.sat.LinearExpressionProto getEndView ( )

.operations_research.sat.LinearExpressionProto end_view = 5;

Returns
The endView.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 265 of file IntervalConstraintProto.java.

◆ getEndViewOrBuilder()

.lang.Override com.google.ortools.sat.LinearExpressionProtoOrBuilder getEndViewOrBuilder ( )

.operations_research.sat.LinearExpressionProto end_view = 5;

Implements IntervalConstraintProtoOrBuilder.

Definition at line 272 of file IntervalConstraintProto.java.

◆ getParserForType()

.lang.Override com.google.protobuf.Parser<IntervalConstraintProto> getParserForType ( )

Definition at line 1369 of file IntervalConstraintProto.java.

◆ getSerializedSize()

.lang.Override int getSerializedSize ( )

Definition at line 338 of file IntervalConstraintProto.java.

◆ getSize()

.lang.Override int getSize ( )

int32 size = 3;

Returns
The size.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 172 of file IntervalConstraintProto.java.

◆ getSizeView()

.lang.Override com.google.ortools.sat.LinearExpressionProto getSizeView ( )

.operations_research.sat.LinearExpressionProto size_view = 6;

Returns
The sizeView.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 291 of file IntervalConstraintProto.java.

◆ getSizeViewOrBuilder()

.lang.Override com.google.ortools.sat.LinearExpressionProtoOrBuilder getSizeViewOrBuilder ( )

.operations_research.sat.LinearExpressionProto size_view = 6;

Implements IntervalConstraintProtoOrBuilder.

Definition at line 298 of file IntervalConstraintProto.java.

◆ getStart()

.lang.Override int getStart ( )

int32 start = 1;

Returns
The start.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 150 of file IntervalConstraintProto.java.

◆ getStartView()

.lang.Override com.google.ortools.sat.LinearExpressionProto getStartView ( )
EXPERIMENTAL: This will become the new way to specify an interval.
Depending on the parameters, the presolve will convert the old way to the
new way. Do not forget to add an associated linear constraint if you use
this directly.
If any of this field is set, then all must be set and the ones above will
be ignored.
IMPORTANT: For now, this constraint do not enforce any relations on the
view, and a linear constraint must be added together with this to enforce
enforcement => start_view + size_view == end_view. An enforcement =>
size_view >=0 might also be needed.
IMPORTANT: For now, we just support affine relation. We could easily
create an intermediate variable to support full linear expression, but this
isn't done currently.

.operations_research.sat.LinearExpressionProto start_view = 4;

Returns
The startView.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 223 of file IntervalConstraintProto.java.

◆ getStartViewOrBuilder()

.lang.Override com.google.ortools.sat.LinearExpressionProtoOrBuilder getStartViewOrBuilder ( )
EXPERIMENTAL: This will become the new way to specify an interval.
Depending on the parameters, the presolve will convert the old way to the
new way. Do not forget to add an associated linear constraint if you use
this directly.
If any of this field is set, then all must be set and the ones above will
be ignored.
IMPORTANT: For now, this constraint do not enforce any relations on the
view, and a linear constraint must be added together with this to enforce
enforcement => start_view + size_view == end_view. An enforcement =>
size_view >=0 might also be needed.
IMPORTANT: For now, we just support affine relation. We could easily
create an intermediate variable to support full linear expression, but this
isn't done currently.

.operations_research.sat.LinearExpressionProto start_view = 4;

Implements IntervalConstraintProtoOrBuilder.

Definition at line 246 of file IntervalConstraintProto.java.

◆ getUnknownFields()

.lang.Override final com.google.protobuf.UnknownFieldSet getUnknownFields ( )

Definition at line 36 of file IntervalConstraintProto.java.

◆ hasEndView()

.lang.Override boolean hasEndView ( )

.operations_research.sat.LinearExpressionProto end_view = 5;

Returns
Whether the endView field is set.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 257 of file IntervalConstraintProto.java.

◆ hashCode()

.lang.Override int hashCode ( )

Definition at line 408 of file IntervalConstraintProto.java.

◆ hasSizeView()

.lang.Override boolean hasSizeView ( )

.operations_research.sat.LinearExpressionProto size_view = 6;

Returns
Whether the sizeView field is set.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 283 of file IntervalConstraintProto.java.

◆ hasStartView()

.lang.Override boolean hasStartView ( )
EXPERIMENTAL: This will become the new way to specify an interval.
Depending on the parameters, the presolve will convert the old way to the
new way. Do not forget to add an associated linear constraint if you use
this directly.
If any of this field is set, then all must be set and the ones above will
be ignored.
IMPORTANT: For now, this constraint do not enforce any relations on the
view, and a linear constraint must be added together with this to enforce
enforcement => start_view + size_view == end_view. An enforcement =>
size_view >=0 might also be needed.
IMPORTANT: For now, we just support affine relation. We could easily
create an intermediate variable to support full linear expression, but this
isn't done currently.

.operations_research.sat.LinearExpressionProto start_view = 4;

Returns
Whether the startView field is set.

Implements IntervalConstraintProtoOrBuilder.

Definition at line 199 of file IntervalConstraintProto.java.

◆ internalGetFieldAccessorTable()

.lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable ( )
protected

Definition at line 137 of file IntervalConstraintProto.java.

◆ isInitialized()

.lang.Override final boolean isInitialized ( )

Definition at line 304 of file IntervalConstraintProto.java.

◆ newBuilder() [1/2]

static Builder newBuilder ( )
static

Definition at line 509 of file IntervalConstraintProto.java.

◆ newBuilder() [2/2]

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

Definition at line 512 of file IntervalConstraintProto.java.

◆ newBuilderForType() [1/2]

.lang.Override Builder newBuilderForType ( )

Definition at line 508 of file IntervalConstraintProto.java.

◆ newBuilderForType() [2/2]

.lang.Override Builder newBuilderForType ( com.google.protobuf.GeneratedMessageV3.BuilderParent  parent)
protected

Definition at line 522 of file IntervalConstraintProto.java.

◆ newInstance()

.lang.Override java.lang.Object newInstance ( UnusedPrivateParameter  unused)
protected

Definition at line 29 of file IntervalConstraintProto.java.

◆ parseDelimitedFrom() [1/2]

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

Definition at line 481 of file IntervalConstraintProto.java.

◆ parseDelimitedFrom() [2/2]

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

Definition at line 486 of file IntervalConstraintProto.java.

◆ parseFrom() [1/10]

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

Definition at line 459 of file IntervalConstraintProto.java.

◆ parseFrom() [2/10]

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

Definition at line 463 of file IntervalConstraintProto.java.

◆ parseFrom() [3/10]

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

Definition at line 448 of file IntervalConstraintProto.java.

◆ parseFrom() [4/10]

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

Definition at line 453 of file IntervalConstraintProto.java.

◆ parseFrom() [5/10]

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

Definition at line 493 of file IntervalConstraintProto.java.

◆ parseFrom() [6/10]

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

Definition at line 499 of file IntervalConstraintProto.java.

◆ parseFrom() [7/10]

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

Definition at line 469 of file IntervalConstraintProto.java.

◆ parseFrom() [8/10]

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

Definition at line 474 of file IntervalConstraintProto.java.

◆ parseFrom() [9/10]

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

Definition at line 437 of file IntervalConstraintProto.java.

◆ parseFrom() [10/10]

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

Definition at line 442 of file IntervalConstraintProto.java.

◆ parser()

static com.google.protobuf.Parser<IntervalConstraintProto> parser ( )
static

Definition at line 1364 of file IntervalConstraintProto.java.

◆ toBuilder()

.lang.Override Builder toBuilder ( )

Definition at line 516 of file IntervalConstraintProto.java.

◆ writeTo()

.lang.Override void writeTo ( com.google.protobuf.CodedOutputStream  output) throws java.io.IOException

Definition at line 314 of file IntervalConstraintProto.java.

Member Data Documentation

◆ END_FIELD_NUMBER

final int END_FIELD_NUMBER = 2
static

Definition at line 154 of file IntervalConstraintProto.java.

◆ END_VIEW_FIELD_NUMBER

final int END_VIEW_FIELD_NUMBER = 5
static

Definition at line 250 of file IntervalConstraintProto.java.

◆ SIZE_FIELD_NUMBER

final int SIZE_FIELD_NUMBER = 3
static

Definition at line 165 of file IntervalConstraintProto.java.

◆ SIZE_VIEW_FIELD_NUMBER

final int SIZE_VIEW_FIELD_NUMBER = 6
static

Definition at line 276 of file IntervalConstraintProto.java.

◆ START_FIELD_NUMBER

final int START_FIELD_NUMBER = 1
static

Definition at line 143 of file IntervalConstraintProto.java.

◆ START_VIEW_FIELD_NUMBER

final int START_VIEW_FIELD_NUMBER = 4
static

Definition at line 176 of file IntervalConstraintProto.java.


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