public interface ReservoirConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder
Modifier and Type | Method and Description |
---|---|
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; |
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; |
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.
|
findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
long getMinLevel()
int64 min_level = 1;
long getMaxLevel()
int64 max_level = 2;
java.util.List<LinearExpressionProto> getTimeExprsList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
LinearExpressionProto getTimeExprs(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
int getTimeExprsCount()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
java.util.List<? extends LinearExpressionProtoOrBuilder> getTimeExprsOrBuilderList()
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
LinearExpressionProtoOrBuilder getTimeExprsOrBuilder(int index)
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3;
java.util.List<LinearExpressionProto> getLevelChangesList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
LinearExpressionProto getLevelChanges(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
int getLevelChangesCount()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
java.util.List<? extends LinearExpressionProtoOrBuilder> getLevelChangesOrBuilderList()
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
LinearExpressionProtoOrBuilder getLevelChangesOrBuilder(int index)
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
java.util.List<java.lang.Integer> getActiveLiteralsList()
repeated int32 active_literals = 5;
int getActiveLiteralsCount()
repeated int32 active_literals = 5;
int getActiveLiterals(int index)
repeated int32 active_literals = 5;
index
- The index of the element to return.Copyright © 2025. All rights reserved.