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 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

      LinearExpressionProto getTimeExprs(int index)
       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

      LinearExpressionProtoOrBuilder getTimeExprsOrBuilder(int index)
       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

      LinearExpressionProto getLevelChanges(int index)
       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

      LinearExpressionProtoOrBuilder getLevelChangesOrBuilder(int index)
       Currently, we only support constant level changes.
       
      repeated .operations_research.sat.LinearExpressionProto level_changes = 6;
    • getActiveLiteralsList

      List<Integer> getActiveLiteralsList()
      repeated int32 active_literals = 5;
      Returns:
      A list containing the activeLiterals.
    • 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.