Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
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, ...].
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 433 of file TableConstraintProto.java.

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

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.LinearExpressionProtogetExprsList ()
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.LinearExpressionProtoOrBuildergetExprsOrBuilderList ()
com.google.ortools.sat.LinearExpressionProto.Builder addExprsBuilder ()
com.google.ortools.sat.LinearExpressionProto.Builder addExprsBuilder (int index)
java.util.List< com.google.ortools.sat.LinearExpressionProto.BuildergetExprsBuilderList ()
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 1022 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
valuesThe values to add.
Returns
This builder for chaining.

Definition at line 865 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
valuesThe vars to add.
Returns
This builder for chaining.

Definition at line 777 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 961 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 994 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 977 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 1008 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 1091 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 1098 of file TableConstraintProto.java.

◆ addValues()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addValues ( long value)

repeated int64 values = 2;

Parameters
valueThe values to add.
Returns
This builder for chaining.

Definition at line 852 of file TableConstraintProto.java.

◆ addVars()

Builder com.google.ortools.sat.TableConstraintProto.Builder.addVars ( int value)
Legacy field.

repeated int32 vars = 1;

Parameters
valueThe vars to add.
Returns
This builder for chaining.

Definition at line 760 of file TableConstraintProto.java.

◆ build()

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

Definition at line 489 of file TableConstraintProto.java.

◆ buildPartial()

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

Definition at line 498 of file TableConstraintProto.java.

◆ clear()

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

Definition at line 461 of file TableConstraintProto.java.

◆ clearExprs()

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

repeated .operations_research.sat.LinearExpressionProto exprs = 4;

Definition at line 1037 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 1165 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 878 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 794 of file TableConstraintProto.java.

◆ getDefaultInstanceForType()

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

Definition at line 484 of file TableConstraintProto.java.

◆ getDescriptor()

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

Definition at line 438 of file TableConstraintProto.java.

◆ getDescriptorForType()

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

Definition at line 479 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 920 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 1063 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 1107 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 910 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 900 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 1070 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 1081 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 1136 of file TableConstraintProto.java.

◆ getValues()

long com.google.ortools.sat.TableConstraintProto.Builder.getValues ( int index)

repeated int64 values = 2;

Parameters
indexThe index of the element to return.
Returns
The values at the given index.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 829 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 821 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 813 of file TableConstraintProto.java.

◆ getVars()

int com.google.ortools.sat.TableConstraintProto.Builder.getVars ( int index)
Legacy field.

repeated int32 vars = 1;

Parameters
indexThe index of the element to return.
Returns
The vars at the given index.

Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.

Definition at line 729 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 717 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 705 of file TableConstraintProto.java.

◆ internalGetFieldAccessorTable()

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

Definition at line 444 of file TableConstraintProto.java.

◆ isInitialized()

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

Definition at line 602 of file TableConstraintProto.java.

◆ mergeFrom() [1/3]

Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom ( com.google.ortools.sat.TableConstraintProto other)

Definition at line 543 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 607 of file TableConstraintProto.java.

◆ mergeFrom() [3/3]

Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom ( com.google.protobuf.Message other)

Definition at line 534 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 1050 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 930 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 947 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
valueThe negated to set.
Returns
This builder for chaining.

Definition at line 1149 of file TableConstraintProto.java.

◆ setValues()

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

repeated int64 values = 2;

Parameters
indexThe index to set the value at.
valueThe values to set.
Returns
This builder for chaining.

Definition at line 838 of file TableConstraintProto.java.

◆ setVars()

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

repeated int32 vars = 1;

Parameters
indexThe index to set the value at.
valueThe vars to set.
Returns
This builder for chaining.

Definition at line 742 of file TableConstraintProto.java.


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