public static final class IntervalConstraintProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<IntervalConstraintProto.Builder> implements IntervalConstraintProtoOrBuilder
This is not really a constraint. It is there so it can be referred by other constraints using this "interval" concept. IMPORTANT: For now, this constraint do not enforce any relations on the components, and it is up to the client to add in the model: - enforcement => start + size == end. - enforcement => size >= 0 // Only needed if size is not already >= 0. 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.Protobuf type
operations_research.sat.IntervalConstraintProto
Modifier and Type | Method and Description |
---|---|
IntervalConstraintProto |
build() |
IntervalConstraintProto |
buildPartial() |
IntervalConstraintProto.Builder |
clear() |
IntervalConstraintProto.Builder |
clearEnd()
.operations_research.sat.LinearExpressionProto end = 5; |
IntervalConstraintProto.Builder |
clearSize()
.operations_research.sat.LinearExpressionProto size = 6; |
IntervalConstraintProto.Builder |
clearStart()
.operations_research.sat.LinearExpressionProto start = 4; |
IntervalConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
LinearExpressionProto |
getEnd()
.operations_research.sat.LinearExpressionProto end = 5; |
LinearExpressionProto.Builder |
getEndBuilder()
.operations_research.sat.LinearExpressionProto end = 5; |
LinearExpressionProtoOrBuilder |
getEndOrBuilder()
.operations_research.sat.LinearExpressionProto end = 5; |
LinearExpressionProto |
getSize()
.operations_research.sat.LinearExpressionProto size = 6; |
LinearExpressionProto.Builder |
getSizeBuilder()
.operations_research.sat.LinearExpressionProto size = 6; |
LinearExpressionProtoOrBuilder |
getSizeOrBuilder()
.operations_research.sat.LinearExpressionProto size = 6; |
LinearExpressionProto |
getStart()
.operations_research.sat.LinearExpressionProto start = 4; |
LinearExpressionProto.Builder |
getStartBuilder()
.operations_research.sat.LinearExpressionProto start = 4; |
LinearExpressionProtoOrBuilder |
getStartOrBuilder()
.operations_research.sat.LinearExpressionProto start = 4; |
boolean |
hasEnd()
.operations_research.sat.LinearExpressionProto end = 5; |
boolean |
hasSize()
.operations_research.sat.LinearExpressionProto size = 6; |
boolean |
hasStart()
.operations_research.sat.LinearExpressionProto start = 4; |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
IntervalConstraintProto.Builder |
mergeEnd(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto end = 5; |
IntervalConstraintProto.Builder |
mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
IntervalConstraintProto.Builder |
mergeFrom(IntervalConstraintProto other) |
IntervalConstraintProto.Builder |
mergeFrom(com.google.protobuf.Message other) |
IntervalConstraintProto.Builder |
mergeSize(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto size = 6; |
IntervalConstraintProto.Builder |
mergeStart(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto start = 4; |
IntervalConstraintProto.Builder |
setEnd(LinearExpressionProto.Builder builderForValue)
.operations_research.sat.LinearExpressionProto end = 5; |
IntervalConstraintProto.Builder |
setEnd(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto end = 5; |
IntervalConstraintProto.Builder |
setSize(LinearExpressionProto.Builder builderForValue)
.operations_research.sat.LinearExpressionProto size = 6; |
IntervalConstraintProto.Builder |
setSize(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto size = 6; |
IntervalConstraintProto.Builder |
setStart(LinearExpressionProto.Builder builderForValue)
.operations_research.sat.LinearExpressionProto start = 4; |
IntervalConstraintProto.Builder |
setStart(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto start = 4; |
addRepeatedField, clearField, clearOneof, clone, getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownFields, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setField, setRepeatedField, setUnknownFields, setUnknownFieldSetBuilder, setUnknownFieldsProto3
findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString
addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageException
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable
in class com.google.protobuf.GeneratedMessage.Builder<IntervalConstraintProto.Builder>
public IntervalConstraintProto.Builder clear()
clear
in interface com.google.protobuf.Message.Builder
clear
in interface com.google.protobuf.MessageLite.Builder
clear
in class com.google.protobuf.GeneratedMessage.Builder<IntervalConstraintProto.Builder>
public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
getDescriptorForType
in interface com.google.protobuf.Message.Builder
getDescriptorForType
in interface com.google.protobuf.MessageOrBuilder
getDescriptorForType
in class com.google.protobuf.GeneratedMessage.Builder<IntervalConstraintProto.Builder>
public IntervalConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
public IntervalConstraintProto build()
build
in interface com.google.protobuf.Message.Builder
build
in interface com.google.protobuf.MessageLite.Builder
public IntervalConstraintProto buildPartial()
buildPartial
in interface com.google.protobuf.Message.Builder
buildPartial
in interface com.google.protobuf.MessageLite.Builder
public IntervalConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<IntervalConstraintProto.Builder>
public IntervalConstraintProto.Builder mergeFrom(IntervalConstraintProto other)
public final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage.Builder<IntervalConstraintProto.Builder>
public IntervalConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in interface com.google.protobuf.MessageLite.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<IntervalConstraintProto.Builder>
java.io.IOException
public boolean hasStart()
.operations_research.sat.LinearExpressionProto start = 4;
hasStart
in interface IntervalConstraintProtoOrBuilder
public LinearExpressionProto getStart()
.operations_research.sat.LinearExpressionProto start = 4;
getStart
in interface IntervalConstraintProtoOrBuilder
public IntervalConstraintProto.Builder setStart(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto start = 4;
public IntervalConstraintProto.Builder setStart(LinearExpressionProto.Builder builderForValue)
.operations_research.sat.LinearExpressionProto start = 4;
public IntervalConstraintProto.Builder mergeStart(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto start = 4;
public IntervalConstraintProto.Builder clearStart()
.operations_research.sat.LinearExpressionProto start = 4;
public LinearExpressionProto.Builder getStartBuilder()
.operations_research.sat.LinearExpressionProto start = 4;
public LinearExpressionProtoOrBuilder getStartOrBuilder()
.operations_research.sat.LinearExpressionProto start = 4;
getStartOrBuilder
in interface IntervalConstraintProtoOrBuilder
public boolean hasEnd()
.operations_research.sat.LinearExpressionProto end = 5;
hasEnd
in interface IntervalConstraintProtoOrBuilder
public LinearExpressionProto getEnd()
.operations_research.sat.LinearExpressionProto end = 5;
getEnd
in interface IntervalConstraintProtoOrBuilder
public IntervalConstraintProto.Builder setEnd(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto end = 5;
public IntervalConstraintProto.Builder setEnd(LinearExpressionProto.Builder builderForValue)
.operations_research.sat.LinearExpressionProto end = 5;
public IntervalConstraintProto.Builder mergeEnd(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto end = 5;
public IntervalConstraintProto.Builder clearEnd()
.operations_research.sat.LinearExpressionProto end = 5;
public LinearExpressionProto.Builder getEndBuilder()
.operations_research.sat.LinearExpressionProto end = 5;
public LinearExpressionProtoOrBuilder getEndOrBuilder()
.operations_research.sat.LinearExpressionProto end = 5;
getEndOrBuilder
in interface IntervalConstraintProtoOrBuilder
public boolean hasSize()
.operations_research.sat.LinearExpressionProto size = 6;
hasSize
in interface IntervalConstraintProtoOrBuilder
public LinearExpressionProto getSize()
.operations_research.sat.LinearExpressionProto size = 6;
getSize
in interface IntervalConstraintProtoOrBuilder
public IntervalConstraintProto.Builder setSize(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto size = 6;
public IntervalConstraintProto.Builder setSize(LinearExpressionProto.Builder builderForValue)
.operations_research.sat.LinearExpressionProto size = 6;
public IntervalConstraintProto.Builder mergeSize(LinearExpressionProto value)
.operations_research.sat.LinearExpressionProto size = 6;
public IntervalConstraintProto.Builder clearSize()
.operations_research.sat.LinearExpressionProto size = 6;
public LinearExpressionProto.Builder getSizeBuilder()
.operations_research.sat.LinearExpressionProto size = 6;
public LinearExpressionProtoOrBuilder getSizeOrBuilder()
.operations_research.sat.LinearExpressionProto size = 6;
getSizeOrBuilder
in interface IntervalConstraintProtoOrBuilder
Copyright © 2025. All rights reserved.