Class BooleanAssignment.Builder

  • All Implemented Interfaces:
    BooleanAssignmentOrBuilder, com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, java.lang.Cloneable
    Enclosing class:
    BooleanAssignment

    public static final class BooleanAssignment.Builder
    extends com.google.protobuf.GeneratedMessageV3.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 Detail

      • getDescriptor

        public static final com.google.protobuf.Descriptors.Descriptor getDescriptor()
      • internalGetFieldAccessorTable

        protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()
        Specified by:
        internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • clear

        public BooleanAssignment.Builder clear()
        Specified by:
        clear in interface com.google.protobuf.Message.Builder
        Specified by:
        clear in interface com.google.protobuf.MessageLite.Builder
        Overrides:
        clear in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • getDescriptorForType

        public com.google.protobuf.Descriptors.Descriptor getDescriptorForType()
        Specified by:
        getDescriptorForType in interface com.google.protobuf.Message.Builder
        Specified by:
        getDescriptorForType in interface com.google.protobuf.MessageOrBuilder
        Overrides:
        getDescriptorForType in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • getDefaultInstanceForType

        public BooleanAssignment getDefaultInstanceForType()
        Specified by:
        getDefaultInstanceForType in interface com.google.protobuf.MessageLiteOrBuilder
        Specified by:
        getDefaultInstanceForType in interface com.google.protobuf.MessageOrBuilder
      • build

        public BooleanAssignment build()
        Specified by:
        build in interface com.google.protobuf.Message.Builder
        Specified by:
        build in interface com.google.protobuf.MessageLite.Builder
      • buildPartial

        public BooleanAssignment buildPartial()
        Specified by:
        buildPartial in interface com.google.protobuf.Message.Builder
        Specified by:
        buildPartial in interface com.google.protobuf.MessageLite.Builder
      • clone

        public BooleanAssignment.Builder clone()
        Specified by:
        clone in interface com.google.protobuf.Message.Builder
        Specified by:
        clone in interface com.google.protobuf.MessageLite.Builder
        Overrides:
        clone in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • setField

        public BooleanAssignment.Builder setField​(com.google.protobuf.Descriptors.FieldDescriptor field,
                                                  java.lang.Object value)
        Specified by:
        setField in interface com.google.protobuf.Message.Builder
        Overrides:
        setField in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • clearField

        public BooleanAssignment.Builder clearField​(com.google.protobuf.Descriptors.FieldDescriptor field)
        Specified by:
        clearField in interface com.google.protobuf.Message.Builder
        Overrides:
        clearField in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • clearOneof

        public BooleanAssignment.Builder clearOneof​(com.google.protobuf.Descriptors.OneofDescriptor oneof)
        Specified by:
        clearOneof in interface com.google.protobuf.Message.Builder
        Overrides:
        clearOneof in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • setRepeatedField

        public BooleanAssignment.Builder setRepeatedField​(com.google.protobuf.Descriptors.FieldDescriptor field,
                                                          int index,
                                                          java.lang.Object value)
        Specified by:
        setRepeatedField in interface com.google.protobuf.Message.Builder
        Overrides:
        setRepeatedField in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • addRepeatedField

        public BooleanAssignment.Builder addRepeatedField​(com.google.protobuf.Descriptors.FieldDescriptor field,
                                                          java.lang.Object value)
        Specified by:
        addRepeatedField in interface com.google.protobuf.Message.Builder
        Overrides:
        addRepeatedField in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • mergeFrom

        public BooleanAssignment.Builder mergeFrom​(com.google.protobuf.Message other)
        Specified by:
        mergeFrom in interface com.google.protobuf.Message.Builder
        Overrides:
        mergeFrom in class com.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>
      • isInitialized

        public final boolean isInitialized()
        Specified by:
        isInitialized in interface com.google.protobuf.MessageLiteOrBuilder
        Overrides:
        isInitialized in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • mergeFrom

        public BooleanAssignment.Builder mergeFrom​(com.google.protobuf.CodedInputStream input,
                                                   com.google.protobuf.ExtensionRegistryLite extensionRegistry)
                                            throws java.io.IOException
        Specified by:
        mergeFrom in interface com.google.protobuf.Message.Builder
        Specified by:
        mergeFrom in interface com.google.protobuf.MessageLite.Builder
        Overrides:
        mergeFrom in class com.google.protobuf.AbstractMessage.Builder<BooleanAssignment.Builder>
        Throws:
        java.io.IOException
      • getLiteralsList

        public java.util.List<java.lang.Integer> getLiteralsList()
        repeated int32 literals = 1;
        Specified by:
        getLiteralsList in interface BooleanAssignmentOrBuilder
        Returns:
        A list containing the literals.
      • getLiterals

        public int getLiterals​(int index)
        repeated int32 literals = 1;
        Specified by:
        getLiterals in interface BooleanAssignmentOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The literals at the given index.
      • setLiterals

        public BooleanAssignment.Builder setLiterals​(int index,
                                                     int value)
        repeated int32 literals = 1;
        Parameters:
        index - The index to set the value at.
        value - The literals to set.
        Returns:
        This builder for chaining.
      • addLiterals

        public BooleanAssignment.Builder addLiterals​(int value)
        repeated int32 literals = 1;
        Parameters:
        value - The literals to add.
        Returns:
        This builder for chaining.
      • addAllLiterals

        public BooleanAssignment.Builder addAllLiterals​(java.lang.Iterable<? extends java.lang.Integer> values)
        repeated int32 literals = 1;
        Parameters:
        values - The literals to add.
        Returns:
        This builder for chaining.
      • clearLiterals

        public BooleanAssignment.Builder clearLiterals()
        repeated int32 literals = 1;
        Returns:
        This builder for chaining.
      • setUnknownFields

        public final BooleanAssignment.Builder setUnknownFields​(com.google.protobuf.UnknownFieldSet unknownFields)
        Specified by:
        setUnknownFields in interface com.google.protobuf.Message.Builder
        Overrides:
        setUnknownFields in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>
      • mergeUnknownFields

        public final BooleanAssignment.Builder mergeUnknownFields​(com.google.protobuf.UnknownFieldSet unknownFields)
        Specified by:
        mergeUnknownFields in interface com.google.protobuf.Message.Builder
        Overrides:
        mergeUnknownFields in class com.google.protobuf.GeneratedMessageV3.Builder<BooleanAssignment.Builder>