Interface ReservoirConstraintProtoOrBuilder

All Superinterfaces:
com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
All Known Implementing Classes:
ReservoirConstraintProto, ReservoirConstraintProto.Builder

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<Long> getLevelChangesList()
       constants, can be negative.
       
      repeated int64 level_changes = 4;
      Returns:
      A list containing the levelChanges.
    • getLevelChangesCount

      int getLevelChangesCount()
       constants, can be negative.
       
      repeated int64 level_changes = 4;
      Returns:
      The count of levelChanges.
    • getLevelChanges

      long getLevelChanges(int index)
       constants, can be negative.
       
      repeated int64 level_changes = 4;
      Parameters:
      index - The index of the element to return.
      Returns:
      The levelChanges at the given index.
    • 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.