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, 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<BooleanAssignment.Builder>
public BooleanAssignment.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<BooleanAssignment.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<BooleanAssignment.Builder>
public BooleanAssignment getDefaultInstanceForType()
getDefaultInstanceForType
in interface com.google.protobuf.MessageLiteOrBuilder
getDefaultInstanceForType
in interface com.google.protobuf.MessageOrBuilder
public BooleanAssignment build()
build
in interface com.google.protobuf.Message.Builder
build
in interface com.google.protobuf.MessageLite.Builder
public BooleanAssignment buildPartial()
buildPartial
in interface com.google.protobuf.Message.Builder
buildPartial
in interface com.google.protobuf.MessageLite.Builder
public BooleanAssignment.Builder mergeFrom(com.google.protobuf.Message other)
mergeFrom
in interface com.google.protobuf.Message.Builder
mergeFrom
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.MessageLiteOrBuilder
isInitialized
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.Builder
mergeFrom
in interface com.google.protobuf.MessageLite.Builder
mergeFrom
in class com.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>
java.io.IOException
public java.util.List<java.lang.Integer> getLiteralsList()
repeated int32 literals = 1;
getLiteralsList
in interface BooleanAssignmentOrBuilder
public int getLiteralsCount()
repeated int32 literals = 1;
getLiteralsCount
in interface BooleanAssignmentOrBuilder
public int getLiterals(int index)
repeated int32 literals = 1;
getLiterals
in interface BooleanAssignmentOrBuilder
index
- 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 © 2025. All rights reserved.