Class AutomatonConstraintProto.Builder

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

    public static final class AutomatonConstraintProto.Builder
    extends com.google.protobuf.GeneratedMessageV3.Builder<AutomatonConstraintProto.Builder>
    implements AutomatonConstraintProtoOrBuilder
     This constraint forces a sequence of variables to be accepted by an
     automaton.
     
    Protobuf type operations_research.sat.AutomatonConstraintProto
    • 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<AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>
      • getDefaultInstanceForType

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

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

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

        public AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>
      • setRepeatedField

        public AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>
      • addRepeatedField

        public AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>
      • isInitialized

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

        public AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>
        Throws:
        java.io.IOException
      • getStartingState

        public long getStartingState()
         A state is identified by a non-negative number. It is preferable to keep
         all the states dense in says [0, num_states). The automaton starts at
         starting_state and must finish in any of the final states.
         
        int64 starting_state = 2;
        Specified by:
        getStartingState in interface AutomatonConstraintProtoOrBuilder
        Returns:
        The startingState.
      • setStartingState

        public AutomatonConstraintProto.Builder setStartingState​(long value)
         A state is identified by a non-negative number. It is preferable to keep
         all the states dense in says [0, num_states). The automaton starts at
         starting_state and must finish in any of the final states.
         
        int64 starting_state = 2;
        Parameters:
        value - The startingState to set.
        Returns:
        This builder for chaining.
      • clearStartingState

        public AutomatonConstraintProto.Builder clearStartingState()
         A state is identified by a non-negative number. It is preferable to keep
         all the states dense in says [0, num_states). The automaton starts at
         starting_state and must finish in any of the final states.
         
        int64 starting_state = 2;
        Returns:
        This builder for chaining.
      • getFinalStates

        public long getFinalStates​(int index)
        repeated int64 final_states = 3;
        Specified by:
        getFinalStates in interface AutomatonConstraintProtoOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The finalStates at the given index.
      • setFinalStates

        public AutomatonConstraintProto.Builder setFinalStates​(int index,
                                                               long value)
        repeated int64 final_states = 3;
        Parameters:
        index - The index to set the value at.
        value - The finalStates to set.
        Returns:
        This builder for chaining.
      • addFinalStates

        public AutomatonConstraintProto.Builder addFinalStates​(long value)
        repeated int64 final_states = 3;
        Parameters:
        value - The finalStates to add.
        Returns:
        This builder for chaining.
      • addAllFinalStates

        public AutomatonConstraintProto.Builder addAllFinalStates​(java.lang.Iterable<? extends java.lang.Long> values)
        repeated int64 final_states = 3;
        Parameters:
        values - The finalStates to add.
        Returns:
        This builder for chaining.
      • getTransitionTailList

        public java.util.List<java.lang.Long> getTransitionTailList()
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Specified by:
        getTransitionTailList in interface AutomatonConstraintProtoOrBuilder
        Returns:
        A list containing the transitionTail.
      • getTransitionTailCount

        public int getTransitionTailCount()
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Specified by:
        getTransitionTailCount in interface AutomatonConstraintProtoOrBuilder
        Returns:
        The count of transitionTail.
      • getTransitionTail

        public long getTransitionTail​(int index)
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Specified by:
        getTransitionTail in interface AutomatonConstraintProtoOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The transitionTail at the given index.
      • setTransitionTail

        public AutomatonConstraintProto.Builder setTransitionTail​(int index,
                                                                  long value)
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Parameters:
        index - The index to set the value at.
        value - The transitionTail to set.
        Returns:
        This builder for chaining.
      • addTransitionTail

        public AutomatonConstraintProto.Builder addTransitionTail​(long value)
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Parameters:
        value - The transitionTail to add.
        Returns:
        This builder for chaining.
      • addAllTransitionTail

        public AutomatonConstraintProto.Builder addAllTransitionTail​(java.lang.Iterable<? extends java.lang.Long> values)
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Parameters:
        values - The transitionTail to add.
        Returns:
        This builder for chaining.
      • clearTransitionTail

        public AutomatonConstraintProto.Builder clearTransitionTail()
         List of transitions (all 3 vectors have the same size). Both tail and head
         are states, label is any variable value. No two outgoing transitions from
         the same state can have the same label.
         
        repeated int64 transition_tail = 4;
        Returns:
        This builder for chaining.
      • getTransitionHead

        public long getTransitionHead​(int index)
        repeated int64 transition_head = 5;
        Specified by:
        getTransitionHead in interface AutomatonConstraintProtoOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The transitionHead at the given index.
      • setTransitionHead

        public AutomatonConstraintProto.Builder setTransitionHead​(int index,
                                                                  long value)
        repeated int64 transition_head = 5;
        Parameters:
        index - The index to set the value at.
        value - The transitionHead to set.
        Returns:
        This builder for chaining.
      • addTransitionHead

        public AutomatonConstraintProto.Builder addTransitionHead​(long value)
        repeated int64 transition_head = 5;
        Parameters:
        value - The transitionHead to add.
        Returns:
        This builder for chaining.
      • addAllTransitionHead

        public AutomatonConstraintProto.Builder addAllTransitionHead​(java.lang.Iterable<? extends java.lang.Long> values)
        repeated int64 transition_head = 5;
        Parameters:
        values - The transitionHead to add.
        Returns:
        This builder for chaining.
      • getTransitionLabel

        public long getTransitionLabel​(int index)
        repeated int64 transition_label = 6;
        Specified by:
        getTransitionLabel in interface AutomatonConstraintProtoOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The transitionLabel at the given index.
      • setTransitionLabel

        public AutomatonConstraintProto.Builder setTransitionLabel​(int index,
                                                                   long value)
        repeated int64 transition_label = 6;
        Parameters:
        index - The index to set the value at.
        value - The transitionLabel to set.
        Returns:
        This builder for chaining.
      • addTransitionLabel

        public AutomatonConstraintProto.Builder addTransitionLabel​(long value)
        repeated int64 transition_label = 6;
        Parameters:
        value - The transitionLabel to add.
        Returns:
        This builder for chaining.
      • addAllTransitionLabel

        public AutomatonConstraintProto.Builder addAllTransitionLabel​(java.lang.Iterable<? extends java.lang.Long> values)
        repeated int64 transition_label = 6;
        Parameters:
        values - The transitionLabel to add.
        Returns:
        This builder for chaining.
      • clearTransitionLabel

        public AutomatonConstraintProto.Builder clearTransitionLabel()
        repeated int64 transition_label = 6;
        Returns:
        This builder for chaining.
      • getVarsList

        public java.util.List<java.lang.Integer> getVarsList()
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Specified by:
        getVarsList in interface AutomatonConstraintProtoOrBuilder
        Returns:
        A list containing the vars.
      • getVarsCount

        public int getVarsCount()
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Specified by:
        getVarsCount in interface AutomatonConstraintProtoOrBuilder
        Returns:
        The count of vars.
      • getVars

        public int getVars​(int index)
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Specified by:
        getVars in interface AutomatonConstraintProtoOrBuilder
        Parameters:
        index - The index of the element to return.
        Returns:
        The vars at the given index.
      • setVars

        public AutomatonConstraintProto.Builder setVars​(int index,
                                                        int value)
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Parameters:
        index - The index to set the value at.
        value - The vars to set.
        Returns:
        This builder for chaining.
      • addVars

        public AutomatonConstraintProto.Builder addVars​(int value)
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Parameters:
        value - The vars to add.
        Returns:
        This builder for chaining.
      • addAllVars

        public AutomatonConstraintProto.Builder addAllVars​(java.lang.Iterable<? extends java.lang.Integer> values)
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Parameters:
        values - The vars to add.
        Returns:
        This builder for chaining.
      • clearVars

        public AutomatonConstraintProto.Builder clearVars()
         The sequence of variables. The automaton is ran for vars_size() "steps" and
         the value of vars[i] corresponds to the transition label at step i.
         
        repeated int32 vars = 7;
        Returns:
        This builder for chaining.
      • setUnknownFields

        public final AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>
      • mergeUnknownFields

        public final AutomatonConstraintProto.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<AutomatonConstraintProto.Builder>