Class AutomatonConstraintProto

java.lang.Object
com.google.protobuf.AbstractMessageLite
com.google.protobuf.AbstractMessage
com.google.protobuf.GeneratedMessage
com.google.ortools.sat.AutomatonConstraintProto
All Implemented Interfaces:
AutomatonConstraintProtoOrBuilder, com.google.protobuf.Message, com.google.protobuf.MessageLite, com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder, Serializable

@Generated public final class AutomatonConstraintProto extends com.google.protobuf.GeneratedMessage implements AutomatonConstraintProtoOrBuilder
 This constraint forces a sequence of expressions to be accepted by an
 automaton.
 
Protobuf type operations_research.sat.AutomatonConstraintProto
See Also:
  • Field Details

    • STARTING_STATE_FIELD_NUMBER

      public static final int STARTING_STATE_FIELD_NUMBER
      See Also:
    • FINAL_STATES_FIELD_NUMBER

      public static final int FINAL_STATES_FIELD_NUMBER
      See Also:
    • TRANSITION_TAIL_FIELD_NUMBER

      public static final int TRANSITION_TAIL_FIELD_NUMBER
      See Also:
    • TRANSITION_HEAD_FIELD_NUMBER

      public static final int TRANSITION_HEAD_FIELD_NUMBER
      See Also:
    • TRANSITION_LABEL_FIELD_NUMBER

      public static final int TRANSITION_LABEL_FIELD_NUMBER
      See Also:
    • VARS_FIELD_NUMBER

      public static final int VARS_FIELD_NUMBER
      See Also:
    • EXPRS_FIELD_NUMBER

      public static final int EXPRS_FIELD_NUMBER
      See Also:
  • 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
    • 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.
    • 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.
    • 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.
    • 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.
    • 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.
    • 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.
    • 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
    • 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
    • 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
    • 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
    • isInitialized

      public final boolean isInitialized()
      Specified by:
      isInitialized in interface com.google.protobuf.MessageLiteOrBuilder
      Overrides:
      isInitialized in class com.google.protobuf.GeneratedMessage
    • writeTo

      public void writeTo(com.google.protobuf.CodedOutputStream output) throws IOException
      Specified by:
      writeTo in interface com.google.protobuf.MessageLite
      Overrides:
      writeTo in class com.google.protobuf.GeneratedMessage
      Throws:
      IOException
    • getSerializedSize

      public int getSerializedSize()
      Specified by:
      getSerializedSize in interface com.google.protobuf.MessageLite
      Overrides:
      getSerializedSize in class com.google.protobuf.GeneratedMessage
    • equals

      public boolean equals(Object obj)
      Specified by:
      equals in interface com.google.protobuf.Message
      Overrides:
      equals in class com.google.protobuf.AbstractMessage
    • hashCode

      public int hashCode()
      Specified by:
      hashCode in interface com.google.protobuf.Message
      Overrides:
      hashCode in class com.google.protobuf.AbstractMessage
    • parseFrom

      public static AutomatonConstraintProto parseFrom(ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(byte[] data) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(InputStream input) throws IOException
      Throws:
      IOException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException
      Throws:
      IOException
    • parseDelimitedFrom

      public static AutomatonConstraintProto parseDelimitedFrom(InputStream input) throws IOException
      Throws:
      IOException
    • parseDelimitedFrom

      public static AutomatonConstraintProto parseDelimitedFrom(InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException
      Throws:
      IOException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(com.google.protobuf.CodedInputStream input) throws IOException
      Throws:
      IOException
    • parseFrom

      public static AutomatonConstraintProto parseFrom(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws IOException
      Throws:
      IOException
    • newBuilderForType

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

      public static AutomatonConstraintProto.Builder newBuilder()
    • newBuilder

      public static AutomatonConstraintProto.Builder newBuilder(AutomatonConstraintProto prototype)
    • toBuilder

      Specified by:
      toBuilder in interface com.google.protobuf.Message
      Specified by:
      toBuilder in interface com.google.protobuf.MessageLite
    • newBuilderForType

      protected AutomatonConstraintProto.Builder newBuilderForType(com.google.protobuf.AbstractMessage.BuilderParent parent)
      Overrides:
      newBuilderForType in class com.google.protobuf.AbstractMessage
    • getDefaultInstance

      public static AutomatonConstraintProto getDefaultInstance()
    • parser

      public static com.google.protobuf.Parser<AutomatonConstraintProto> parser()
    • getParserForType

      public com.google.protobuf.Parser<AutomatonConstraintProto> getParserForType()
      Specified by:
      getParserForType in interface com.google.protobuf.Message
      Specified by:
      getParserForType in interface com.google.protobuf.MessageLite
      Overrides:
      getParserForType in class com.google.protobuf.GeneratedMessage
    • getDefaultInstanceForType

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