All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.google.ortools.sat.TableConstraintProtoOrBuilder Maven / Gradle / Ivy

The newest version!
// Generated by the protocol buffer compiler.  DO NOT EDIT!
// source: ortools/sat/cp_model.proto

package com.google.ortools.sat;

public interface TableConstraintProtoOrBuilder extends
    // @@protoc_insertion_point(interface_extends:operations_research.sat.TableConstraintProto)
    com.google.protobuf.MessageOrBuilder {

  /**
   * repeated int32 vars = 1;
   * @return A list containing the vars.
   */
  java.util.List getVarsList();
  /**
   * repeated int32 vars = 1;
   * @return The count of vars.
   */
  int getVarsCount();
  /**
   * repeated int32 vars = 1;
   * @param index The index of the element to return.
   * @return The vars at the given index.
   */
  int getVars(int index);

  /**
   * repeated int64 values = 2;
   * @return A list containing the values.
   */
  java.util.List getValuesList();
  /**
   * repeated int64 values = 2;
   * @return The count of values.
   */
  int getValuesCount();
  /**
   * repeated int64 values = 2;
   * @param index The index of the element to return.
   * @return The values at the given index.
   */
  long getValues(int index);

  /**
   * 
   * If true, the meaning is "negated", that is we forbid any of the given
   * tuple from a feasible assignment.
   * 
* * bool negated = 3; * @return The negated. */ boolean getNegated(); }




© 2015 - 2025 Weber Informatics LLC | Privacy Policy