Java Reference
Java Reference
Detailed Description
This constraint forces a sequence of variables to be accepted by an automaton.
Protobuf type
Definition at line 14 of file AutomatonConstraintProto.java.
Classes | |
| class | Builder |
Public Member Functions | |
| .lang.Override final com.google.protobuf.UnknownFieldSet | getUnknownFields () |
| .lang.Override long | getStartingState () |
| .lang.Override 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... | |
| .lang.Override java.util.List< java.lang.Long > | getTransitionTailList () |
| int | getTransitionTailCount () |
| long | getTransitionTail (int index) |
| .lang.Override 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... | |
| .lang.Override 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... | |
| .lang.Override java.util.List< java.lang.Integer > | getVarsList () |
| int | getVarsCount () |
| int | getVars (int index) |
| .lang.Override final boolean | isInitialized () |
| .lang.Override void | writeTo (com.google.protobuf.CodedOutputStream output) throws java.io.IOException |
| .lang.Override int | getSerializedSize () |
| .lang.Override boolean | equals (final java.lang.Object obj) |
| .lang.Override int | hashCode () |
| .lang.Override Builder | newBuilderForType () |
| .lang.Override Builder | toBuilder () |
| .lang.Override com.google.protobuf.Parser< AutomatonConstraintProto > | getParserForType () |
| .lang.Override com.google.ortools.sat.AutomatonConstraintProto | getDefaultInstanceForType () |
Static Public Member Functions | |
| static final com.google.protobuf.Descriptors.Descriptor | getDescriptor () |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (java.nio.ByteBuffer data) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (java.nio.ByteBuffer data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (com.google.protobuf.ByteString data) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (com.google.protobuf.ByteString data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (byte[] data) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (byte[] data, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws com.google.protobuf.InvalidProtocolBufferException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (java.io.InputStream input) throws java.io.IOException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseDelimitedFrom (java.io.InputStream input) throws java.io.IOException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseDelimitedFrom (java.io.InputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (com.google.protobuf.CodedInputStream input) throws java.io.IOException |
| static com.google.ortools.sat.AutomatonConstraintProto | parseFrom (com.google.protobuf.CodedInputStream input, com.google.protobuf.ExtensionRegistryLite extensionRegistry) throws java.io.IOException |
| static Builder | newBuilder () |
| static Builder | newBuilder (com.google.ortools.sat.AutomatonConstraintProto prototype) |
| static com.google.ortools.sat.AutomatonConstraintProto | getDefaultInstance () |
| static com.google.protobuf.Parser< AutomatonConstraintProto > | parser () |
Static Public Attributes | |
| static final int | STARTING_STATE_FIELD_NUMBER = 2 |
| static final int | FINAL_STATES_FIELD_NUMBER = 3 |
| static final int | TRANSITION_TAIL_FIELD_NUMBER = 4 |
| static final int | TRANSITION_HEAD_FIELD_NUMBER = 5 |
| static final int | TRANSITION_LABEL_FIELD_NUMBER = 6 |
| static final int | VARS_FIELD_NUMBER = 7 |
Protected Member Functions | |
| .lang.Override java.lang.Object | newInstance (UnusedPrivateParameter unused) |
| .lang.Override com.google.protobuf.GeneratedMessageV3.FieldAccessorTable | internalGetFieldAccessorTable () |
| .lang.Override Builder | newBuilderForType (com.google.protobuf.GeneratedMessageV3.BuilderParent parent) |
Member Function Documentation
◆ equals()
|
inline |
Definition at line 551 of file AutomatonConstraintProto.java.
◆ getDefaultInstance()
|
inlinestatic |
Definition at line 1482 of file AutomatonConstraintProto.java.
◆ getDefaultInstanceForType()
|
inline |
Definition at line 1507 of file AutomatonConstraintProto.java.
◆ getDescriptor()
|
inlinestatic |
Definition at line 207 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 259 of file AutomatonConstraintProto.java.
◆ getFinalStatesCount()
|
inline |
repeated int64 final_states = 3;
- Returns
- The count of finalStates.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 251 of file AutomatonConstraintProto.java.
◆ getFinalStatesList()
|
inline |
repeated int64 final_states = 3;
- Returns
- A list containing the finalStates.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 244 of file AutomatonConstraintProto.java.
◆ getParserForType()
|
inline |
Definition at line 1502 of file AutomatonConstraintProto.java.
◆ getSerializedSize()
|
inline |
Definition at line 466 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 232 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 333 of file AutomatonConstraintProto.java.
◆ getTransitionHeadCount()
|
inline |
repeated int64 transition_head = 5;
- Returns
- The count of transitionHead.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 325 of file AutomatonConstraintProto.java.
◆ getTransitionHeadList()
|
inline |
repeated int64 transition_head = 5;
- Returns
- A list containing the transitionHead.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 318 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 361 of file AutomatonConstraintProto.java.
◆ getTransitionLabelCount()
|
inline |
repeated int64 transition_label = 6;
- Returns
- The count of transitionLabel.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 353 of file AutomatonConstraintProto.java.
◆ getTransitionLabelList()
|
inline |
repeated int64 transition_label = 6;
- Returns
- A list containing the transitionLabel.
Implements AutomatonConstraintProtoOrBuilder.
Definition at line 346 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 305 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 291 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 278 of file AutomatonConstraintProto.java.
◆ getUnknownFields()
|
inline |
Definition at line 40 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 404 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 391 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 379 of file AutomatonConstraintProto.java.
◆ hashCode()
|
inline |
Definition at line 577 of file AutomatonConstraintProto.java.
◆ internalGetFieldAccessorTable()
|
inlineprotected |
Definition at line 213 of file AutomatonConstraintProto.java.
◆ isInitialized()
|
inline |
Definition at line 411 of file AutomatonConstraintProto.java.
◆ newBuilder() [1/2]
|
inlinestatic |
Definition at line 683 of file AutomatonConstraintProto.java.
◆ newBuilder() [2/2]
|
inlinestatic |
Definition at line 686 of file AutomatonConstraintProto.java.
◆ newBuilderForType() [1/2]
|
inline |
Definition at line 682 of file AutomatonConstraintProto.java.
◆ newBuilderForType() [2/2]
|
inlineprotected |
Definition at line 696 of file AutomatonConstraintProto.java.
◆ newInstance()
|
inlineprotected |
Definition at line 33 of file AutomatonConstraintProto.java.
◆ parseDelimitedFrom() [1/2]
|
inlinestatic |
Definition at line 655 of file AutomatonConstraintProto.java.
◆ parseDelimitedFrom() [2/2]
|
inlinestatic |
Definition at line 660 of file AutomatonConstraintProto.java.
◆ parseFrom() [1/10]
|
inlinestatic |
Definition at line 633 of file AutomatonConstraintProto.java.
◆ parseFrom() [2/10]
|
inlinestatic |
Definition at line 637 of file AutomatonConstraintProto.java.
◆ parseFrom() [3/10]
|
inlinestatic |
Definition at line 622 of file AutomatonConstraintProto.java.
◆ parseFrom() [4/10]
|
inlinestatic |
Definition at line 627 of file AutomatonConstraintProto.java.
◆ parseFrom() [5/10]
|
inlinestatic |
Definition at line 667 of file AutomatonConstraintProto.java.
◆ parseFrom() [6/10]
|
inlinestatic |
Definition at line 673 of file AutomatonConstraintProto.java.
◆ parseFrom() [7/10]
|
inlinestatic |
Definition at line 643 of file AutomatonConstraintProto.java.
◆ parseFrom() [8/10]
|
inlinestatic |
Definition at line 648 of file AutomatonConstraintProto.java.
◆ parseFrom() [9/10]
|
inlinestatic |
Definition at line 611 of file AutomatonConstraintProto.java.
◆ parseFrom() [10/10]
|
inlinestatic |
Definition at line 616 of file AutomatonConstraintProto.java.
◆ parser()
|
inlinestatic |
Definition at line 1497 of file AutomatonConstraintProto.java.
◆ toBuilder()
|
inline |
Definition at line 690 of file AutomatonConstraintProto.java.
◆ writeTo()
|
inline |
Definition at line 421 of file AutomatonConstraintProto.java.
Member Data Documentation
◆ FINAL_STATES_FIELD_NUMBER
|
static |
Definition at line 236 of file AutomatonConstraintProto.java.
◆ STARTING_STATE_FIELD_NUMBER
|
static |
Definition at line 219 of file AutomatonConstraintProto.java.
◆ TRANSITION_HEAD_FIELD_NUMBER
|
static |
Definition at line 310 of file AutomatonConstraintProto.java.
◆ TRANSITION_LABEL_FIELD_NUMBER
|
static |
Definition at line 338 of file AutomatonConstraintProto.java.
◆ TRANSITION_TAIL_FIELD_NUMBER
|
static |
Definition at line 264 of file AutomatonConstraintProto.java.
◆ VARS_FIELD_NUMBER
|
static |
Definition at line 366 of file AutomatonConstraintProto.java.
The documentation for this class was generated from the following file: