Class BooleanAssignment.Builder
java.lang.Object
com.google.protobuf.AbstractMessageLite.Builder
com.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>
com.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder>
com.google.ortools.sat.BooleanAssignment.Builder
- All Implemented Interfaces:
BooleanAssignmentOrBuilder
,com.google.protobuf.Message.Builder
,com.google.protobuf.MessageLite.Builder
,com.google.protobuf.MessageLiteOrBuilder
,com.google.protobuf.MessageOrBuilder
,Cloneable
- Enclosing class:
BooleanAssignment
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
-
Method Summary
Modifier and TypeMethodDescriptionaddAllLiterals
(Iterable<? extends Integer> values) repeated int32 literals = 1;
addLiterals
(int value) repeated int32 literals = 1;
build()
clear()
repeated int32 literals = 1;
static final com.google.protobuf.Descriptors.Descriptor
com.google.protobuf.Descriptors.Descriptor
int
getLiterals
(int index) repeated int32 literals = 1;
int
repeated int32 literals = 1;
repeated int32 literals = 1;
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable
final boolean
mergeFrom
(BooleanAssignment other) mergeFrom
(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) mergeFrom
(com.google.protobuf.Message other) setLiterals
(int index, int value) repeated int32 literals = 1;
Methods inherited from class com.google.protobuf.GeneratedMessage.Builder
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
Methods inherited from class com.google.protobuf.AbstractMessage.Builder
findInitializationErrors, getInitializationErrorString, internalMergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, mergeFrom, newUninitializedMessageException, toString
Methods inherited from class com.google.protobuf.AbstractMessageLite.Builder
addAll, addAll, mergeDelimitedFrom, mergeDelimitedFrom, mergeFrom, newUninitializedMessageException
Methods inherited from class java.lang.Object
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
Methods inherited from interface com.google.protobuf.Message.Builder
mergeDelimitedFrom, mergeDelimitedFrom
Methods inherited from interface com.google.protobuf.MessageLite.Builder
mergeFrom
Methods inherited from interface com.google.protobuf.MessageOrBuilder
findInitializationErrors, getAllFields, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
-
Method Details
-
getDescriptor
public static final com.google.protobuf.Descriptors.Descriptor getDescriptor() -
internalGetFieldAccessorTable
protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()- Specified by:
internalGetFieldAccessorTable
in classcom.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder>
-
clear
- Specified by:
clear
in interfacecom.google.protobuf.Message.Builder
- Specified by:
clear
in interfacecom.google.protobuf.MessageLite.Builder
- Overrides:
clear
in classcom.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder>
-
getDescriptorForType
public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()- Specified by:
getDescriptorForType
in interfacecom.google.protobuf.Message.Builder
- Specified by:
getDescriptorForType
in interfacecom.google.protobuf.MessageOrBuilder
- Overrides:
getDescriptorForType
in classcom.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder>
-
getDefaultInstanceForType
- Specified by:
getDefaultInstanceForType
in interfacecom.google.protobuf.MessageLiteOrBuilder
- Specified by:
getDefaultInstanceForType
in interfacecom.google.protobuf.MessageOrBuilder
-
build
- Specified by:
build
in interfacecom.google.protobuf.Message.Builder
- Specified by:
build
in interfacecom.google.protobuf.MessageLite.Builder
-
buildPartial
- Specified by:
buildPartial
in interfacecom.google.protobuf.Message.Builder
- Specified by:
buildPartial
in interfacecom.google.protobuf.MessageLite.Builder
-
mergeFrom
- Specified by:
mergeFrom
in interfacecom.google.protobuf.Message.Builder
- Overrides:
mergeFrom
in classcom.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>
-
mergeFrom
-
isInitialized
public final boolean isInitialized()- Specified by:
isInitialized
in interfacecom.google.protobuf.MessageLiteOrBuilder
- Overrides:
isInitialized
in classcom.google.protobuf.GeneratedMessage.Builder<BooleanAssignment.Builder>
-
mergeFrom
public BooleanAssignment.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException - Specified by:
mergeFrom
in interfacecom.google.protobuf.Message.Builder
- Specified by:
mergeFrom
in interfacecom.google.protobuf.MessageLite.Builder
- Overrides:
mergeFrom
in classcom.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>
- Throws:
IOException
-
getLiteralsList
repeated int32 literals = 1;
- Specified by:
getLiteralsList
in interfaceBooleanAssignmentOrBuilder
- Returns:
- A list containing the literals.
-
getLiteralsCount
public int getLiteralsCount()repeated int32 literals = 1;
- Specified by:
getLiteralsCount
in interfaceBooleanAssignmentOrBuilder
- Returns:
- The count of literals.
-
getLiterals
public int getLiterals(int index) repeated int32 literals = 1;
- Specified by:
getLiterals
in interfaceBooleanAssignmentOrBuilder
- Parameters:
index
- The index of the element to return.- Returns:
- The literals at the given index.
-
setLiterals
repeated int32 literals = 1;
- Parameters:
index
- The index to set the value at.value
- The literals to set.- Returns:
- This builder for chaining.
-
addLiterals
repeated int32 literals = 1;
- Parameters:
value
- The literals to add.- Returns:
- This builder for chaining.
-
addAllLiterals
repeated int32 literals = 1;
- Parameters:
values
- The literals to add.- Returns:
- This builder for chaining.
-
clearLiterals
repeated int32 literals = 1;
- Returns:
- This builder for chaining.
-