Java Reference
Java Reference
Detailed Description
This constraint forces a sequence of variables to be accepted by an automaton.
Protobuf type
Definition at line 709 of file AutomatonConstraintProto.java.
Public Member Functions | |
| .lang.Override Builder | clear () |
| .lang.Override com.google.protobuf.Descriptors.Descriptor | getDescriptorForType () |
| .lang.Override com.google.ortools.sat.AutomatonConstraintProto | getDefaultInstanceForType () |
| .lang.Override com.google.ortools.sat.AutomatonConstraintProto | build () |
| .lang.Override com.google.ortools.sat.AutomatonConstraintProto | buildPartial () |
| .lang.Override Builder | clone () |
| .lang.Override Builder | setField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value) |
| .lang.Override Builder | clearField (com.google.protobuf.Descriptors.FieldDescriptor field) |
| .lang.Override Builder | clearOneof (com.google.protobuf.Descriptors.OneofDescriptor oneof) |
| .lang.Override Builder | setRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, int index, java.lang.Object value) |
| .lang.Override Builder | addRepeatedField (com.google.protobuf.Descriptors.FieldDescriptor field, java.lang.Object value) |
| .lang.Override Builder | mergeFrom (com.google.protobuf.Message other) |
| Builder | mergeFrom (com.google.ortools.sat.AutomatonConstraintProto other) |
| .lang.Override final boolean | isInitialized () |
| .lang.Override Builder | mergeFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| .lang.Override long | getStartingState () |
| Builder | setStartingState (long value) |
| Builder | clearStartingState () |
| 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... | |
| Builder | setFinalStates (int index, long value) |
repeated int64 final_states = 3; More... | |
| Builder | addFinalStates (long value) |
repeated int64 final_states = 3; More... | |
| Builder | addAllFinalStates (java.lang.Iterable<? extends java.lang.Long > values) |
repeated int64 final_states = 3; More... | |
| Builder | clearFinalStates () |
repeated int64 final_states = 3; More... | |
| java.util.List< java.lang.Long > | getTransitionTailList () |
| int | getTransitionTailCount () |
| long | getTransitionTail (int index) |
| Builder | setTransitionTail (int index, long value) |
| Builder | addTransitionTail (long value) |
| Builder | addAllTransitionTail (java.lang.Iterable<? extends java.lang.Long > values) |
| Builder | clearTransitionTail () |
| 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... | |
| Builder | setTransitionHead (int index, long value) |
repeated int64 transition_head = 5; More... | |
| Builder | addTransitionHead (long value) |
repeated int64 transition_head = 5; More... | |
| Builder | addAllTransitionHead (java.lang.Iterable<? extends java.lang.Long > values) |
repeated int64 transition_head = 5; More... | |
| Builder | clearTransitionHead () |
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... | |
| Builder | setTransitionLabel (int index, long value) |
repeated int64 transition_label = 6; More... | |
| Builder | addTransitionLabel (long value) |
repeated int64 transition_label = 6; More... | |
| Builder | addAllTransitionLabel (java.lang.Iterable<? extends java.lang.Long > values) |
repeated int64 transition_label = 6; More... | |
| Builder | clearTransitionLabel () |
repeated int64 transition_label = 6; More... | |
| java.util.List< java.lang.Integer > | getVarsList () |
| int | getVarsCount () |
| int | getVars (int index) |
| Builder | setVars (int index, int value) |
| Builder | addVars (int value) |
| Builder | addAllVars (java.lang.Iterable<? extends java.lang.Integer > values) |
| Builder | clearVars () |
| .lang.Override final Builder | setUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields) |
| .lang.Override final Builder | mergeUnknownFields (final com.google.protobuf.UnknownFieldSet unknownFields) |
Static Public Member Functions | |
| static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
Protected Member Functions | |
| .lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable | internalGetFieldAccessorTable () |
Member Function Documentation
◆ addAllFinalStates()
|
inline |
repeated int64 final_states = 3;
- Parameters
-
values The finalStates to add.
- Returns
- This builder for chaining.
Definition at line 1049 of file AutomatonConstraintProto.java.
◆ addAllTransitionHead()
|
inline |
repeated int64 transition_head = 5;
- Parameters
-
values The transitionHead to add.
- Returns
- This builder for chaining.
Definition at line 1249 of file AutomatonConstraintProto.java.
◆ addAllTransitionLabel()
|
inline |
repeated int64 transition_label = 6;
- Parameters
-
values The transitionLabel to add.
- Returns
- This builder for chaining.
Definition at line 1328 of file AutomatonConstraintProto.java.
◆ addAllTransitionTail()
|
inline |
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
-
values The transitionTail to add.
- Returns
- This builder for chaining.
Definition at line 1164 of file AutomatonConstraintProto.java.
◆ addAllVars()
|
inline |
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
-
values The vars to add.
- Returns
- This builder for chaining.
Definition at line 1437 of file AutomatonConstraintProto.java.
◆ addFinalStates()
|
inline |
repeated int64 final_states = 3;
- Parameters
-
value The finalStates to add.
- Returns
- This builder for chaining.
Definition at line 1038 of file AutomatonConstraintProto.java.
◆ addRepeatedField()
|
inline |
Definition at line 840 of file AutomatonConstraintProto.java.
◆ addTransitionHead()
|
inline |
repeated int64 transition_head = 5;
- Parameters
-
value The transitionHead to add.
- Returns
- This builder for chaining.
Definition at line 1238 of file AutomatonConstraintProto.java.
◆ addTransitionLabel()
|
inline |
repeated int64 transition_label = 6;
- Parameters
-
value The transitionLabel to add.
- Returns
- This builder for chaining.
Definition at line 1317 of file AutomatonConstraintProto.java.
◆ addTransitionTail()
|
inline |
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
-
value The transitionTail to add.
- Returns
- This builder for chaining.
Definition at line 1147 of file AutomatonConstraintProto.java.
◆ addVars()
|
inline |
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
-
value The vars to add.
- Returns
- This builder for chaining.
Definition at line 1421 of file AutomatonConstraintProto.java.
◆ build()
|
inline |
Definition at line 771 of file AutomatonConstraintProto.java.
◆ buildPartial()
|
inline |
Definition at line 780 of file AutomatonConstraintProto.java.
◆ clear()
|
inline |
Definition at line 742 of file AutomatonConstraintProto.java.
◆ clearField()
|
inline |
Definition at line 824 of file AutomatonConstraintProto.java.
◆ clearFinalStates()
|
inline |
repeated int64 final_states = 3;
- Returns
- This builder for chaining.
Definition at line 1061 of file AutomatonConstraintProto.java.
◆ clearOneof()
|
inline |
Definition at line 829 of file AutomatonConstraintProto.java.
◆ clearStartingState()
|
inline |
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
- This builder for chaining.
Definition at line 982 of file AutomatonConstraintProto.java.
◆ clearTransitionHead()
|
inline |
repeated int64 transition_head = 5;
- Returns
- This builder for chaining.
Definition at line 1261 of file AutomatonConstraintProto.java.
◆ clearTransitionLabel()
|
inline |
repeated int64 transition_label = 6;
- Returns
- This builder for chaining.
Definition at line 1340 of file AutomatonConstraintProto.java.
◆ clearTransitionTail()
|
inline |
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
- This builder for chaining.
Definition at line 1182 of file AutomatonConstraintProto.java.
◆ clearVars()
|
inline |
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
- This builder for chaining.
Definition at line 1454 of file AutomatonConstraintProto.java.
◆ clone()
|
inline |
Definition at line 814 of file AutomatonConstraintProto.java.
◆ getDefaultInstanceForType()
|
inline |
Definition at line 766 of file AutomatonConstraintProto.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 714 of file AutomatonConstraintProto.java.
◆ getDescriptorForType()
|
inline |
Definition at line 761 of file AutomatonConstraintProto.java.
◆ getFinalStates()
|
inline |
repeated int64 final_states = 3;
- Parameters
-
index The index of the element to return.
- Returns
- The finalStates at the given index.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1017 of file AutomatonConstraintProto.java.
◆ getFinalStatesCount()
|
inline |
repeated int64 final_states = 3;
- Returns
- The count of finalStates.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1009 of file AutomatonConstraintProto.java.
◆ getFinalStatesList()
|
inline |
repeated int64 final_states = 3;
- Returns
- A list containing the finalStates.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1001 of file AutomatonConstraintProto.java.
◆ getStartingState()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 952 of file AutomatonConstraintProto.java.
◆ getTransitionHead()
|
inline |
repeated int64 transition_head = 5;
- Parameters
-
index The index of the element to return.
- Returns
- The transitionHead at the given index.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1217 of file AutomatonConstraintProto.java.
◆ getTransitionHeadCount()
|
inline |
repeated int64 transition_head = 5;
- Returns
- The count of transitionHead.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1209 of file AutomatonConstraintProto.java.
◆ getTransitionHeadList()
|
inline |
repeated int64 transition_head = 5;
- Returns
- A list containing the transitionHead.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1201 of file AutomatonConstraintProto.java.
◆ getTransitionLabel()
|
inline |
repeated int64 transition_label = 6;
- Parameters
-
index The index of the element to return.
- Returns
- The transitionLabel at the given index.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1296 of file AutomatonConstraintProto.java.
◆ getTransitionLabelCount()
|
inline |
repeated int64 transition_label = 6;
- Returns
- The count of transitionLabel.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1288 of file AutomatonConstraintProto.java.
◆ getTransitionLabelList()
|
inline |
repeated int64 transition_label = 6;
- Returns
- A list containing the transitionLabel.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1280 of file AutomatonConstraintProto.java.
◆ getTransitionTail()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1114 of file AutomatonConstraintProto.java.
◆ getTransitionTailCount()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1100 of file AutomatonConstraintProto.java.
◆ getTransitionTailList()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1086 of file AutomatonConstraintProto.java.
◆ getVars()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1390 of file AutomatonConstraintProto.java.
◆ getVarsCount()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1377 of file AutomatonConstraintProto.java.
◆ getVarsList()
|
inline |
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.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 1364 of file AutomatonConstraintProto.java.
◆ internalGetFieldAccessorTable()
|
inlineprotected |
Definition at line 720 of file AutomatonConstraintProto.java.
◆ isInitialized()
|
inline |
Definition at line 916 of file AutomatonConstraintProto.java.
◆ mergeFrom() [1/3]
|
inline |
Definition at line 855 of file AutomatonConstraintProto.java.
◆ mergeFrom() [2/3]
|
inline |
Definition at line 921 of file AutomatonConstraintProto.java.
◆ mergeFrom() [3/3]
|
inline |
Definition at line 846 of file AutomatonConstraintProto.java.
◆ mergeUnknownFields()
|
inline |
Definition at line 1467 of file AutomatonConstraintProto.java.
◆ setField()
|
inline |
Definition at line 818 of file AutomatonConstraintProto.java.
◆ setFinalStates()
|
inline |
repeated int64 final_states = 3;
- Parameters
-
index The index to set the value at. value The finalStates to set.
- Returns
- This builder for chaining.
Definition at line 1026 of file AutomatonConstraintProto.java.
◆ setRepeatedField()
|
inline |
Definition at line 834 of file AutomatonConstraintProto.java.
◆ setStartingState()
|
inline |
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;
- Parameters
-
value The startingState to set.
- Returns
- This builder for chaining.
Definition at line 966 of file AutomatonConstraintProto.java.
◆ setTransitionHead()
|
inline |
repeated int64 transition_head = 5;
- Parameters
-
index The index to set the value at. value The transitionHead to set.
- Returns
- This builder for chaining.
Definition at line 1226 of file AutomatonConstraintProto.java.
◆ setTransitionLabel()
|
inline |
repeated int64 transition_label = 6;
- Parameters
-
index The index to set the value at. value The transitionLabel to set.
- Returns
- This builder for chaining.
Definition at line 1305 of file AutomatonConstraintProto.java.
◆ setTransitionTail()
|
inline |
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 to set the value at. value The transitionTail to set.
- Returns
- This builder for chaining.
Definition at line 1129 of file AutomatonConstraintProto.java.
◆ setUnknownFields()
|
inline |
Definition at line 1461 of file AutomatonConstraintProto.java.
◆ setVars()
|
inline |
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 to set the value at. value The vars to set.
- Returns
- This builder for chaining.
Definition at line 1404 of file AutomatonConstraintProto.java.
The documentation for this class was generated from the following file: