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, writeStringNoTagfindInitializationErrors, getInitializationErrorString, hashFields, toStringaddAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeToclone, finalize, getClass, notify, notifyAll, wait, wait, waitpublic 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.GeneratedMessagepublic long getMinLevel()
int64 min_level = 1;getMinLevel in interface ReservoirConstraintProtoOrBuilderpublic long getMaxLevel()
int64 max_level = 2;getMaxLevel in interface ReservoirConstraintProtoOrBuilderpublic java.util.List<LinearExpressionProto> getTimeExprsList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;getTimeExprsList in interface ReservoirConstraintProtoOrBuilderpublic java.util.List<? extends LinearExpressionProtoOrBuilder> getTimeExprsOrBuilderList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;getTimeExprsOrBuilderList in interface ReservoirConstraintProtoOrBuilderpublic int getTimeExprsCount()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;getTimeExprsCount in interface ReservoirConstraintProtoOrBuilderpublic LinearExpressionProto getTimeExprs(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;getTimeExprs in interface ReservoirConstraintProtoOrBuilderpublic LinearExpressionProtoOrBuilder getTimeExprsOrBuilder(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;getTimeExprsOrBuilder in interface ReservoirConstraintProtoOrBuilderpublic java.util.List<LinearExpressionProto> getLevelChangesList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;getLevelChangesList in interface ReservoirConstraintProtoOrBuilderpublic java.util.List<? extends LinearExpressionProtoOrBuilder> getLevelChangesOrBuilderList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;getLevelChangesOrBuilderList in interface ReservoirConstraintProtoOrBuilderpublic int getLevelChangesCount()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;getLevelChangesCount in interface ReservoirConstraintProtoOrBuilderpublic LinearExpressionProto getLevelChanges(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;getLevelChanges in interface ReservoirConstraintProtoOrBuilderpublic LinearExpressionProtoOrBuilder getLevelChangesOrBuilder(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;getLevelChangesOrBuilder in interface ReservoirConstraintProtoOrBuilderpublic java.util.List<java.lang.Integer> getActiveLiteralsList()
repeated int32 active_literals = 5;getActiveLiteralsList in interface ReservoirConstraintProtoOrBuilderpublic int getActiveLiteralsCount()
repeated int32 active_literals = 5;getActiveLiteralsCount in interface ReservoirConstraintProtoOrBuilderpublic int getActiveLiterals(int index)
repeated int32 active_literals = 5;getActiveLiterals in interface ReservoirConstraintProtoOrBuilderindex - The index of the element to return.public final boolean isInitialized()
isInitialized in interface com.google.protobuf.MessageLiteOrBuilderisInitialized in class com.google.protobuf.GeneratedMessagepublic void writeTo(com.google.protobuf.CodedOutputStream output)
throws java.io.IOException
writeTo in interface com.google.protobuf.MessageLitewriteTo in class com.google.protobuf.GeneratedMessagejava.io.IOExceptionpublic int getSerializedSize()
getSerializedSize in interface com.google.protobuf.MessageLitegetSerializedSize in class com.google.protobuf.GeneratedMessagepublic boolean equals(java.lang.Object obj)
equals in interface com.google.protobuf.Messageequals in class com.google.protobuf.AbstractMessagepublic int hashCode()
hashCode in interface com.google.protobuf.MessagehashCode in class com.google.protobuf.AbstractMessagepublic static ReservoirConstraintProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static ReservoirConstraintProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static ReservoirConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static ReservoirConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static ReservoirConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static ReservoirConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static ReservoirConstraintProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOExceptionpublic static ReservoirConstraintProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic static ReservoirConstraintProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOExceptionpublic static ReservoirConstraintProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic static ReservoirConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOExceptionpublic static ReservoirConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic ReservoirConstraintProto.Builder newBuilderForType()
newBuilderForType in interface com.google.protobuf.MessagenewBuilderForType in interface com.google.protobuf.MessageLitepublic static ReservoirConstraintProto.Builder newBuilder()
public static ReservoirConstraintProto.Builder newBuilder(ReservoirConstraintProto prototype)
public ReservoirConstraintProto.Builder toBuilder()
toBuilder in interface com.google.protobuf.MessagetoBuilder in interface com.google.protobuf.MessageLiteprotected ReservoirConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType in class com.google.protobuf.AbstractMessagepublic static ReservoirConstraintProto getDefaultInstance()
public static com.google.protobuf.Parser<ReservoirConstraintProto> parser()
public com.google.protobuf.Parser<ReservoirConstraintProto> getParserForType()
getParserForType in interface com.google.protobuf.MessagegetParserForType in interface com.google.protobuf.MessageLitegetParserForType in class com.google.protobuf.GeneratedMessagepublic ReservoirConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderCopyright © 2024. All rights reserved.