public static final class ReservoirConstraintProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<ReservoirConstraintProto.Builder> 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 | Method and Description |
---|---|
ReservoirConstraintProto.Builder |
addActiveLiterals(int value)
repeated int32 active_literals = 5; |
ReservoirConstraintProto.Builder |
addAllActiveLiterals(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 active_literals = 5; |
ReservoirConstraintProto.Builder |
addAllLevelChanges(java.lang.Iterable<? extends LinearExpressionProto> values)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
addAllTimeExprs(java.lang.Iterable<? extends LinearExpressionProto> values)
affine expressions.
|
ReservoirConstraintProto.Builder |
addLevelChanges(int index,
LinearExpressionProto.Builder builderForValue)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
addLevelChanges(int index,
LinearExpressionProto value)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
addLevelChanges(LinearExpressionProto.Builder builderForValue)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
addLevelChanges(LinearExpressionProto value)
Currently, we only support constant level changes.
|
LinearExpressionProto.Builder |
addLevelChangesBuilder()
Currently, we only support constant level changes.
|
LinearExpressionProto.Builder |
addLevelChangesBuilder(int index)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
addTimeExprs(int index,
LinearExpressionProto.Builder builderForValue)
affine expressions.
|
ReservoirConstraintProto.Builder |
addTimeExprs(int index,
LinearExpressionProto value)
affine expressions.
|
ReservoirConstraintProto.Builder |
addTimeExprs(LinearExpressionProto.Builder builderForValue)
affine expressions.
|
ReservoirConstraintProto.Builder |
addTimeExprs(LinearExpressionProto value)
affine expressions.
|
LinearExpressionProto.Builder |
addTimeExprsBuilder()
affine expressions.
|
LinearExpressionProto.Builder |
addTimeExprsBuilder(int index)
affine expressions.
|
ReservoirConstraintProto |
build() |
ReservoirConstraintProto |
buildPartial() |
ReservoirConstraintProto.Builder |
clear() |
ReservoirConstraintProto.Builder |
clearActiveLiterals()
repeated int32 active_literals = 5; |
ReservoirConstraintProto.Builder |
clearLevelChanges()
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
clearMaxLevel()
int64 max_level = 2; |
ReservoirConstraintProto.Builder |
clearMinLevel()
int64 min_level = 1; |
ReservoirConstraintProto.Builder |
clearTimeExprs()
affine expressions.
|
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; |
ReservoirConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
LinearExpressionProto |
getLevelChanges(int index)
Currently, we only support constant level changes.
|
LinearExpressionProto.Builder |
getLevelChangesBuilder(int index)
Currently, we only support constant level changes.
|
java.util.List<LinearExpressionProto.Builder> |
getLevelChangesBuilderList()
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; |
LinearExpressionProto |
getTimeExprs(int index)
affine expressions.
|
LinearExpressionProto.Builder |
getTimeExprsBuilder(int index)
affine expressions.
|
java.util.List<LinearExpressionProto.Builder> |
getTimeExprsBuilderList()
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.
|
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
ReservoirConstraintProto.Builder |
mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
ReservoirConstraintProto.Builder |
mergeFrom(com.google.protobuf.Message other) |
ReservoirConstraintProto.Builder |
mergeFrom(ReservoirConstraintProto other) |
ReservoirConstraintProto.Builder |
removeLevelChanges(int index)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
removeTimeExprs(int index)
affine expressions.
|
ReservoirConstraintProto.Builder |
setActiveLiterals(int index,
int value)
repeated int32 active_literals = 5; |
ReservoirConstraintProto.Builder |
setLevelChanges(int index,
LinearExpressionProto.Builder builderForValue)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
setLevelChanges(int index,
LinearExpressionProto value)
Currently, we only support constant level changes.
|
ReservoirConstraintProto.Builder |
setMaxLevel(long value)
int64 max_level = 2; |
ReservoirConstraintProto.Builder |
setMinLevel(long value)
int64 min_level = 1; |
ReservoirConstraintProto.Builder |
setTimeExprs(int index,
LinearExpressionProto.Builder builderForValue)
affine expressions.
|
ReservoirConstraintProto.Builder |
setTimeExprs(int index,
LinearExpressionProto value)
affine expressions.
|
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<ReservoirConstraintProto.Builder>
public ReservoirConstraintProto.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<ReservoirConstraintProto.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<ReservoirConstraintProto.Builder>
public ReservoirConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
public ReservoirConstraintProto build()
build
in interface com.google.protobuf.Message.Builder
build
in interface com.google.protobuf.MessageLite.Builder
public ReservoirConstraintProto buildPartial()
buildPartial
in interface com.google.protobuf.Message.Builder
buildPartial
in interface com.google.protobuf.MessageLite.Builder
public ReservoirConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<ReservoirConstraintProto.Builder>
public ReservoirConstraintProto.Builder mergeFrom(ReservoirConstraintProto other)
public final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage.Builder<ReservoirConstraintProto.Builder>
public ReservoirConstraintProto.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<ReservoirConstraintProto.Builder>
java.io.IOException
public long getMinLevel()
int64 min_level = 1;
getMinLevel
in interface ReservoirConstraintProtoOrBuilder
public ReservoirConstraintProto.Builder setMinLevel(long value)
int64 min_level = 1;
value
- The minLevel to set.public ReservoirConstraintProto.Builder clearMinLevel()
int64 min_level = 1;
public long getMaxLevel()
int64 max_level = 2;
getMaxLevel
in interface ReservoirConstraintProtoOrBuilder
public ReservoirConstraintProto.Builder setMaxLevel(long value)
int64 max_level = 2;
value
- The maxLevel to set.public ReservoirConstraintProto.Builder clearMaxLevel()
int64 max_level = 2;
public java.util.List<LinearExpressionProto> getTimeExprsList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprsList
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 ReservoirConstraintProto.Builder setTimeExprs(int index, LinearExpressionProto value)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder setTimeExprs(int index, LinearExpressionProto.Builder builderForValue)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder addTimeExprs(LinearExpressionProto value)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder addTimeExprs(int index, LinearExpressionProto value)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder addTimeExprs(LinearExpressionProto.Builder builderForValue)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder addTimeExprs(int index, LinearExpressionProto.Builder builderForValue)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder addAllTimeExprs(java.lang.Iterable<? extends LinearExpressionProto> values)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder clearTimeExprs()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public ReservoirConstraintProto.Builder removeTimeExprs(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public LinearExpressionProto.Builder getTimeExprsBuilder(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public LinearExpressionProtoOrBuilder getTimeExprsOrBuilder(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
getTimeExprsOrBuilder
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 LinearExpressionProto.Builder addTimeExprsBuilder()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public LinearExpressionProto.Builder addTimeExprsBuilder(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
public java.util.List<LinearExpressionProto.Builder> getTimeExprsBuilderList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
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 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 ReservoirConstraintProto.Builder setLevelChanges(int index, LinearExpressionProto value)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder setLevelChanges(int index, LinearExpressionProto.Builder builderForValue)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder addLevelChanges(LinearExpressionProto value)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder addLevelChanges(int index, LinearExpressionProto value)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder addLevelChanges(LinearExpressionProto.Builder builderForValue)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder addLevelChanges(int index, LinearExpressionProto.Builder builderForValue)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder addAllLevelChanges(java.lang.Iterable<? extends LinearExpressionProto> values)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder clearLevelChanges()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public ReservoirConstraintProto.Builder removeLevelChanges(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public LinearExpressionProto.Builder getLevelChangesBuilder(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
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<? extends LinearExpressionProtoOrBuilder> getLevelChangesOrBuilderList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
getLevelChangesOrBuilderList
in interface ReservoirConstraintProtoOrBuilder
public LinearExpressionProto.Builder addLevelChangesBuilder()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public LinearExpressionProto.Builder addLevelChangesBuilder(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
public java.util.List<LinearExpressionProto.Builder> getLevelChangesBuilderList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
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 ReservoirConstraintProto.Builder setActiveLiterals(int index, int value)
repeated int32 active_literals = 5;
index
- The index to set the value at.value
- The activeLiterals to set.public ReservoirConstraintProto.Builder addActiveLiterals(int value)
repeated int32 active_literals = 5;
value
- The activeLiterals to add.public ReservoirConstraintProto.Builder addAllActiveLiterals(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 active_literals = 5;
values
- The activeLiterals to add.public ReservoirConstraintProto.Builder clearActiveLiterals()
repeated int32 active_literals = 5;
Copyright © 2025. All rights reserved.