Class IntervalConstraintProto.Builder

  • All Implemented Interfaces:
    IntervalConstraintProtoOrBuilder, com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, java.lang.Cloneable
    Enclosing class:
    IntervalConstraintProto

    public static final class IntervalConstraintProto.Builder
    extends com.google.protobuf.GeneratedMessageV3.Builder<IntervalConstraintProto.Builder>
    implements IntervalConstraintProtoOrBuilder
     This is not really a constraint. It is there so it can be referred by other
     constraints using this "interval" concept.
    
     IMPORTANT: For now, this constraint do not enforce any relations on the
     components, and it is up to the client to add in the model:
     - enforcement => start + size == end.
     - enforcement => size >= 0  // Only needed if size is not already >= 0.
    
     IMPORTANT: For now, we just support affine relation. We could easily
     create an intermediate variable to support full linear expression, but this
     isn't done currently.
     
    Protobuf type operations_research.sat.IntervalConstraintProto