public final class TableConstraintProto extends com.google.protobuf.GeneratedMessage 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 | Class and Description |
---|---|
static class |
TableConstraintProto.Builder
The values of the n-tuple formed by the given expression can only be one of
the listed n-tuples in values.
|
com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>,BuilderT extends com.google.protobuf.GeneratedMessage.ExtendableBuilder<MessageT,BuilderT>>, com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessage.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessage.FieldAccessorTable, com.google.protobuf.GeneratedMessage.GeneratedExtension<ContainingT extends com.google.protobuf.Message,T>, com.google.protobuf.GeneratedMessage.UnusedPrivateParameter
Modifier and Type | Field and Description |
---|---|
static int |
EXPRS_FIELD_NUMBER |
static int |
NEGATED_FIELD_NUMBER |
static int |
VALUES_FIELD_NUMBER |
static int |
VARS_FIELD_NUMBER |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object obj) |
static TableConstraintProto |
getDefaultInstance() |
TableConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
LinearExpressionProto |
getExprs(int index)
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.
|
com.google.protobuf.Parser<TableConstraintProto> |
getParserForType() |
int |
getSerializedSize() |
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.
|
int |
hashCode() |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
static TableConstraintProto.Builder |
newBuilder() |
static TableConstraintProto.Builder |
newBuilder(TableConstraintProto prototype) |
TableConstraintProto.Builder |
newBuilderForType() |
protected TableConstraintProto.Builder |
newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
static TableConstraintProto |
parseDelimitedFrom(java.io.InputStream input) |
static TableConstraintProto |
parseDelimitedFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static TableConstraintProto |
parseFrom(byte[] data) |
static TableConstraintProto |
parseFrom(byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static TableConstraintProto |
parseFrom(java.nio.ByteBuffer data) |
static TableConstraintProto |
parseFrom(java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static TableConstraintProto |
parseFrom(com.google.protobuf.ByteString data) |
static TableConstraintProto |
parseFrom(com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static TableConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input) |
static TableConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static TableConstraintProto |
parseFrom(java.io.InputStream input) |
static TableConstraintProto |
parseFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static com.google.protobuf.Parser<TableConstraintProto> |
parser() |
TableConstraintProto.Builder |
toBuilder() |
void |
writeTo(com.google.protobuf.CodedOutputStream output) |
canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof, internalGetMapField, internalGetMapFieldReflection, isStringEmpty, makeMutableCopy, makeMutableCopy, mergeFromAndMakeImmutableInternal, newFileScopedGeneratedExtension, newInstance, newMessageScopedGeneratedExtension, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTag
findInitializationErrors, getInitializationErrorString, hashFields, toString
addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public static final int VARS_FIELD_NUMBER
public static final int VALUES_FIELD_NUMBER
public static final int EXPRS_FIELD_NUMBER
public static final int NEGATED_FIELD_NUMBER
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable
in class com.google.protobuf.GeneratedMessage
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 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 java.util.List<LinearExpressionProto> getExprsList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsList
in interface TableConstraintProtoOrBuilder
public java.util.List<? extends LinearExpressionProtoOrBuilder> getExprsOrBuilderList()
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsOrBuilderList
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 LinearExpressionProtoOrBuilder getExprsOrBuilder(int index)
repeated .operations_research.sat.LinearExpressionProto exprs = 4;
getExprsOrBuilder
in interface TableConstraintProtoOrBuilder
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 final boolean isInitialized()
isInitialized
in interface com.google.protobuf.MessageLiteOrBuilder
isInitialized
in class com.google.protobuf.GeneratedMessage
public void writeTo(com.google.protobuf.CodedOutputStream output) throws java.io.IOException
writeTo
in interface com.google.protobuf.MessageLite
writeTo
in class com.google.protobuf.GeneratedMessage
java.io.IOException
public int getSerializedSize()
getSerializedSize
in interface com.google.protobuf.MessageLite
getSerializedSize
in class com.google.protobuf.GeneratedMessage
public boolean equals(java.lang.Object obj)
equals
in interface com.google.protobuf.Message
equals
in class com.google.protobuf.AbstractMessage
public int hashCode()
hashCode
in interface com.google.protobuf.Message
hashCode
in class com.google.protobuf.AbstractMessage
public static TableConstraintProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static TableConstraintProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static TableConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static TableConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static TableConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static TableConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static TableConstraintProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static TableConstraintProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static TableConstraintProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static TableConstraintProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static TableConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOException
public static TableConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public TableConstraintProto.Builder newBuilderForType()
newBuilderForType
in interface com.google.protobuf.Message
newBuilderForType
in interface com.google.protobuf.MessageLite
public static TableConstraintProto.Builder newBuilder()
public static TableConstraintProto.Builder newBuilder(TableConstraintProto prototype)
public TableConstraintProto.Builder toBuilder()
toBuilder
in interface com.google.protobuf.Message
toBuilder
in interface com.google.protobuf.MessageLite
protected TableConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType
in class com.google.protobuf.AbstractMessage
public static TableConstraintProto getDefaultInstance()
public static com.google.protobuf.Parser<TableConstraintProto> parser()
public com.google.protobuf.Parser<TableConstraintProto> getParserForType()
getParserForType
in interface com.google.protobuf.Message
getParserForType
in interface com.google.protobuf.MessageLite
getParserForType
in class com.google.protobuf.GeneratedMessage
public TableConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
Copyright © 2025. All rights reserved.