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, writeStringNoTag
findInitializationErrors, getInitializationErrorString, hashFields, toString
addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
public 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.GeneratedMessage
public java.util.List<java.lang.Integer> getTailsList()
repeated int32 tails = 3;
getTailsList
in interface CircuitConstraintProtoOrBuilder
public int getTailsCount()
repeated int32 tails = 3;
getTailsCount
in interface CircuitConstraintProtoOrBuilder
public int getTails(int index)
repeated int32 tails = 3;
getTails
in interface CircuitConstraintProtoOrBuilder
index
- The index of the element to return.public java.util.List<java.lang.Integer> getHeadsList()
repeated int32 heads = 4;
getHeadsList
in interface CircuitConstraintProtoOrBuilder
public int getHeadsCount()
repeated int32 heads = 4;
getHeadsCount
in interface CircuitConstraintProtoOrBuilder
public int getHeads(int index)
repeated int32 heads = 4;
getHeads
in interface CircuitConstraintProtoOrBuilder
index
- The index of the element to return.public java.util.List<java.lang.Integer> getLiteralsList()
repeated int32 literals = 5;
getLiteralsList
in interface CircuitConstraintProtoOrBuilder
public int getLiteralsCount()
repeated int32 literals = 5;
getLiteralsCount
in interface CircuitConstraintProtoOrBuilder
public int getLiterals(int index)
repeated int32 literals = 5;
getLiterals
in interface CircuitConstraintProtoOrBuilder
index
- The index of the element to return.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 CircuitConstraintProto parseFrom(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static CircuitConstraintProto parseFrom(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static CircuitConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static CircuitConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static CircuitConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static CircuitConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
com.google.protobuf.InvalidProtocolBufferException
public static CircuitConstraintProto parseFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static CircuitConstraintProto parseFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static CircuitConstraintProto parseDelimitedFrom(java.io.InputStream input) throws java.io.IOException
java.io.IOException
public static CircuitConstraintProto parseDelimitedFrom(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public static CircuitConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws java.io.IOException
java.io.IOException
public static CircuitConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
java.io.IOException
public CircuitConstraintProto.Builder newBuilderForType()
newBuilderForType
in interface com.google.protobuf.Message
newBuilderForType
in interface com.google.protobuf.MessageLite
public static CircuitConstraintProto.Builder newBuilder()
public static CircuitConstraintProto.Builder newBuilder(CircuitConstraintProto prototype)
public CircuitConstraintProto.Builder toBuilder()
toBuilder
in interface com.google.protobuf.Message
toBuilder
in interface com.google.protobuf.MessageLite
protected CircuitConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
newBuilderForType
in class com.google.protobuf.AbstractMessage
public static CircuitConstraintProto getDefaultInstance()
public static com.google.protobuf.Parser<CircuitConstraintProto> parser()
public com.google.protobuf.Parser<CircuitConstraintProto> getParserForType()
getParserForType
in interface com.google.protobuf.Message
getParserForType
in interface com.google.protobuf.MessageLite
getParserForType
in class com.google.protobuf.GeneratedMessage
public CircuitConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
Copyright © 2025. All rights reserved.