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