ConstraintProtoOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto
 
// Protobuf Java Version: 3.25.3
package com.google.ortools.sat;
 
public interface ConstraintProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.ConstraintProto)
    com.google.protobuf.MessageOrBuilder {
 
  java.lang.String getName();
  com.google.protobuf.ByteString
      getNameBytes();
 
  java.util.List<java.lang.Integer> getEnforcementLiteralList();
  int getEnforcementLiteralCount();
  int getEnforcementLiteral(int index);
 
  boolean hasBoolOr();
  com.google.ortools.sat.BoolArgumentProto getBoolOr();
  com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolOrOrBuilder();
 
  boolean hasBoolAnd();
  com.google.ortools.sat.BoolArgumentProto getBoolAnd();
  com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolAndOrBuilder();
 
  boolean hasAtMostOne();
  com.google.ortools.sat.BoolArgumentProto getAtMostOne();
  com.google.ortools.sat.BoolArgumentProtoOrBuilder getAtMostOneOrBuilder();
 
  boolean hasExactlyOne();
  com.google.ortools.sat.BoolArgumentProto getExactlyOne();
  com.google.ortools.sat.BoolArgumentProtoOrBuilder getExactlyOneOrBuilder();
 
  boolean hasBoolXor();
  com.google.ortools.sat.BoolArgumentProto getBoolXor();
  com.google.ortools.sat.BoolArgumentProtoOrBuilder getBoolXorOrBuilder();
 
  boolean hasIntDiv();
  com.google.ortools.sat.LinearArgumentProto getIntDiv();
  com.google.ortools.sat.LinearArgumentProtoOrBuilder getIntDivOrBuilder();
 
  boolean hasIntMod();
  com.google.ortools.sat.LinearArgumentProto getIntMod();
  com.google.ortools.sat.LinearArgumentProtoOrBuilder getIntModOrBuilder();
 
  boolean hasIntProd();
  com.google.ortools.sat.LinearArgumentProto getIntProd();
  com.google.ortools.sat.LinearArgumentProtoOrBuilder getIntProdOrBuilder();
 
  boolean hasLinMax();
  com.google.ortools.sat.LinearArgumentProto getLinMax();
  com.google.ortools.sat.LinearArgumentProtoOrBuilder getLinMaxOrBuilder();
 
  boolean hasLinear();
  com.google.ortools.sat.LinearConstraintProto getLinear();
  com.google.ortools.sat.LinearConstraintProtoOrBuilder getLinearOrBuilder();
 
  boolean hasAllDiff();
  com.google.ortools.sat.AllDifferentConstraintProto getAllDiff();
  com.google.ortools.sat.AllDifferentConstraintProtoOrBuilder getAllDiffOrBuilder();
 
  boolean hasElement();
  com.google.ortools.sat.ElementConstraintProto getElement();
  com.google.ortools.sat.ElementConstraintProtoOrBuilder getElementOrBuilder();
 
  boolean hasCircuit();
  com.google.ortools.sat.CircuitConstraintProto getCircuit();
  com.google.ortools.sat.CircuitConstraintProtoOrBuilder getCircuitOrBuilder();
 
  boolean hasRoutes();
  com.google.ortools.sat.RoutesConstraintProto getRoutes();
  com.google.ortools.sat.RoutesConstraintProtoOrBuilder getRoutesOrBuilder();
 
  boolean hasTable();
  com.google.ortools.sat.TableConstraintProto getTable();
  com.google.ortools.sat.TableConstraintProtoOrBuilder getTableOrBuilder();
 
  boolean hasAutomaton();
  com.google.ortools.sat.AutomatonConstraintProto getAutomaton();
  com.google.ortools.sat.AutomatonConstraintProtoOrBuilder getAutomatonOrBuilder();
 
  boolean hasInverse();
  com.google.ortools.sat.InverseConstraintProto getInverse();
  com.google.ortools.sat.InverseConstraintProtoOrBuilder getInverseOrBuilder();
 
  boolean hasReservoir();
  com.google.ortools.sat.ReservoirConstraintProto getReservoir();
  com.google.ortools.sat.ReservoirConstraintProtoOrBuilder getReservoirOrBuilder();
 
  boolean hasInterval();
  com.google.ortools.sat.IntervalConstraintProto getInterval();
  com.google.ortools.sat.IntervalConstraintProtoOrBuilder getIntervalOrBuilder();
 
  boolean hasNoOverlap();
  com.google.ortools.sat.NoOverlapConstraintProto getNoOverlap();
  com.google.ortools.sat.NoOverlapConstraintProtoOrBuilder getNoOverlapOrBuilder();
 
  boolean hasNoOverlap2D();
  com.google.ortools.sat.NoOverlap2DConstraintProto getNoOverlap2D();
  com.google.ortools.sat.NoOverlap2DConstraintProtoOrBuilder getNoOverlap2DOrBuilder();
 
  boolean hasCumulative();
  com.google.ortools.sat.CumulativeConstraintProto getCumulative();
  com.google.ortools.sat.CumulativeConstraintProtoOrBuilder getCumulativeOrBuilder();
 
  boolean hasDummyConstraint();
  com.google.ortools.sat.ListOfVariablesProto getDummyConstraint();
  com.google.ortools.sat.ListOfVariablesProtoOrBuilder getDummyConstraintOrBuilder();
 
  com.google.ortools.sat.ConstraintProto.ConstraintCase getConstraintCase();
}