com.google.ortools.sat.TableConstraintProto.Builder Class Reference

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 435 of file TableConstraintProto.java.

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

Public Member Functions
Builder	clear ()
com.google.protobuf.Descriptors.Descriptor	getDescriptorForType ()
com.google.ortools.sat.TableConstraintProto	getDefaultInstanceForType ()
com.google.ortools.sat.TableConstraintProto	build ()
com.google.ortools.sat.TableConstraintProto	buildPartial ()
Builder	mergeFrom (com.google.protobuf.Message other)
Builder	mergeFrom (com.google.ortools.sat.TableConstraintProto other)
final boolean	isInitialized ()
Builder	mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.util.List< java.lang.Integer >	getVarsList ()
int	getVarsCount ()
int	getVars (int index)
Builder	setVars (int index, int value)
Builder	addVars (int value)
Builder	addAllVars (java.lang.Iterable<? extends java.lang.Integer > values)
Builder	clearVars ()
java.util.List< java.lang.Long >	getValuesList ()
int	getValuesCount ()
long	getValues (int index)
Builder	setValues (int index, long value)
Builder	addValues (long value)
Builder	addAllValues (java.lang.Iterable<? extends java.lang.Long > values)
Builder	clearValues ()
java.util.List< com.google.ortools.sat.LinearExpressionProto >	getExprsList ()
int	getExprsCount ()
com.google.ortools.sat.LinearExpressionProto	getExprs (int index)
Builder	setExprs (int index, com.google.ortools.sat.LinearExpressionProto value)
Builder	setExprs (int index, com.google.ortools.sat.LinearExpressionProto.Builder builderForValue)
Builder	addExprs (com.google.ortools.sat.LinearExpressionProto value)
Builder	addExprs (int index, com.google.ortools.sat.LinearExpressionProto value)
Builder	addExprs (com.google.ortools.sat.LinearExpressionProto.Builder builderForValue)
Builder	addExprs (int index, com.google.ortools.sat.LinearExpressionProto.Builder builderForValue)
Builder	addAllExprs (java.lang.Iterable<? extends com.google.ortools.sat.LinearExpressionProto > values)
Builder	clearExprs ()
Builder	removeExprs (int index)
com.google.ortools.sat.LinearExpressionProto.Builder	getExprsBuilder (int index)
com.google.ortools.sat.LinearExpressionProtoOrBuilder	getExprsOrBuilder (int index)
java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder >	getExprsOrBuilderList ()
com.google.ortools.sat.LinearExpressionProto.Builder	addExprsBuilder ()
com.google.ortools.sat.LinearExpressionProto.Builder	addExprsBuilder (int index)
java.util.List< com.google.ortools.sat.LinearExpressionProto.Builder >	getExprsBuilderList ()
boolean	getNegated ()
Builder	setNegated (boolean value)
Builder	clearNegated ()

Static Public Member Functions
static final com.google.protobuf.Descriptors.Descriptor	getDescriptor ()

Protected Member Functions
com.google.protobuf.GeneratedMessage.FieldAccessorTable	internalGetFieldAccessorTable ()

Member Function Documentation

addAllExprs()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addAllExprs

