Package com.google.ortools.sat

Interface AutomatonConstraintProtoOrBuilder

  • All Superinterfaces:
    com.google.protobuf.MessageLiteOrBuilder, com.google.protobuf.MessageOrBuilder
    All Known Implementing Classes:
    AutomatonConstraintProto, AutomatonConstraintProto.Builder
    public interface AutomatonConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder

    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      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;
      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).
      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.

      • Methods inherited from interface com.google.protobuf.MessageLiteOrBuilder

        isInitialized

      • Methods inherited from interface com.google.protobuf.MessageOrBuilder

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

    • Method Detail

      • getStartingState

        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;
        Returns:
        The startingState.

      • getFinalStatesList

        java.util.List<java.lang.Long> getFinalStatesList()
        repeated int64 final_states = 3;
        Returns:
        A list containing the finalStates.

      • getFinalStatesCount

        int getFinalStatesCount()
        repeated int64 final_states = 3;
        Returns:
        The count of finalStates.

      • getFinalStates

        long getFinalStates​(int index)
        repeated int64 final_states = 3;
        Parameters:
        index - The index of the element to return.
        Returns:
        The finalStates at the given index.

      • getTransitionTailList

        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;
        Returns:
        A list containing the transitionTail.

      • getTransitionTailCount

        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;
        Returns:
        The count of transitionTail.

      • getTransitionTail

        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;
        Parameters:
        index - The index of the element to return.
        Returns:
        The transitionTail at the given index.

      • getTransitionHeadList

        java.util.List<java.lang.Long> getTransitionHeadList()
        repeated int64 transition_head = 5;
        Returns:
        A list containing the transitionHead.

      • getTransitionHeadCount

        int getTransitionHeadCount()
        repeated int64 transition_head = 5;
        Returns:
        The count of transitionHead.

      • getTransitionHead

        long getTransitionHead​(int index)
        repeated int64 transition_head = 5;
        Parameters:
        index - The index of the element to return.
        Returns:
        The transitionHead at the given index.

      • getTransitionLabelList

        java.util.List<java.lang.Long> getTransitionLabelList()
        repeated int64 transition_label = 6;
        Returns:
        A list containing the transitionLabel.

      • getTransitionLabelCount

        int getTransitionLabelCount()
        repeated int64 transition_label = 6;
        Returns:
        The count of transitionLabel.

      • getTransitionLabel

        long getTransitionLabel​(int index)
        repeated int64 transition_label = 6;
        Parameters:
        index - The index of the element to return.
        Returns:
        The transitionLabel at the given index.

      • getVarsList

        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;
        Returns:
        A list containing the vars.

      • getVarsCount

        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;
        Returns:
        The count of vars.

      • getVars

        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;
        Parameters:
        index - The index of the element to return.
        Returns:
        The vars at the given index.