Detailed Description

The values of the n-tuple formed by the given expression can only be one of
the listed n-tuples in values. The n-tuples are encoded in a flattened way:
[tuple0_v0, tuple0_v1, ..., tuple0_v{n-1}, tuple1_v0, ...].
Expressions must be affine (a * var + b).
Corner cases:
- If all `vars`, `values` and `exprs` are empty, the constraint is trivially
true, irrespective of the value of `negated`.
- If `values` is empty but either vars or exprs is not, the constraint is
trivially false if `negated` is false, and trivially true if `negated` is
true.
- If `vars` and `exprs` are empty but `values` is not, the model is invalid.

Protobuf type operations_research.sat.TableConstraintProto

Definition at line 26 of file TableConstraintProto.java.

Inheritance diagram for com.google.ortools.sat.TableConstraintProto:

Classes
class	Builder

Public Member Functions
java.util.List< java.lang.Integer >	getVarsList ()
int	getVarsCount ()
int	getVars (int index)
java.util.List< java.lang.Long >	getValuesList ()
int	getValuesCount ()
long	getValues (int index)
java.util.List< com.google.ortools.sat.LinearExpressionProto >	getExprsList ()
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder >	getExprsOrBuilderList ()
int	getExprsCount ()
com.google.ortools.sat.LinearExpressionProto	getExprs (int index)
com.google.ortools.sat.LinearExpressionProtoOrBuilder	getExprsOrBuilder (int index)
boolean	getNegated ()
final boolean	isInitialized ()
void	writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException
int	getSerializedSize ()
boolean	equals (final java.lang.Object obj)
int	hashCode ()
Builder	newBuilderForType ()
Builder	toBuilder ()
com.google.protobuf.Parser< TableConstraintProto >	getParserForType ()
com.google.ortools.sat.TableConstraintProto	getDefaultInstanceForType ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()
static com.google.ortools.sat.TableConstraintProto	parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.TableConstraintProto	parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.TableConstraintProto	parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.TableConstraintProto	parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.TableConstraintProto	parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.TableConstraintProto	parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
static com.google.ortools.sat.TableConstraintProto	parseFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.TableConstraintProto	parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.TableConstraintProto	parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException
static com.google.ortools.sat.TableConstraintProto	parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static com.google.ortools.sat.TableConstraintProto	parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException
static com.google.ortools.sat.TableConstraintProto	parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
static Builder	newBuilder ()
static Builder	newBuilder (com.google.ortools.sat.TableConstraintProto prototype)
static com.google.ortools.sat.TableConstraintProto	getDefaultInstance ()
static com.google.protobuf.Parser< TableConstraintProto >	parser ()

Static Public Attributes
static final int	VARS_FIELD_NUMBER = 1
static final int	VALUES_FIELD_NUMBER = 2
static final int	EXPRS_FIELD_NUMBER = 4
static final int	NEGATED_FIELD_NUMBER = 3

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()
Builder	newBuilderForType (com.google.protobuf.GeneratedMessage.BuilderParent parent)

Member Function Documentation

◆ equals()

boolean com.google.ortools.sat.TableConstraintProto.equals ( final java.lang.Object obj )

Definition at line 278 of file TableConstraintProto.java.

◆ getDefaultInstance()

com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.getDefaultInstance ( )

static

Definition at line 1183 of file TableConstraintProto.java.

◆ getDefaultInstanceForType()

com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.getDefaultInstanceForType ( )

Definition at line 1219 of file TableConstraintProto.java.

◆ getDescriptor()

final com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.TableConstraintProto.getDescriptor ( )

static

Definition at line 51 of file TableConstraintProto.java.

◆ getExprs()

com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.TableConstraintProto.getExprs ( int index )