![]() |
Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
|
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.
Static Public Member Functions | |
| static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
Protected Member Functions | |
| com.google.protobuf.GeneratedMessage.FieldAccessorTable | internalGetFieldAccessorTable () |
| 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.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.addAllValues | ( | java.lang.Iterable<? extends java.lang.Long > | values | ) |
repeated int64 values = 2;
| values | The values to add. |
Definition at line 865 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.addAllVars | ( | java.lang.Iterable<? extends java.lang.Integer > | values | ) |
Legacy field.
repeated int32 vars = 1;
| values | The vars to add. |
Definition at line 777 of file TableConstraintProto.java.
| 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.
| 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.
| 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.
| 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.
| 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.
| 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.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.addValues | ( | long | value | ) |
repeated int64 values = 2;
| value | The values to add. |
Definition at line 852 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.addVars | ( | int | value | ) |
Legacy field.
repeated int32 vars = 1;
| value | The vars to add. |
Definition at line 760 of file TableConstraintProto.java.
| com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.Builder.build | ( | ) |
Definition at line 489 of file TableConstraintProto.java.
| com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.Builder.buildPartial | ( | ) |
Definition at line 498 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.clear | ( | ) |
Definition at line 461 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.clearExprs | ( | ) |
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
Definition at line 1037 of file TableConstraintProto.java.
| 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;
Definition at line 1165 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.clearValues | ( | ) |
repeated int64 values = 2;
Definition at line 878 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.clearVars | ( | ) |
Legacy field.
repeated int32 vars = 1;
Definition at line 794 of file TableConstraintProto.java.
| com.google.ortools.sat.TableConstraintProto com.google.ortools.sat.TableConstraintProto.Builder.getDefaultInstanceForType | ( | ) |
Definition at line 484 of file TableConstraintProto.java.
|
static |
Definition at line 438 of file TableConstraintProto.java.
| com.google.protobuf.Descriptors.Descriptor com.google.ortools.sat.TableConstraintProto.Builder.getDescriptorForType | ( | ) |
Definition at line 479 of file TableConstraintProto.java.
| 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.
| 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.
| 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.
| 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.
| 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.
| 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.
| 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.
| 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;
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 1136 of file TableConstraintProto.java.
| long com.google.ortools.sat.TableConstraintProto.Builder.getValues | ( | int | index | ) |
repeated int64 values = 2;
| index | The index of the element to return. |
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 829 of file TableConstraintProto.java.
| int com.google.ortools.sat.TableConstraintProto.Builder.getValuesCount | ( | ) |
repeated int64 values = 2;
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 821 of file TableConstraintProto.java.
| java.util.List< java.lang.Long > com.google.ortools.sat.TableConstraintProto.Builder.getValuesList | ( | ) |
repeated int64 values = 2;
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 813 of file TableConstraintProto.java.
| int com.google.ortools.sat.TableConstraintProto.Builder.getVars | ( | int | index | ) |
Legacy field.
repeated int32 vars = 1;
| index | The index of the element to return. |
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 729 of file TableConstraintProto.java.
| int com.google.ortools.sat.TableConstraintProto.Builder.getVarsCount | ( | ) |
Legacy field.
repeated int32 vars = 1;
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 717 of file TableConstraintProto.java.
| java.util.List< java.lang.Integer > com.google.ortools.sat.TableConstraintProto.Builder.getVarsList | ( | ) |
Legacy field.
repeated int32 vars = 1;
Implements com.google.ortools.sat.TableConstraintProtoOrBuilder.
Definition at line 705 of file TableConstraintProto.java.
|
protected |
Definition at line 444 of file TableConstraintProto.java.
| final boolean com.google.ortools.sat.TableConstraintProto.Builder.isInitialized | ( | ) |
Definition at line 602 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom | ( | com.google.ortools.sat.TableConstraintProto | other | ) |
Definition at line 543 of file TableConstraintProto.java.
| 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.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.mergeFrom | ( | com.google.protobuf.Message | other | ) |
Definition at line 534 of file TableConstraintProto.java.
| 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.
| 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.
| 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.
| 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;
| value | The negated to set. |
Definition at line 1149 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.setValues | ( | int | index, |
| long | value ) |
repeated int64 values = 2;
| index | The index to set the value at. |
| value | The values to set. |
Definition at line 838 of file TableConstraintProto.java.
| Builder com.google.ortools.sat.TableConstraintProto.Builder.setVars | ( | int | index, |
| int | value ) |
Legacy field.
repeated int32 vars = 1;
| index | The index to set the value at. |
| value | The vars to set. |
Definition at line 742 of file TableConstraintProto.java.