Package com.google.ortools.sat

Class AutomatonConstraintProto

java.lang.Object
com.google.protobuf.AbstractMessageLite
com.google.protobuf.AbstractMessage
com.google.protobuf.GeneratedMessageV3
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, java.io.Serializable
public final class AutomatonConstraintProto
extends com.google.protobuf.GeneratedMessageV3
implements AutomatonConstraintProtoOrBuilder
 This constraint forces a sequence of variables to be accepted by an
 automaton.
Protobuf type operations_research.sat.AutomatonConstraintProto
See Also:
Serialized Form

  • Nested Class Summary

    Nested Classes
    Modifier and Type Class Description
    static class  AutomatonConstraintProto.Builder
    This constraint forces a sequence of variables to be accepted by an automaton.

    Nested classes/interfaces inherited from class com.google.protobuf.GeneratedMessageV3

    com.google.protobuf.GeneratedMessageV3.BuilderParent, com.google.protobuf.GeneratedMessageV3.ExtendableBuilder<MessageType extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage,​BuilderType extends com.google.protobuf.GeneratedMessageV3.ExtendableBuilder<MessageType,​BuilderType>>, com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageType extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage>, com.google.protobuf.GeneratedMessageV3.ExtendableMessageOrBuilder<MessageType extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage>, com.google.protobuf.GeneratedMessageV3.FieldAccessorTable, com.google.protobuf.GeneratedMessageV3.UnusedPrivateParameter

    Nested classes/interfaces inherited from class com.google.protobuf.AbstractMessageLite

    com.google.protobuf.AbstractMessageLite.InternalOneOfEnum

  • Field Summary

    Fields
    Modifier and Type Field Description
    static int FINAL_STATES_FIELD_NUMBER  
    static int STARTING_STATE_FIELD_NUMBER  
    static int TRANSITION_HEAD_FIELD_NUMBER  
    static int TRANSITION_LABEL_FIELD_NUMBER  
    static int TRANSITION_TAIL_FIELD_NUMBER  
    static int VARS_FIELD_NUMBER  

    Fields inherited from class com.google.protobuf.GeneratedMessageV3

    alwaysUseFieldBuilders, unknownFields

    Fields inherited from class com.google.protobuf.AbstractMessage

    memoizedSize

    Fields inherited from class com.google.protobuf.AbstractMessageLite

    memoizedHashCode

  • Method Summary

    Modifier and Type Method Description
    boolean equals​(java.lang.Object obj)  
    static AutomatonConstraintProto getDefaultInstance()  
    AutomatonConstraintProto getDefaultInstanceForType()  
    static com.google.protobuf.Descriptors.Descriptor getDescriptor()  
    long getFinalStates​(int index)
    repeated int64 final_states = 3;
    int getFinalStatesCount()
    repeated int64 final_states = 3;
    java.util.List<java.lang.Long> getFinalStatesList()
    repeated int64 final_states = 3;
    com.google.protobuf.Parser<AutomatonConstraintProto> getParserForType()  
    int getSerializedSize()  
    long getStartingState()
    A state is identified by a non-negative number.
    long getTransitionHead​(int index)
    repeated int64 transition_head = 5;
    int getTransitionHeadCount()
    repeated int64 transition_head = 5;
    java.util.List<java.lang.Long> getTransitionHeadList()
    repeated int64 transition_head = 5;
    long getTransitionLabel​(int index)
    repeated int64 transition_label = 6;
    int getTransitionLabelCount()
    repeated int64 transition_label = 6;
    java.util.List<java.lang.Long> getTransitionLabelList()
    repeated int64 transition_label = 6;
    long getTransitionTail​(int index)
    List of transitions (all 3 vectors have the same size).
    int getTransitionTailCount()
    List of transitions (all 3 vectors have the same size).
    java.util.List<java.lang.Long> getTransitionTailList()
    List of transitions (all 3 vectors have the same size).
    com.google.protobuf.UnknownFieldSet getUnknownFields()  
    int getVars​(int index)
    The sequence of variables.
    int getVarsCount()
    The sequence of variables.
    java.util.List<java.lang.Integer> getVarsList()
    The sequence of variables.
    int hashCode()  
    protected com.google.protobuf.GeneratedMessageV3.FieldAccessorTable internalGetFieldAccessorTable()  
    boolean isInitialized()  
    static AutomatonConstraintProto.Builder newBuilder()  
    static AutomatonConstraintProto.Builder newBuilder​(AutomatonConstraintProto prototype)  
    AutomatonConstraintProto.Builder newBuilderForType()  
    protected AutomatonConstraintProto.Builder newBuilderForType​(com.google.protobuf.GeneratedMessageV3.BuilderParent parent)  
    protected java.lang.Object newInstance​(com.google.protobuf.GeneratedMessageV3.UnusedPrivateParameter unused)  
    static AutomatonConstraintProto parseDelimitedFrom​(java.io.InputStream input)  
    static AutomatonConstraintProto parseDelimitedFrom​(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)  
    static AutomatonConstraintProto parseFrom​(byte[] data)  
    static AutomatonConstraintProto parseFrom​(byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)  
    static AutomatonConstraintProto parseFrom​(com.google.protobuf.ByteString data)  
    static AutomatonConstraintProto parseFrom​(com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)  
    static AutomatonConstraintProto parseFrom​(com.google.protobuf.CodedInputStream input)  
    static AutomatonConstraintProto parseFrom​(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)  
    static AutomatonConstraintProto parseFrom​(java.io.InputStream input)  
    static AutomatonConstraintProto parseFrom​(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry)  
    static AutomatonConstraintProto parseFrom​(java.nio.ByteBuffer data)  
    static AutomatonConstraintProto parseFrom​(java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry)  
    static com.google.protobuf.Parser<AutomatonConstraintProto> parser()  
    AutomatonConstraintProto.Builder toBuilder()  
    void writeTo​(com.google.protobuf.CodedOutputStream output)  

    Methods inherited from class com.google.protobuf.GeneratedMessageV3

    canUseUnsafe, computeStringSize, computeStringSizeNoTag, emptyBooleanList, emptyDoubleList, emptyFloatList, emptyIntList, emptyLongList, getAllFields, getDescriptorForType, getField, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, hasField, hasOneof, internalGetMapField, makeExtensionsImmutable, mergeFromAndMakeImmutableInternal, mutableCopy, mutableCopy, mutableCopy, mutableCopy, mutableCopy, newBooleanList, newBuilderForType, newDoubleList, newFloatList, newIntList, newLongList, parseDelimitedWithIOException, parseDelimitedWithIOException, parseUnknownField, parseUnknownFieldProto3, parseWithIOException, parseWithIOException, parseWithIOException, parseWithIOException, serializeBooleanMapTo, serializeIntegerMapTo, serializeLongMapTo, serializeStringMapTo, writeReplace, writeString, writeStringNoTag

    Methods inherited from class com.google.protobuf.AbstractMessage

    findInitializationErrors, getInitializationErrorString, hashBoolean, hashEnum, hashEnumList, hashFields, hashLong, toString

    Methods inherited from class com.google.protobuf.AbstractMessageLite

    addAll, addAll, checkByteStringIsUtf8, toByteArray, toByteString, writeDelimitedTo, writeTo

    Methods inherited from class java.lang.Object

    clone, finalize, getClass, notify, notifyAll, wait, wait, wait

    Methods inherited from interface com.google.protobuf.MessageLite

    toByteArray, toByteString, writeDelimitedTo, writeTo

    Methods inherited from interface com.google.protobuf.MessageOrBuilder

    findInitializationErrors, getAllFields, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, hasField, hasOneof

  • Field Details

    • STARTING_STATE_FIELD_NUMBER

      public static final int STARTING_STATE_FIELD_NUMBER
      See Also:
      Constant Field Values

    • FINAL_STATES_FIELD_NUMBER

      public static final int FINAL_STATES_FIELD_NUMBER
      See Also:
      Constant Field Values

    • TRANSITION_TAIL_FIELD_NUMBER

      public static final int TRANSITION_TAIL_FIELD_NUMBER
      See Also:
      Constant Field Values

    • TRANSITION_HEAD_FIELD_NUMBER

      public static final int TRANSITION_HEAD_FIELD_NUMBER
      See Also:
      Constant Field Values

    • TRANSITION_LABEL_FIELD_NUMBER

      public static final int TRANSITION_LABEL_FIELD_NUMBER
      See Also:
      Constant Field Values

    • VARS_FIELD_NUMBER

      public static final int VARS_FIELD_NUMBER
      See Also:
      Constant Field Values

  • Method Details

    • newInstance

      protected java.lang.Object newInstance​(com.google.protobuf.GeneratedMessageV3.UnusedPrivateParameter unused)
      Overrides:
      newInstance in class com.google.protobuf.GeneratedMessageV3

    • getUnknownFields

      public final com.google.protobuf.UnknownFieldSet getUnknownFields()
      Specified by:
      getUnknownFields in interface com.google.protobuf.MessageOrBuilder
      Overrides:
      getUnknownFields in class com.google.protobuf.GeneratedMessageV3

    • 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

    • 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 java.util.List<java.lang.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 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.

    • getTransitionHeadList

      public java.util.List<java.lang.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 java.util.List<java.lang.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 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.

    • isInitialized

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

    • writeTo

      public void writeTo​(com.google.protobuf.CodedOutputStream output) throws java.io.IOException
      Specified by:
      writeTo in interface com.google.protobuf.MessageLite
      Overrides:
      writeTo in class com.google.protobuf.GeneratedMessageV3
      Throws:
      java.io.IOException

    • getSerializedSize

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

    • equals

      public boolean equals​(java.lang.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​(java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException
      Throws:
      com.google.protobuf.InvalidProtocolBufferException

    • parseFrom

      public static AutomatonConstraintProto parseFrom​(java.nio.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​(java.io.InputStream input) throws java.io.IOException
      Throws:
      java.io.IOException

    • parseFrom

      public static AutomatonConstraintProto parseFrom​(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
      Throws:
      java.io.IOException

    • parseDelimitedFrom

      public static AutomatonConstraintProto parseDelimitedFrom​(java.io.InputStream input) throws java.io.IOException
      Throws:
      java.io.IOException

    • parseDelimitedFrom

      public static AutomatonConstraintProto parseDelimitedFrom​(java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
      Throws:
      java.io.IOException

    • parseFrom

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

    • parseFrom

      public static AutomatonConstraintProto parseFrom​(com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException
      Throws:
      java.io.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

      public AutomatonConstraintProto.Builder 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.GeneratedMessageV3.BuilderParent parent)
      Specified by:
      newBuilderForType in class com.google.protobuf.GeneratedMessageV3

    • 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.GeneratedMessageV3

    • getDefaultInstanceForType

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