public interface AutomatonConstraintProtoOrBuilder
extends com.google.protobuf.MessageOrBuilder
Modifier and Type | Method and Description |
---|---|
LinearExpressionProto |
getExprs(int index)
The sequence of affine expressions (a * var + b).
|
int |
getExprsCount()
The sequence of affine expressions (a * var + b).
|
java.util.List<LinearExpressionProto> |
getExprsList()
The sequence of affine expressions (a * var + b).
|
LinearExpressionProtoOrBuilder |
getExprsOrBuilder(int index)
The sequence of affine expressions (a * var + b).
|
java.util.List<? extends LinearExpressionProtoOrBuilder> |
getExprsOrBuilderList()
The sequence of affine expressions (a * var + b).
|
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)
Legacy field.
|
int |
getVarsCount()
Legacy field.
|
java.util.List<java.lang.Integer> |
getVarsList()
Legacy field.
|
findInitializationErrors, getAllFields, getDefaultInstanceForType, getDescriptorForType, getField, getInitializationErrorString, getOneofFieldDescriptor, getRepeatedField, getRepeatedFieldCount, getUnknownFields, hasField, hasOneof
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;
java.util.List<java.lang.Long> getFinalStatesList()
repeated int64 final_states = 3;
int getFinalStatesCount()
repeated int64 final_states = 3;
long getFinalStates(int index)
repeated int64 final_states = 3;
index
- The index of the element to return.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;
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;
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;
index
- The index of the element to return.java.util.List<java.lang.Long> getTransitionHeadList()
repeated int64 transition_head = 5;
int getTransitionHeadCount()
repeated int64 transition_head = 5;
long getTransitionHead(int index)
repeated int64 transition_head = 5;
index
- The index of the element to return.java.util.List<java.lang.Long> getTransitionLabelList()
repeated int64 transition_label = 6;
int getTransitionLabelCount()
repeated int64 transition_label = 6;
long getTransitionLabel(int index)
repeated int64 transition_label = 6;
index
- The index of the element to return.java.util.List<java.lang.Integer> getVarsList()
Legacy field.
repeated int32 vars = 7;
int getVarsCount()
Legacy field.
repeated int32 vars = 7;
int getVars(int index)
Legacy field.
repeated int32 vars = 7;
index
- The index of the element to return.java.util.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;
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;
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;
java.util.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;
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;
Copyright © 2025. All rights reserved.