ConstraintProtoOrBuilder.java

Go to the documentation of this file.

// Generated by the protocol buffer compiler.  DO NOT EDIT!
// NO CHECKED-IN PROTOBUF GENCODE
// source: ortools/sat/cp_model.proto
// Protobuf Java Version: 4.29.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();
}