public static final class TableConstraintProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<TableConstraintProto.Builder> implements TableConstraintProtoOrBuilder
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
Modifier and Type | Method and Description |
---|---|
TableConstraintProto.Builder |
addAllExprs(java.lang.Iterable<? extends LinearExpressionProto> values)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
addAllValues(java.lang.Iterable<? extends java.lang.Long> values)
repeated int64 values = 2; |
TableConstraintProto.Builder |
addAllVars(java.lang.Iterable<? extends java.lang.Integer> values)
Legacy field.
|
TableConstraintProto.Builder |
addExprs(int index,
LinearExpressionProto.Builder builderForValue)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
addExprs(int index,
LinearExpressionProto value)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
addExprs(LinearExpressionProto.Builder builderForValue)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
addExprs(LinearExpressionProto value)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
LinearExpressionProto.Builder |
addExprsBuilder()
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
LinearExpressionProto.Builder |
addExprsBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
addValues(long value)
repeated int64 values = 2; |
TableConstraintProto.Builder |
addVars(int value)
Legacy field.
|
TableConstraintProto |
build() |
TableConstraintProto |
buildPartial() |
TableConstraintProto.Builder |
clear() |
TableConstraintProto.Builder |
clearExprs()
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
clearNegated()
If true, the meaning is "negated", that is we forbid any of the given
tuple from a feasible assignment.
|
TableConstraintProto.Builder |
clearValues()
repeated int64 values = 2; |
TableConstraintProto.Builder |
clearVars()
Legacy field.
|
TableConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
LinearExpressionProto |
getExprs(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
LinearExpressionProto.Builder |
getExprsBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
java.util.List<LinearExpressionProto.Builder> |
getExprsBuilderList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
int |
getExprsCount()
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
java.util.List<LinearExpressionProto> |
getExprsList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
LinearExpressionProtoOrBuilder |
getExprsOrBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
java.util.List<? extends LinearExpressionProtoOrBuilder> |
getExprsOrBuilderList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
boolean |
getNegated()
If true, the meaning is "negated", that is we forbid any of the given
tuple from a feasible assignment.
|
long |
getValues(int index)
repeated int64 values = 2; |
int |
getValuesCount()
repeated int64 values = 2; |
java.util.List<java.lang.Long> |
getValuesList()
repeated int64 values = 2; |
int |
getVars(int index)
Legacy field.
|
int |
getVarsCount()
Legacy field.
|
java.util.List<java.lang.Integer> |
getVarsList()
Legacy field.
|
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
TableConstraintProto.Builder |
mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
TableConstraintProto.Builder |
mergeFrom(com.google.protobuf.Message other) |
TableConstraintProto.Builder |
mergeFrom(TableConstraintProto other) |
TableConstraintProto.Builder |
removeExprs(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
setExprs(int index,
LinearExpressionProto.Builder builderForValue)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
setExprs(int index,
LinearExpressionProto value)
repeated .operations_research.sat.LinearExpressionProto exprs = 4; |
TableConstraintProto.Builder |
setNegated(boolean value)
If true, the meaning is "negated", that is we forbid any of the given
tuple from a feasible assignment.
|
TableConstraintProto.Builder |
setValues(int index,
long value)
repeated int64 values = 2; |
TableConstraintProto.Builder |
setVars(int index,
int value)
Legacy field.
|
addRepeatedField, clearField, clearOneof, clone, getAllFields, getField, getFieldBuilder, getOneofFieldDescriptor, getParentForChildren, getRepeatedField, getRepeatedFieldBuilder, getRepeatedFieldCount, getUnknownFields, getUnknownFieldSetBuilder, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, internalGetMutableMapField, internalGetMutableMapFieldReflection, isClean, markClean, mergeUnknownFields, mergeUnknownLengthDelimitedField, mergeUnknownVarintField, newBuilderForField, onBuilt, onChanged, parseUnknownField, setField, setRepeatedField, setUnknownFields, setUnknownFieldSetBuilder, setUnknownFieldsProto3
findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString
addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageException
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable
in class com.google.protobuf.GeneratedMessage.Builder<TableConstraintProto.Builder>
public TableConstraintProto.Builder clear()
clear
in interface com.google.protobuf.Message.Builder
clear
in interface com.google.protobuf.MessageLite.Builder
clear
in class com.google.protobuf.GeneratedMessage.Builder<TableConstraintProto.Builder>
public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
getDescriptorForType
in interface com.google.protobuf.Message.Builder
getDescriptorForType
in interface com.google.protobuf.MessageOrBuilder
getDescriptorForType
in class com.google.protobuf.GeneratedMessage.Builder<TableConstraintProto.Builder>
public TableConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
public TableConstraintProto build()
build
in interface com.google.protobuf.Message.Builder
build
in interface com.google.protobuf.MessageLite.Builder
public TableConstraintProto buildPartial()
buildPartial
in interface com.google.protobuf.Message.Builder
buildPartial
in interface com.google.protobuf.MessageLite.Builder
public TableConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<TableConstraintProto.Builder>
public TableConstraintProto.Builder mergeFrom(TableConstraintProto other)
public final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage.Builder<TableConstraintProto.Builder>
public TableConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
in interface com.google.protobuf.MessageLite.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<TableConstraintProto.Builder>
java.io.IOException
public java.util.List<java.lang.Integer> getVarsList()
Legacy field.
repeated int32 vars = 1;
getVarsList
in interface TableConstraintProtoOrBuilder
public int getVarsCount()
Legacy field.
repeated int32 vars = 1;
getVarsCount
in interface TableConstraintProtoOrBuilder
public int getVars(int index)
Legacy field.
repeated int32 vars = 1;
getVars
in interface TableConstraintProtoOrBuilder
index
- The index of the element to return.public 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.public TableConstraintProto.Builder addVars(int value)
Legacy field.
repeated int32 vars = 1;
value
- The vars to add.public TableConstraintProto.Builder addAllVars(java.lang.Iterable<? extends java.lang.Integer> values)
Legacy field.
repeated int32 vars = 1;
values
- The vars to add.public TableConstraintProto.Builder clearVars()
Legacy field.
repeated int32 vars = 1;
public java.util.List<java.lang.Long> getValuesList()
repeated int64 values = 2;
getValuesList
in interface TableConstraintProtoOrBuilder
public int getValuesCount()
repeated int64 values = 2;
getValuesCount
in interface TableConstraintProtoOrBuilder
public long getValues(int index)
repeated int64 values = 2;
getValues
in interface TableConstraintProtoOrBuilder
index
- The index of the element to return.public TableConstraintProto.Builder setValues(int index, long value)
repeated int64 values = 2;
index
- The index to set the value at.value
- The values to set.public TableConstraintProto.Builder addValues(long value)
repeated int64 values = 2;
value
- The values to add.public TableConstraintProto.Builder addAllValues(java.lang.Iterable<? extends java.lang.Long> values)
repeated int64 values = 2;
values
- The values to add.public TableConstraintProto.Builder clearValues()
repeated int64 values = 2;
public java.util.List<LinearExpressionProto> getExprsList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsList
in interface TableConstraintProtoOrBuilder
public int getExprsCount()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsCount
in interface TableConstraintProtoOrBuilder
public LinearExpressionProto getExprs(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprs
in interface TableConstraintProtoOrBuilder
public TableConstraintProto.Builder setExprs(int index, LinearExpressionProto value)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder setExprs(int index, LinearExpressionProto.Builder builderForValue)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder addExprs(LinearExpressionProto value)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder addExprs(int index, LinearExpressionProto value)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder addExprs(LinearExpressionProto.Builder builderForValue)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder addExprs(int index, LinearExpressionProto.Builder builderForValue)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder addAllExprs(java.lang.Iterable<? extends LinearExpressionProto> values)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder clearExprs()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public TableConstraintProto.Builder removeExprs(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public LinearExpressionProto.Builder getExprsBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public LinearExpressionProtoOrBuilder getExprsOrBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsOrBuilder
in interface TableConstraintProtoOrBuilder
public java.util.List<? extends LinearExpressionProtoOrBuilder> getExprsOrBuilderList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsOrBuilderList
in interface TableConstraintProtoOrBuilder
public LinearExpressionProto.Builder addExprsBuilder()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public LinearExpressionProto.Builder addExprsBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public java.util.List<LinearExpressionProto.Builder> getExprsBuilderList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
public boolean getNegated()
If true, the meaning is "negated", that is we forbid any of the given tuple from a feasible assignment.
bool negated = 3;
getNegated
in interface TableConstraintProtoOrBuilder
public 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.public 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;
Copyright © 2025. All rights reserved.