(

java.lang.Iterable<? extends com.google.ortools.sat.LinearExpressionProto >

values

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1024 of file TableConstraintProto.java.

addAllValues()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addAllValues

(

java.lang.Iterable<? extends java.lang.Long >

values

)

repeated int64 values = 2;

Parameters

values

The values to add.

Returns

This builder for chaining.

Definition at line 867 of file TableConstraintProto.java.

addAllVars()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addAllVars

(

java.lang.Iterable<? extends java.lang.Integer >

values

)

Legacy field.

repeated int32 vars = 1;

Parameters

values

The vars to add.

Returns

This builder for chaining.

Definition at line 779 of file TableConstraintProto.java.

addExprs() [1/4]

Builder com.google.ortools.sat.TableConstraintProto.Builder.addExprs

(

com.google.ortools.sat.LinearExpressionProto

value

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 963 of file TableConstraintProto.java.

addExprs() [2/4]

Builder com.google.ortools.sat.TableConstraintProto.Builder.addExprs

(

com.google.ortools.sat.LinearExpressionProto.Builder

builderForValue

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 996 of file TableConstraintProto.java.

addExprs() [3/4]

Builder com.google.ortools.sat.TableConstraintProto.Builder.addExprs	(	int	index,
		com.google.ortools.sat.LinearExpressionProto	value )

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 979 of file TableConstraintProto.java.

addExprs() [4/4]

Builder com.google.ortools.sat.TableConstraintProto.Builder.addExprs	(	int	index,
		com.google.ortools.sat.LinearExpressionProto.Builder	builderForValue )

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1010 of file TableConstraintProto.java.

addExprsBuilder() [1/2]

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.TableConstraintProto.Builder.addExprsBuilder

(

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1093 of file TableConstraintProto.java.

addExprsBuilder() [2/2]

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.TableConstraintProto.Builder.addExprsBuilder

(

int

index

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1100 of file TableConstraintProto.java.

addValues()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addValues

(

long

value

)

repeated int64 values = 2;

Parameters

value

The values to add.

Returns

This builder for chaining.

Definition at line 854 of file TableConstraintProto.java.

addVars()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addVars

(

int

value

)

Legacy field.

repeated int32 vars = 1;

Parameters

value

The vars to add.

Returns

This builder for chaining.

Definition at line 762 of file TableConstraintProto.java.

build()

com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.Builder.build

(

)

Definition at line 491 of file TableConstraintProto.java.

buildPartial()

com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.Builder.buildPartial

(

)

Definition at line 500 of file TableConstraintProto.java.

clear()

Builder com.google.ortools.sat.TableConstraintProto.Builder.clear

(

)

Definition at line 463 of file TableConstraintProto.java.

clearExprs()

Builder com.google.ortools.sat.TableConstraintProto.Builder.clearExprs

(

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1039 of file TableConstraintProto.java.

clearNegated()

Builder com.google.ortools.sat.TableConstraintProto.Builder.clearNegated

(

)

If true, the meaning is "negated", that is we forbid any of the given
tuple from a feasible assignment.

bool negated = 3;

Returns

This builder for chaining.

Definition at line 1167 of file TableConstraintProto.java.

clearValues()

Builder com.google.ortools.sat.TableConstraintProto.Builder.clearValues

(

)

repeated int64 values = 2;

Returns

This builder for chaining.

Definition at line 880 of file TableConstraintProto.java.

clearVars()

Builder com.google.ortools.sat.TableConstraintProto.Builder.clearVars

(

)

Legacy field.

repeated int32 vars = 1;

Returns

This builder for chaining.

Definition at line 796 of file TableConstraintProto.java.

getDefaultInstanceForType()

com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.Builder.getDefaultInstanceForType

(

)

Definition at line 486 of file TableConstraintProto.java.

getDescriptor()

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

static

Definition at line 440 of file TableConstraintProto.java.

getDescriptorForType()

com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.TableConstraintProto.Builder.getDescriptorForType

(

)

Definition at line 481 of file TableConstraintProto.java.

getExprs()

com.google.ortools.sat.LinearExpressionProto com.google.ortools.sat.TableConstraintProto.Builder.getExprs

(

int

index

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 922 of file TableConstraintProto.java.

getExprsBuilder()

com.google.ortools.sat.LinearExpressionProto.Builder com.google.ortools.sat.TableConstraintProto.Builder.getExprsBuilder

(

int

index

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1065 of file TableConstraintProto.java.

getExprsBuilderList()

java.util.List< com.google.ortools.sat.LinearExpressionProto.Builder > com.google.ortools.sat.TableConstraintProto.Builder.getExprsBuilderList

(

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1109 of file TableConstraintProto.java.

getExprsCount()

int com.google.ortools.sat.TableConstraintProto.Builder.getExprsCount

(

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 912 of file TableConstraintProto.java.

getExprsList()

java.util.List< com.google.ortools.sat.LinearExpressionProto > com.google.ortools.sat.TableConstraintProto.Builder.getExprsList

(

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 902 of file TableConstraintProto.java.

getExprsOrBuilder()

com.google.ortools.sat.LinearExpressionProtoOrBuilder com.google.ortools.sat.TableConstraintProto.Builder.getExprsOrBuilder

(

int

index

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 1072 of file TableConstraintProto.java.

getExprsOrBuilderList()

java.util.List<? extends com.google.ortools.sat.LinearExpressionProtoOrBuilder > com.google.ortools.sat.TableConstraintProto.Builder.getExprsOrBuilderList

(

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 1083 of file TableConstraintProto.java.

getNegated()

boolean com.google.ortools.sat.TableConstraintProto.Builder.getNegated

(

)

If true, the meaning is "negated", that is we forbid any of the given
tuple from a feasible assignment.

bool negated = 3;

Returns

The negated.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 1138 of file TableConstraintProto.java.

getValues()

long com.google.ortools.sat.TableConstraintProto.Builder.getValues

(

int

index

)

repeated int64 values = 2;

Parameters

index

The index of the element to return.

Returns

The values at the given index.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 831 of file TableConstraintProto.java.

getValuesCount()

int com.google.ortools.sat.TableConstraintProto.Builder.getValuesCount

(

)

repeated int64 values = 2;

Returns

The count of values.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 823 of file TableConstraintProto.java.

getValuesList()

java.util.List< java.lang.Long > com.google.ortools.sat.TableConstraintProto.Builder.getValuesList

(

)

repeated int64 values = 2;

Returns

A list containing the values.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 815 of file TableConstraintProto.java.

getVars()

int com.google.ortools.sat.TableConstraintProto.Builder.getVars

(

int

index

)

Legacy field.

repeated int32 vars = 1;

Parameters

index

The index of the element to return.

Returns

The vars at the given index.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 731 of file TableConstraintProto.java.

getVarsCount()

int com.google.ortools.sat.TableConstraintProto.Builder.getVarsCount

(

)

Legacy field.

repeated int32 vars = 1;

Returns

The count of vars.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 719 of file TableConstraintProto.java.

getVarsList()

java.util.List< java.lang.Integer > com.google.ortools.sat.TableConstraintProto.Builder.getVarsList

(

)

Legacy field.

repeated int32 vars = 1;

Returns

A list containing the vars.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 707 of file TableConstraintProto.java.

internalGetFieldAccessorTable()

com.google.protobuf.GeneratedMessage.FieldAccessorTable com.google.ortools.sat.TableConstraintProto.Builder.internalGetFieldAccessorTable ( )

protected

Definition at line 446 of file TableConstraintProto.java.

isInitialized()

final boolean com.google.ortools.sat.TableConstraintProto.Builder.isInitialized

(

)

Definition at line 604 of file TableConstraintProto.java.

mergeFrom() [1/3]

Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom

(

com.google.ortools.sat.TableConstraintProto

other

)

Definition at line 545 of file TableConstraintProto.java.

mergeFrom() [2/3]

Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom	(	com.google.protobuf.CodedInputStream	input,
		com.google.protobuf.ExtensionRegistryLite	extensionRegistry ) throws java.io.IOException

Definition at line 609 of file TableConstraintProto.java.

mergeFrom() [3/3]

Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom

(

com.google.protobuf.Message

other

)

Definition at line 536 of file TableConstraintProto.java.

removeExprs()

Builder com.google.ortools.sat.TableConstraintProto.Builder.removeExprs

(

int

index

)

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1052 of file TableConstraintProto.java.

setExprs() [1/2]

Builder com.google.ortools.sat.TableConstraintProto.Builder.setExprs	(	int	index,
		com.google.ortools.sat.LinearExpressionProto	value )

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 932 of file TableConstraintProto.java.

setExprs() [2/2]

Builder com.google.ortools.sat.TableConstraintProto.Builder.setExprs	(	int	index,
		com.google.ortools.sat.LinearExpressionProto.Builder	builderForValue )

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 949 of file TableConstraintProto.java.

setNegated()

Builder com.google.ortools.sat.TableConstraintProto.Builder.setNegated

(

boolean

value

)

If true, the meaning is "negated", that is we forbid any of the given
tuple from a feasible assignment.

bool negated = 3;

Parameters

value

The negated to set.

Returns

This builder for chaining.

Definition at line 1151 of file TableConstraintProto.java.

setValues()

Builder com.google.ortools.sat.TableConstraintProto.Builder.setValues	(	int	index,
		long	value )

repeated int64 values = 2;

Parameters

index	The index to set the value at.
value	The values to set.

Returns

This builder for chaining.

Definition at line 840 of file TableConstraintProto.java.

setVars()

Builder com.google.ortools.sat.TableConstraintProto.Builder.setVars	(	int	index,
		int	value )

Legacy field.

repeated int32 vars = 1;

Parameters

index	The index to set the value at.
value	The vars to set.

Returns

This builder for chaining.

Definition at line 744 of file TableConstraintProto.java.

---

The documentation for this class was generated from the following file:

• build/java/ortools-java/src/main/java/com/google/ortools/sat/TableConstraintProto.java