Interface ReservoirConstraintProtoOrBuilder
- All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder,com.google.protobuf.MessageOrBuilder
- All Known Implementing Classes:
ReservoirConstraintProto,ReservoirConstraintProto.Builder
@Generated
public interface ReservoirConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder
-
Method Summary
Modifier and TypeMethodDescriptionintgetActiveLiterals(int index) repeated int32 active_literals = 5;intrepeated int32 active_literals = 5;repeated int32 active_literals = 5;getLevelChanges(int index) Currently, we only support constant level changes.intCurrently, we only support constant level changes.Currently, we only support constant level changes.getLevelChangesOrBuilder(int index) Currently, we only support constant level changes.List<? extends LinearExpressionProtoOrBuilder> Currently, we only support constant level changes.longint64 max_level = 2;longint64 min_level = 1;getTimeExprs(int index) affine expressions.intaffine expressions.affine expressions.getTimeExprsOrBuilder(int index) affine expressions.List<? extends LinearExpressionProtoOrBuilder> affine expressions.Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder
isInitializedMethods inherited from interface com.google.protobuf.MessageOrBuilder
findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
-
Method Details
-
getMinLevel
long getMinLevel()int64 min_level = 1;- Returns:
- The minLevel.
-
getMaxLevel
long getMaxLevel()int64 max_level = 2;- Returns:
- The maxLevel.
-
getTimeExprsList
List<LinearExpressionProto> getTimeExprsList()affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3; -
getTimeExprs
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3; -
getTimeExprsCount
int getTimeExprsCount()affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3; -
getTimeExprsOrBuilderList
List<? extends LinearExpressionProtoOrBuilder> getTimeExprsOrBuilderList()affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3; -
getTimeExprsOrBuilder
affine expressions.
repeated .operations_research.sat.LinearExpressionProto time_exprs = 3; -
getLevelChangesList
List<LinearExpressionProto> getLevelChangesList()Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6; -
getLevelChanges
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6; -
getLevelChangesCount
int getLevelChangesCount()Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6; -
getLevelChangesOrBuilderList
List<? extends LinearExpressionProtoOrBuilder> getLevelChangesOrBuilderList()Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6; -
getLevelChangesOrBuilder
Currently, we only support constant level changes.
repeated .operations_research.sat.LinearExpressionProto level_changes = 6; -
getActiveLiteralsList
-
getActiveLiteralsCount
int getActiveLiteralsCount()repeated int32 active_literals = 5;- Returns:
- The count of activeLiterals.
-
getActiveLiterals
int getActiveLiterals(int index) repeated int32 active_literals = 5;- Parameters:
index- The index of the element to return.- Returns:
- The activeLiterals at the given index.
-