Modifier and Type | Field and Description |
---|---|
protected int[][] |
constraints
Array representing the required constraints for applying this transition.
|
protected int |
nextState
The target state of this transition.
|
protected int |
type
The type of this transition.
|
Modifier | Constructor and Description |
---|---|
protected |
Transition() |
protected int[][] constraints
Position | Interpretation |
---|---|
0 | annotation type |
1 | negated if value is negative |
2..n | predicates that need to be checked for this annotation |
protected int nextState
protected int type
TransitionPDA
.getType().