Class AutomatonConstraintProto.Builder

java.lang.Object
com.google.protobuf.AbstractMessageLite.Builder
com.google.protobuf.AbstractMessage.Builder<AutomatonConstraintProto.Builder>
com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>
com.google.ortools.sat.AutomatonConstraintProto.Builder
All Implemented Interfaces:
AutomatonConstraintProtoOrBuilder, com.google.protobuf.Message.Builder, com.google.protobuf.MessageLite.Builder, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, Cloneable
Enclosing class:
AutomatonConstraintProto
public static final class AutomatonConstraintProto.Builder extends com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder> implements AutomatonConstraintProtoOrBuilder
 This constraint forces a sequence of expressions to be accepted by an
 automaton.
Protobuf type operations_research.sat.AutomatonConstraintProto

  • Method Details

    • getDescriptor

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

    • internalGetFieldAccessorTable

      protected com.google.protobuf.GeneratedMessage.FieldAccessorTable internalGetFieldAccessorTable()
      Specified by:
      internalGetFieldAccessorTable in class com.google.protobuf.GeneratedMessage.Builder<AutomatonConstraintProto.Builder>

    • clear

      public AutomatonConstraintProto.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.GeneratedMessage.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.GeneratedMessage.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

    • mergeFrom

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

    • mergeFrom

      public AutomatonConstraintProto.Builder mergeFrom(AutomatonConstraintProto other)

    • isInitialized

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

    • mergeFrom

      public AutomatonConstraintProto.Builder mergeFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws 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:
      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.

    • getFinalStatesList

      public List<Long> getFinalStatesList()
      repeated int64 final_states = 3;
      Specified by:
      getFinalStatesList in interface AutomatonConstraintProtoOrBuilder
      Returns:
      A list containing the finalStates.

    • getFinalStatesCount

      public int getFinalStatesCount()
      repeated int64 final_states = 3;
      Specified by:
      getFinalStatesCount in interface AutomatonConstraintProtoOrBuilder
      Returns:
      The count of finalStates.

    • 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(Iterable<? extends Long> values)
      repeated int64 final_states = 3;
      Parameters:
      values - The finalStates to add.
      Returns:
      This builder for chaining.

    • clearFinalStates

      public AutomatonConstraintProto.Builder clearFinalStates()
      repeated int64 final_states = 3;
      Returns:
      This builder for chaining.

    • getTransitionTailList

      public List<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(Iterable<? extends 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.

    • getTransitionHeadList

      public List<Long> getTransitionHeadList()
      repeated int64 transition_head = 5;
      Specified by:
      getTransitionHeadList in interface AutomatonConstraintProtoOrBuilder
      Returns:
      A list containing the transitionHead.

    • getTransitionHeadCount

      public int getTransitionHeadCount()
      repeated int64 transition_head = 5;
      Specified by:
      getTransitionHeadCount in interface AutomatonConstraintProtoOrBuilder
      Returns:
      The count of transitionHead.

    • 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(Iterable<? extends Long> values)
      repeated int64 transition_head = 5;
      Parameters:
      values - The transitionHead to add.
      Returns:
      This builder for chaining.

    • clearTransitionHead

      public AutomatonConstraintProto.Builder clearTransitionHead()
      repeated int64 transition_head = 5;
      Returns:
      This builder for chaining.

    • getTransitionLabelList

      public List<Long> getTransitionLabelList()
      repeated int64 transition_label = 6;
      Specified by:
      getTransitionLabelList in interface AutomatonConstraintProtoOrBuilder
      Returns:
      A list containing the transitionLabel.

    • getTransitionLabelCount

      public int getTransitionLabelCount()
      repeated int64 transition_label = 6;
      Specified by:
      getTransitionLabelCount in interface AutomatonConstraintProtoOrBuilder
      Returns:
      The count of transitionLabel.

    • 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(Iterable<? extends 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 List<Integer> getVarsList()
       Legacy field.
      repeated int32 vars = 7;
      Specified by:
      getVarsList in interface AutomatonConstraintProtoOrBuilder
      Returns:
      A list containing the vars.

    • getVarsCount

      public int getVarsCount()
       Legacy field.
      repeated int32 vars = 7;
      Specified by:
      getVarsCount in interface AutomatonConstraintProtoOrBuilder
      Returns:
      The count of vars.

    • getVars

      public int getVars(int index)
       Legacy field.
      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)
       Legacy field.
      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)
       Legacy field.
      repeated int32 vars = 7;
      Parameters:
      value - The vars to add.
      Returns:
      This builder for chaining.

    • addAllVars

      public AutomatonConstraintProto.Builder addAllVars(Iterable<? extends Integer> values)
       Legacy field.
      repeated int32 vars = 7;
      Parameters:
      values - The vars to add.
      Returns:
      This builder for chaining.

    • clearVars

      public AutomatonConstraintProto.Builder clearVars()
       Legacy field.
      repeated int32 vars = 7;
      Returns:
      This builder for chaining.

    • getExprsList

      public List<LinearExpressionProto> getExprsList()
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;
      Specified by:
      getExprsList in interface AutomatonConstraintProtoOrBuilder

    • getExprsCount

      public int getExprsCount()
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;
      Specified by:
      getExprsCount in interface AutomatonConstraintProtoOrBuilder

    • getExprs

      public LinearExpressionProto getExprs(int index)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;
      Specified by:
      getExprs in interface AutomatonConstraintProtoOrBuilder

    • setExprs

      public AutomatonConstraintProto.Builder setExprs(int index, LinearExpressionProto value)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • setExprs

      public AutomatonConstraintProto.Builder setExprs(int index, LinearExpressionProto.Builder builderForValue)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • addExprs

      public AutomatonConstraintProto.Builder addExprs(LinearExpressionProto value)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • addExprs

      public AutomatonConstraintProto.Builder addExprs(int index, LinearExpressionProto value)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • addExprs

      public AutomatonConstraintProto.Builder addExprs(LinearExpressionProto.Builder builderForValue)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • addExprs

      public AutomatonConstraintProto.Builder addExprs(int index, LinearExpressionProto.Builder builderForValue)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • addAllExprs

      public AutomatonConstraintProto.Builder addAllExprs(Iterable<? extends LinearExpressionProto> values)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • clearExprs

      public AutomatonConstraintProto.Builder clearExprs()
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • removeExprs

      public AutomatonConstraintProto.Builder removeExprs(int index)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • getExprsBuilder

      public LinearExpressionProto.Builder getExprsBuilder(int index)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • getExprsOrBuilder

      public LinearExpressionProtoOrBuilder getExprsOrBuilder(int index)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;
      Specified by:
      getExprsOrBuilder in interface AutomatonConstraintProtoOrBuilder

    • getExprsOrBuilderList

      public List<? extends LinearExpressionProtoOrBuilder> getExprsOrBuilderList()
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;
      Specified by:
      getExprsOrBuilderList in interface AutomatonConstraintProtoOrBuilder

    • addExprsBuilder

      public LinearExpressionProto.Builder addExprsBuilder()
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • addExprsBuilder

      public LinearExpressionProto.Builder addExprsBuilder(int index)
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;

    • getExprsBuilderList

      public List<LinearExpressionProto.Builder> getExprsBuilderList()
       The sequence of affine expressions (a * var + b). The automaton is ran for
 exprs_size() "steps" and the value of exprs[i] corresponds to the
 transition label at step i.
      repeated .operations_research.sat.LinearExpressionProto exprs = 8;