Interface AutomatonConstraintProtoOrBuilder

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

  • Method Details

    • 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

      List<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

      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;
      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

      List<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

      List<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

      List<Integer> getVarsList()
       Legacy field.
      repeated int32 vars = 7;
      Returns:
      A list containing the vars.

    • getVarsCount

      int getVarsCount()
       Legacy field.
      repeated int32 vars = 7;
      Returns:
      The count of vars.

    • getVars

      int getVars(int index)
       Legacy field.
      repeated int32 vars = 7;
      Parameters:
      index - The index of the element to return.
      Returns:
      The vars at the given index.

    • getExprsList

      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;

    • getExprs

      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;

    • getExprsCount

      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;

    • getExprsOrBuilderList

      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;

    • getExprsOrBuilder

      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;