public final class CircuitConstraintProto extends com.google.protobuf.GeneratedMessage implements CircuitConstraintProtoOrBuilder
The circuit constraint is defined on a graph where the arc presence are controlled by literals. Each arc is given by an index in the tails/heads/literals lists that must have the same size. For now, we ignore node indices with no incident arc. All the other nodes must have exactly one incoming and one outgoing selected arc (i.e. literal at true). All the selected arcs that are not self-loops must form a single circuit. Note that multi-arcs are allowed, but only one of them will be true at the same time. Multi-self loop are disallowed though.Protobuf type
operations_research.sat.CircuitConstraintProto| Modifier and Type | Class and Description |
|---|---|
static class |
CircuitConstraintProto.Builder
The circuit constraint is defined on a graph where the arc presence are
controlled by literals.
|
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 |
HEADS_FIELD_NUMBER |
static int |
LITERALS_FIELD_NUMBER |
static int |
TAILS_FIELD_NUMBER |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
static CircuitConstraintProto |
getDefaultInstance() |
CircuitConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
int |
getHeads(int index)
repeated int32 heads = 4; |
int |
getHeadsCount()
repeated int32 heads = 4; |
java.util.List<java.lang.Integer> |
getHeadsList()
repeated int32 heads = 4; |
int |
getLiterals(int index)
repeated int32 literals = 5; |
int |
getLiteralsCount()
repeated int32 literals = 5; |
java.util.List<java.lang.Integer> |
getLiteralsList()
repeated int32 literals = 5; |
com.google.protobuf.Parser<CircuitConstraintProto> |
getParserForType() |
int |
getSerializedSize() |
int |
getTails(int index)
repeated int32 tails = 3; |
int |
getTailsCount()
repeated int32 tails = 3; |
java.util.List<java.lang.Integer> |
getTailsList()
repeated int32 tails = 3; |
int |
hashCode() |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
static CircuitConstraintProto.Builder |
newBuilder() |
static CircuitConstraintProto.Builder |
newBuilder(CircuitConstraintProto prototype) |
CircuitConstraintProto.Builder |
newBuilderForType() |
protected CircuitConstraintProto.Builder |
newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent) |
static CircuitConstraintProto |
parseDelimitedFrom(java.io.InputStream input) |
static CircuitConstraintProto |
parseDelimitedFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static CircuitConstraintProto |
parseFrom(byte[] data) |
static CircuitConstraintProto |
parseFrom(byte[] data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static CircuitConstraintProto |
parseFrom(java.nio.ByteBuffer data) |
static CircuitConstraintProto |
parseFrom(java.nio.ByteBuffer data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static CircuitConstraintProto |
parseFrom(com.google.protobuf.ByteString data) |
static CircuitConstraintProto |
parseFrom(com.google.protobuf.ByteString data,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static CircuitConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input) |
static CircuitConstraintProto |
parseFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static CircuitConstraintProto |
parseFrom(java.io.InputStream input) |
static CircuitConstraintProto |
parseFrom(java.io.InputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
static com.google.protobuf.Parser<CircuitConstraintProto> |
parser() |
CircuitConstraintProto.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, writeStringNoTagfindInitializationErrors, getInitializationErrorString, hashFields, toStringaddAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeToclone, finalize, getClass, notify, notifyAll, wait, wait, waitpublic static final int TAILS_FIELD_NUMBER
public static final int HEADS_FIELD_NUMBER
public static final int LITERALS_FIELD_NUMBER
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessagepublic java.util.List<java.lang.Integer> getTailsList()
repeated int32 tails = 3;getTailsList in interface CircuitConstraintProtoOrBuilderpublic int getTailsCount()
repeated int32 tails = 3;getTailsCount in interface CircuitConstraintProtoOrBuilderpublic int getTails(int index)
repeated int32 tails = 3;getTails in interface CircuitConstraintProtoOrBuilderindex - The index of the element to return.public java.util.List<java.lang.Integer> getHeadsList()
repeated int32 heads = 4;getHeadsList in interface CircuitConstraintProtoOrBuilderpublic int getHeadsCount()
repeated int32 heads = 4;getHeadsCount in interface CircuitConstraintProtoOrBuilderpublic int getHeads(int index)
repeated int32 heads = 4;getHeads in interface CircuitConstraintProtoOrBuilderindex - The index of the element to return.public java.util.List<java.lang.Integer> getLiteralsList()
repeated int32 literals = 5;getLiteralsList in interface CircuitConstraintProtoOrBuilderpublic int getLiteralsCount()
repeated int32 literals = 5;getLiteralsCount in interface CircuitConstraintProtoOrBuilderpublic int getLiterals(int index)
repeated int32 literals = 5;getLiterals in interface CircuitConstraintProtoOrBuilderindex - The index of the element to return.public final boolean isInitialized()
isInitialized in interface com.google.protobuf.MessageLiteOrBuilderisInitialized in class com.google.protobuf.GeneratedMessagepublic void writeTo(com.google.protobuf.CodedOutputStream output)
throws java.io.IOException
writeTo in interface com.google.protobuf.MessageLitewriteTo in class com.google.protobuf.GeneratedMessagejava.io.IOExceptionpublic int getSerializedSize()
getSerializedSize in interface com.google.protobuf.MessageLitegetSerializedSize in class com.google.protobuf.GeneratedMessagepublic boolean equals(java.lang.Object obj)
equals in interface com.google.protobuf.Messageequals in class com.google.protobuf.AbstractMessagepublic int hashCode()
hashCode in interface com.google.protobuf.MessagehashCode in class com.google.protobuf.AbstractMessagepublic static CircuitConstraintProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static CircuitConstraintProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static CircuitConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static CircuitConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static CircuitConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static CircuitConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferExceptionpublic static CircuitConstraintProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOExceptionpublic static CircuitConstraintProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic static CircuitConstraintProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOExceptionpublic static CircuitConstraintProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic static CircuitConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOExceptionpublic static CircuitConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOExceptionpublic CircuitConstraintProto.Builder newBuilderForType()
newBuilderForType in interface com.google.protobuf.MessagenewBuilderForType in interface com.google.protobuf.MessageLitepublic static CircuitConstraintProto.Builder newBuilder()
public static CircuitConstraintProto.Builder newBuilder(CircuitConstraintProto prototype)
public CircuitConstraintProto.Builder toBuilder()
toBuilder in interface com.google.protobuf.MessagetoBuilder in interface com.google.protobuf.MessageLiteprotected CircuitConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType in class com.google.protobuf.AbstractMessagepublic static CircuitConstraintProto getDefaultInstance()
public static com.google.protobuf.Parser<CircuitConstraintProto> parser()
public com.google.protobuf.Parser<CircuitConstraintProto> getParserForType()
getParserForType in interface com.google.protobuf.MessagegetParserForType in interface com.google.protobuf.MessageLitegetParserForType in class com.google.protobuf.GeneratedMessagepublic CircuitConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderCopyright © 2024. All rights reserved.