Package com.google.ortools.sat

Class 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<MessageT extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT>,​BuilderT extends com.google.protobuf.GeneratedMessageV3.ExtendableBuilder<MessageT,​BuilderT>>, com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT>>, com.google.protobuf.GeneratedMessageV3.ExtendableMessageOrBuilder<MessageT extends com.google.protobuf.GeneratedMessageV3.ExtendableMessage<MessageT>>, 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 Detail

      • 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

    • Method Detail

      • newInstance

        protected java.lang.Object newInstance​(com.google.protobuf.GeneratedMessageV3.UnusedPrivateParameter unused)
        Overrides:
        newInstance 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.

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

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

      • 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

      • 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

      • 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