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 Detail

      • getMinLevel

        long getMinLevel()
        int64 min_level = 1;
        Returns:
        The minLevel.
      • getMaxLevel

        long getMaxLevel()
        int64 max_level = 2;
        Returns:
        The maxLevel.
      • getTimeExprsList

        java.util.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

        java.util.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

        java.util.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

        java.util.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

        java.util.List<java.lang.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.