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, 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<CircuitConstraintProto.Builder>
public CircuitConstraintProto.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<CircuitConstraintProto.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<CircuitConstraintProto.Builder>
public CircuitConstraintProto getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
public CircuitConstraintProto build()
build
in interface com.google.protobuf.Message.Builder
build
in interface com.google.protobuf.MessageLite.Builder
public CircuitConstraintProto buildPartial()
buildPartial
in interface com.google.protobuf.Message.Builder
buildPartial
in interface com.google.protobuf.MessageLite.Builder
public CircuitConstraintProto.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
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.MessageLiteOrBuilder
isInitialized
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.Builder
mergeFrom
in interface com.google.protobuf.MessageLite.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<CircuitConstraintProto.Builder>
java.io.IOException
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 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 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 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 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 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 © 2025. All rights reserved.