public final class ReservoirConstraintProto extends com.google.protobuf.GeneratedMessage implements ReservoirConstraintProtoOrBuilder
Maintain a reservoir level within bounds. The water level starts at 0, and at any time, it must be within [min_level, max_level]. If the variable active_literals[i] is true, and if the expression time_exprs[i] is assigned a value t, then the current level changes by level_changes[i] at the time t. Therefore, at any time t: sum(level_changes[i] * active_literals[i] if time_exprs[i] <= t) in [min_level, max_level] Note that min level must be <= 0, and the max level must be >= 0. Please use fixed level_changes to simulate initial state. The array of boolean variables 'actives', if defined, indicates which actions are actually performed. If this array is not defined, then it is assumed that all actions will be performed.Protobuf type
operations_research.sat.ReservoirConstraintProto
Modifier and Type | Class and Description |
---|---|
static class |
ReservoirConstraintProto.Builder
Maintain a reservoir level within bounds.
|
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 |
ACTIVE_LITERALS_FIELD_NUMBER |
static int |
LEVEL_CHANGES_FIELD_NUMBER |
static int |
MAX_LEVEL_FIELD_NUMBER |
static int |
MIN_LEVEL_FIELD_NUMBER |
static int |
TIME_EXPRS_FIELD_NUMBER |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
int |
getActiveLiterals(int index)
repeated int32 active_literals = 5; |
int |
getActiveLiteralsCount()
repeated int32 active_literals = 5; |
java.util.List<java.lang.Integer> |
getActiveLiteralsList()
repeated int32 active_literals = 5; |
static ReservoirConstraintProto |
getDefaultInstance() |
ReservoirConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
LinearExpressionProto |
getLevelChanges(int index)
Currently, we only support constant level changes.
|
int |
getLevelChangesCount()
Currently, we only support constant level changes.
|
java.util.List<LinearExpressionProto> |
getLevelChangesList()
Currently, we only support constant level changes.
|
LinearExpressionProtoOrBuilder |
getLevelChangesOrBuilder(int index)
Currently, we only support constant level changes.
|
java.util.List<? extends LinearExpressionProtoOrBuilder> |
getLevelChangesOrBuilderList()
Currently, we only support constant level changes.
|
long |
getMaxLevel()
int64 max_level = 2; |
long |
getMinLevel()
int64 min_level = 1; |
com.google.protobuf.Parser<ReservoirConstraintProto> |
getParserForType() |
int |
getSerializedSize() |
LinearExpressionProto |
getTimeExprs(int index)
affine expressions.
|
int |
getTimeExprsCount()
affine expressions.
|
java.util.List<LinearExpressionProto> |
getTimeExprsList()
affine expressions.
|
LinearExpressionProtoOrBuilder |
getTimeExprsOrBuilder(int index)
affine expressions.
|
java.util.List<? extends LinearExpressionProtoOrBuilder> |
getTimeExprsOrBuilderList()
affine expressions.
|
int |
hashCode() |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
static ReservoirConstraintProto.Builder |
newBuilder() |
static ReservoirConstraintProto.Builder |
newBuilder(ReservoirConstraintProto prototype) |
ReservoirConstraintProto.Builder |
newBuilderForType() |
protected ReservoirConstraintProto.Builder |
newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
static ReservoirConstraintProto |
parseDelimitedFrom(java.io.InputStream input) |
static ReservoirConstraintProto |
parseDelimitedFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static ReservoirConstraintProto |
parseFrom(byte[] data) |
static ReservoirConstraintProto |
parseFrom(byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static ReservoirConstraintProto |
parseFrom(java.nio.ByteBuffer data) |
static ReservoirConstraintProto |
parseFrom(java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static ReservoirConstraintProto |
parseFrom(com.google.protobuf.ByteString data) |
static ReservoirConstraintProto |
parseFrom(com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static ReservoirConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input) |
static ReservoirConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static ReservoirConstraintProto |
parseFrom(java.io.InputStream input) |
static ReservoirConstraintProto |
parseFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static com.google.protobuf.Parser<ReservoirConstraintProto> |
parser() |
ReservoirConstraintProto.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 MIN_LEVEL_FIELD_NUMBER
public static final int MAX_LEVEL_FIELD_NUMBER
public static final int TIME_EXPRS_FIELD_NUMBER
public static final int LEVEL_CHANGES_FIELD_NUMBER
public static final int ACTIVE_LITERALS_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 long getMinLevel()
int64 min_level = 1;
getMinLevel
in interface ReservoirConstraintProtoOrBuilder
public long getMaxLevel()
int64 max_level = 2;
getMaxLevel
in interface ReservoirConstraintProtoOrBuilder
public java.util.List<LinearExpressionProto> getTimeExprsList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprsList
in interface ReservoirConstraintProtoOrBuilder
public java.util.List<? extends LinearExpressionProtoOrBuilder> getTimeExprsOrBuilderList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprsOrBuilderList
in interface ReservoirConstraintProtoOrBuilder
public int getTimeExprsCount()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprsCount
in interface ReservoirConstraintProtoOrBuilder
public LinearExpressionProto getTimeExprs(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprs
in interface ReservoirConstraintProtoOrBuilder
public LinearExpressionProtoOrBuilder getTimeExprsOrBuilder(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprsOrBuilder
in interface ReservoirConstraintProtoOrBuilder
public java.util.List<LinearExpressionProto> getLevelChangesList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
getLevelChangesList
in interface ReservoirConstraintProtoOrBuilder
public java.util.List<? extends LinearExpressionProtoOrBuilder> getLevelChangesOrBuilderList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
getLevelChangesOrBuilderList
in interface ReservoirConstraintProtoOrBuilder
public int getLevelChangesCount()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
getLevelChangesCount
in interface ReservoirConstraintProtoOrBuilder
public LinearExpressionProto getLevelChanges(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
getLevelChanges
in interface ReservoirConstraintProtoOrBuilder
public LinearExpressionProtoOrBuilder getLevelChangesOrBuilder(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
getLevelChangesOrBuilder
in interface ReservoirConstraintProtoOrBuilder
public java.util.List<java.lang.Integer> getActiveLiteralsList()
repeated int32 active_literals = 5;
getActiveLiteralsList
in interface ReservoirConstraintProtoOrBuilder
public int getActiveLiteralsCount()
repeated int32 active_literals = 5;
getActiveLiteralsCount
in interface ReservoirConstraintProtoOrBuilder
public int getActiveLiterals(int index)
repeated int32 active_literals = 5;
getActiveLiterals
in interface ReservoirConstraintProtoOrBuilder
index
- The index of the element to return.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 ReservoirConstraintProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static ReservoirConstraintProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static ReservoirConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static ReservoirConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static ReservoirConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static ReservoirConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static ReservoirConstraintProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static ReservoirConstraintProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static ReservoirConstraintProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static ReservoirConstraintProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static ReservoirConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOException
public static ReservoirConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public ReservoirConstraintProto.Builder newBuilderForType()
newBuilderForType
in interface com.google.protobuf.Message
newBuilderForType
in interface com.google.protobuf.MessageLite
public static ReservoirConstraintProto.Builder newBuilder()
public static ReservoirConstraintProto.Builder newBuilder(ReservoirConstraintProto prototype)
public ReservoirConstraintProto.Builder toBuilder()
toBuilder
in interface com.google.protobuf.Message
toBuilder
in interface com.google.protobuf.MessageLite
protected ReservoirConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType
in class com.google.protobuf.AbstractMessage
public static ReservoirConstraintProto getDefaultInstance()
public static com.google.protobuf.Parser<ReservoirConstraintProto> parser()
public com.google.protobuf.Parser<ReservoirConstraintProto> getParserForType()
getParserForType
in interface com.google.protobuf.Message
getParserForType
in interface com.google.protobuf.MessageLite
getParserForType
in class com.google.protobuf.GeneratedMessage
public ReservoirConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
Copyright © 2025. All rights reserved.