public final class IntervalConstraintProto extends com.google.protobuf.GeneratedMessage 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 | Class and Description |
---|---|
static class |
IntervalConstraintProto.Builder
This is not really a constraint.
|
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
Modifier and Type | Field and Description |
---|---|
static int |
END_FIELD_NUMBER |
static int |
SIZE_FIELD_NUMBER |
static int |
START_FIELD_NUMBER |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
static IntervalConstraintProto |
getDefaultInstance() |
IntervalConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
LinearExpressionProto |
getEnd()
.operations_research.sat.LinearExpressionProto end = 5; |
LinearExpressionProtoOrBuilder |
getEndOrBuilder()
.operations_research.sat.LinearExpressionProto end = 5; |
com.google.protobuf.Parser<IntervalConstraintProto> |
getParserForType() |
int |
getSerializedSize() |
LinearExpressionProto |
getSize()
.operations_research.sat.LinearExpressionProto size = 6; |
LinearExpressionProtoOrBuilder |
getSizeOrBuilder()
.operations_research.sat.LinearExpressionProto size = 6; |
LinearExpressionProto |
getStart()
.operations_research.sat.LinearExpressionProto start = 4; |
LinearExpressionProtoOrBuilder |
getStartOrBuilder()
.operations_research.sat.LinearExpressionProto start = 4; |
boolean |
hasEnd()
.operations_research.sat.LinearExpressionProto end = 5; |
int |
hashCode() |
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() |
static IntervalConstraintProto.Builder |
newBuilder() |
static IntervalConstraintProto.Builder |
newBuilder(IntervalConstraintProto prototype) |
IntervalConstraintProto.Builder |
newBuilderForType() |
protected IntervalConstraintProto.Builder |
newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
static IntervalConstraintProto |
parseDelimitedFrom(java.io.InputStream input) |
static IntervalConstraintProto |
parseDelimitedFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static IntervalConstraintProto |
parseFrom(byte[] data) |
static IntervalConstraintProto |
parseFrom(byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static IntervalConstraintProto |
parseFrom(java.nio.ByteBuffer data) |
static IntervalConstraintProto |
parseFrom(java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static IntervalConstraintProto |
parseFrom(com.google.protobuf.ByteString data) |
static IntervalConstraintProto |
parseFrom(com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static IntervalConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input) |
static IntervalConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static IntervalConstraintProto |
parseFrom(java.io.InputStream input) |
static IntervalConstraintProto |
parseFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static com.google.protobuf.Parser<IntervalConstraintProto> |
parser() |
IntervalConstraintProto.Builder |
toBuilder() |
void |
writeTo(com.google.protobuf.CodedOutputStream output) |
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
findInitializationErrors, getInitializationErrorString, hashFields, toString
addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public static final int START_FIELD_NUMBER
public static final int END_FIELD_NUMBER
public static final int SIZE_FIELD_NUMBER
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable
in class com.google.protobuf.GeneratedMessage
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 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 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 LinearExpressionProtoOrBuilder getSizeOrBuilder()
.operations_research.sat.LinearExpressionProto size = 6;
getSizeOrBuilder
in interface IntervalConstraintProtoOrBuilder
public final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage
public void writeTo(com.google.protobuf.CodedOutputStream output) throws java.io.IOException
writeTo
in interface com.google.protobuf.MessageLite
writeTo
in class com.google.protobuf.GeneratedMessage
java.io.IOException
public int getSerializedSize()
getSerializedSize
in interface com.google.protobuf.MessageLite
getSerializedSize
in class com.google.protobuf.GeneratedMessage
public boolean equals(java.lang.Object obj)
equals
in interface com.google.protobuf.Message
equals
in class com.google.protobuf.AbstractMessage
public int hashCode()
hashCode
in interface com.google.protobuf.Message
hashCode
in class com.google.protobuf.AbstractMessage
public static IntervalConstraintProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static IntervalConstraintProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static IntervalConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static IntervalConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static IntervalConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static IntervalConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static IntervalConstraintProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static IntervalConstraintProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static IntervalConstraintProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static IntervalConstraintProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static IntervalConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOException
public static IntervalConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public IntervalConstraintProto.Builder newBuilderForType()
newBuilderForType
in interface com.google.protobuf.Message
newBuilderForType
in interface com.google.protobuf.MessageLite
public static IntervalConstraintProto.Builder newBuilder()
public static IntervalConstraintProto.Builder newBuilder(IntervalConstraintProto prototype)
public IntervalConstraintProto.Builder toBuilder()
toBuilder
in interface com.google.protobuf.Message
toBuilder
in interface com.google.protobuf.MessageLite
protected IntervalConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType
in class com.google.protobuf.AbstractMessage
public static IntervalConstraintProto getDefaultInstance()
public static com.google.protobuf.Parser<IntervalConstraintProto> parser()
public com.google.protobuf.Parser<IntervalConstraintProto> getParserForType()
getParserForType
in interface com.google.protobuf.Message
getParserForType
in interface com.google.protobuf.MessageLite
getParserForType
in class com.google.protobuf.GeneratedMessage
public IntervalConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
Copyright © 2025. All rights reserved.