Java Reference
Java Reference
Detailed Description
Definition at line 6 of file AutomatonConstraintProtoOrBuilder.java.
Public Member Functions | |
| long | getStartingState () |
| java.util.List< java.lang.Long > | getFinalStatesList () |
repeated int64 final_states = 3; More... | |
| int | getFinalStatesCount () |
repeated int64 final_states = 3; More... | |
| long | getFinalStates (int index) |
repeated int64 final_states = 3; More... | |
| java.util.List< java.lang.Long > | getTransitionTailList () |
| int | getTransitionTailCount () |
| long | getTransitionTail (int index) |
| java.util.List< java.lang.Long > | getTransitionHeadList () |
repeated int64 transition_head = 5; More... | |
| int | getTransitionHeadCount () |
repeated int64 transition_head = 5; More... | |
| long | getTransitionHead (int index) |
repeated int64 transition_head = 5; More... | |
| java.util.List< java.lang.Long > | getTransitionLabelList () |
repeated int64 transition_label = 6; More... | |
| int | getTransitionLabelCount () |
repeated int64 transition_label = 6; More... | |
| long | getTransitionLabel (int index) |
repeated int64 transition_label = 6; More... | |
| java.util.List< java.lang.Integer > | getVarsList () |
| int | getVarsCount () |
| int | getVars (int index) |
Member Function Documentation
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ getFinalStatesCount()
| int getFinalStatesCount | ( | ) |
repeated int64 final_states = 3;
- Returns
- The count of finalStates.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ getFinalStatesList()
| java.util.List<java.lang.Long> getFinalStatesList | ( | ) |
repeated int64 final_states = 3;
- Returns
- A list containing the finalStates.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ getTransitionHeadCount()
| int getTransitionHeadCount | ( | ) |
repeated int64 transition_head = 5;
- Returns
- The count of transitionHead.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ getTransitionHeadList()
| java.util.List<java.lang.Long> getTransitionHeadList | ( | ) |
repeated int64 transition_head = 5;
- Returns
- A list containing the transitionHead.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ getTransitionLabelCount()
| int getTransitionLabelCount | ( | ) |
repeated int64 transition_label = 6;
- Returns
- The count of transitionLabel.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ getTransitionLabelList()
| java.util.List<java.lang.Long> getTransitionLabelList | ( | ) |
repeated int64 transition_label = 6;
- Returns
- A list containing the transitionLabel.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
◆ 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.
Implemented in AutomatonConstraintProto.Builder, and AutomatonConstraintProto.
The documentation for this interface was generated from the following file: