CircuitConstraintProtoOrBuilder.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 CircuitConstraintProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.CircuitConstraintProto)
    com.google.protobuf.MessageOrBuilder {
 
  java.util.List<java.lang.Integer> getTailsList();
  int getTailsCount();
  int getTails(int index);
 
  java.util.List<java.lang.Integer> getHeadsList();
  int getHeadsCount();
  int getHeads(int index);
 
  java.util.List<java.lang.Integer> getLiteralsList();
  int getLiteralsCount();
  int getLiterals(int index);
}