public static final class BooleanAssignment.Builder extends com.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder> implements BooleanAssignmentOrBuilder
Stores an assignment of variables as a list of true literals using their signed representation. There will be at most one literal per variable. The literals will be sorted by increasing variable index. The assignment may be partial in the sense that some variables may not appear and thus not be assigned.Protobuf type
operations_research.sat.BooleanAssignment| Modifier and Type | Method and Description |
|---|---|
BooleanAssignment.Builder |
addAllLiterals(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 literals = 1; |
BooleanAssignment.Builder |
addLiterals(int value)
repeated int32 literals = 1; |
BooleanAssignment |
build() |
BooleanAssignment |
buildPartial() |
BooleanAssignment.Builder |
clear() |
BooleanAssignment.Builder |
clearLiterals()
repeated int32 literals = 1; |
BooleanAssignment |
getDefaultInstanceForType() |
static com.google.protobuf.Descriptors.Descriptor |
getDescriptor() |
com.google.protobuf.Descriptors.Descriptor |
getDescriptorForType() |
int |
getLiterals(int index)
repeated int32 literals = 1; |
int |
getLiteralsCount()
repeated int32 literals = 1; |
java.util.List<java.lang.Integer> |
getLiteralsList()
repeated int32 literals = 1; |
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable |
internalGetFieldAccessorTable() |
boolean |
isInitialized() |
BooleanAssignment.Builder |
mergeFrom(BooleanAssignment other) |
BooleanAssignment.Builder |
mergeFrom(com.google.protobuf.CodedInputStream input,
com.google.protobuf.ExtensionRegistryLite extensionRegistry) |
BooleanAssignment.Builder |
mergeFrom(com.google.protobuf.Message other) |
BooleanAssignment.Builder |
setLiterals(int index,
int value)
repeated int32 literals = 1; |
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<BooleanAssignment.Builder>public BooleanAssignment.Builder clear()
clear in interface com.google.protobuf.Message.Builderclear in interface com.google.protobuf.MessageLite.Builderclear in class com.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.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<BooleanAssignment.Builder>public BooleanAssignment getDefaultInstanceForType()
getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuildergetDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilderpublic BooleanAssignment build()
build in interface com.google.protobuf.Message.Builderbuild in interface com.google.protobuf.MessageLite.Builderpublic BooleanAssignment buildPartial()
buildPartial in interface com.google.protobuf.Message.BuilderbuildPartial in interface com.google.protobuf.MessageLite.Builderpublic BooleanAssignment.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom in interface com.google.protobuf.Message.BuildermergeFrom in class com.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>public BooleanAssignment.Builder mergeFrom(BooleanAssignment other)
public final boolean isInitialized()
isInitialized in interface com.google.protobuf.MessageLiteOrBuilderisInitialized in class com.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder>public BooleanAssignment.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<BooleanAssignment.Builder>java.io.IOExceptionpublic java.util.List<java.lang.Integer> getLiteralsList()
repeated int32 literals = 1;getLiteralsList in interface BooleanAssignmentOrBuilderpublic int getLiteralsCount()
repeated int32 literals = 1;getLiteralsCount in interface BooleanAssignmentOrBuilderpublic int getLiterals(int index)
repeated int32 literals = 1;getLiterals in interface BooleanAssignmentOrBuilderindex - The index of the element to return.public BooleanAssignment.Builder setLiterals(int index, int value)
repeated int32 literals = 1;index - The index to set the value at.value - The literals to set.public BooleanAssignment.Builder addLiterals(int value)
repeated int32 literals = 1;value - The literals to add.public BooleanAssignment.Builder addAllLiterals(java.lang.Iterable<? extends java.lang.Integer> values)
repeated int32 literals = 1;values - The literals to add.public BooleanAssignment.Builder clearLiterals()
repeated int32 literals = 1;Copyright © 2024. All rights reserved.