public static final class CircuitConstraintProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<CircuitConstraintProto.Builder> 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 | Method and Description |
|---|---|
CircuitConstraintProto.Builder |
addAllHeads(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 heads = 4; |
CircuitConstraintProto.Builder |
addAllLiterals(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 literals = 5; |
CircuitConstraintProto.Builder |
addAllTails(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 tails = 3; |
CircuitConstraintProto.Builder |
addHeads(int value)
repeated int32 heads = 4; |
CircuitConstraintProto.Builder |
addLiterals(int value)
repeated int32 literals = 5; |
CircuitConstraintProto.Builder |
addTails(int value)
repeated int32 tails = 3; |
CircuitConstraintProto |
build() |
CircuitConstraintProto |
buildPartial() |
CircuitConstraintProto.Builder |
clear() |
CircuitConstraintProto.Builder |
clearHeads()
repeated int32 heads = 4; |
CircuitConstraintProto.Builder |
clearLiterals()
repeated int32 literals = 5; |
CircuitConstraintProto.Builder |
clearTails()
repeated int32 tails = 3; |
CircuitConstraintProto |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
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; |
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; |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
CircuitConstraintProto.Builder |
mergeFrom(CircuitConstraintProto other) |
CircuitConstraintProto.Builder |
mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
CircuitConstraintProto.Builder |
mergeFrom(com.google.protobuf.Message other) |
CircuitConstraintProto.Builder |
setHeads(int index,
int value)
repeated int32 heads = 4; |
CircuitConstraintProto.Builder |
setLiterals(int index,
int value)
repeated int32 literals = 5; |
CircuitConstraintProto.Builder |
setTails(int index,
int value)
repeated int32 tails = 3; |
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, setUnknownFieldsProto3findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toStringaddAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, newUninitializedMessageExceptionequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitpublic static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<CircuitConstraintProto.Builder>public CircuitConstraintProto.Builder clear()
clear in interface com.google.protobuf.Message.Builderclear in interface com.google.protobuf.MessageLite.Builderclear in class com.google.protobuf.GeneratedMessage.Builder<CircuitConstraintProto.Builder>public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
getDescriptorForType in interface com.google.protobuf.Message.BuildergetDescriptorForType in interface com.google.protobuf.MessageOrBuildergetDescriptorForType in class com.google.protobuf.GeneratedMessage.Builder<CircuitConstraintProto.Builder>public CircuitConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderpublic CircuitConstraintProto build()
build in interface com.google.protobuf.Message.Builderbuild in interface com.google.protobuf.MessageLite.Builderpublic CircuitConstraintProto buildPartial()
buildPartial in interface com.google.protobuf.Message.BuilderbuildPartial in interface com.google.protobuf.MessageLite.Builderpublic CircuitConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom in interface com.google.protobuf.Message.BuildermergeFrom in class com.google.protobuf.AbstractMessage.Builder<CircuitConstraintProto.Builder>public CircuitConstraintProto.Builder mergeFrom(CircuitConstraintProto other)
public final boolean isInitialized()
isInitialized in interface com.google.protobuf.MessageLiteOrBuilderisInitialized in class com.google.protobuf.GeneratedMessage.Builder<CircuitConstraintProto.Builder>public CircuitConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
mergeFrom in interface com.google.protobuf.Message.BuildermergeFrom in interface com.google.protobuf.MessageLite.BuildermergeFrom in class com.google.protobuf.AbstractMessage.Builder<CircuitConstraintProto.Builder>java.io.IOExceptionpublic 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 CircuitConstraintProto.Builder setTails(int index, int value)
repeated int32 tails = 3;index - The index to set the value at.value - The tails to set.public CircuitConstraintProto.Builder addTails(int value)
repeated int32 tails = 3;value - The tails to add.public CircuitConstraintProto.Builder addAllTails(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 tails = 3;values - The tails to add.public CircuitConstraintProto.Builder clearTails()
repeated int32 tails = 3;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 CircuitConstraintProto.Builder setHeads(int index, int value)
repeated int32 heads = 4;index - The index to set the value at.value - The heads to set.public CircuitConstraintProto.Builder addHeads(int value)
repeated int32 heads = 4;value - The heads to add.public CircuitConstraintProto.Builder addAllHeads(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 heads = 4;values - The heads to add.public CircuitConstraintProto.Builder clearHeads()
repeated int32 heads = 4;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 CircuitConstraintProto.Builder setLiterals(int index, int value)
repeated int32 literals = 5;index - The index to set the value at.value - The literals to set.public CircuitConstraintProto.Builder addLiterals(int value)
repeated int32 literals = 5;value - The literals to add.public CircuitConstraintProto.Builder addAllLiterals(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 literals = 5;values - The literals to add.public CircuitConstraintProto.Builder clearLiterals()
repeated int32 literals = 5;Copyright © 2024. All rights reserved.