static final class MinimizationOperations.StateList
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) MinimizationOperations.StateListNode |
first |
(package private) MinimizationOperations.StateListNode |
last |
(package private) int |
size |
Constructor and Description |
---|
StateList() |
Modifier and Type | Method and Description |
---|---|
(package private) MinimizationOperations.StateListNode |
add(int q) |
int size
MinimizationOperations.StateListNode first
MinimizationOperations.StateListNode last
MinimizationOperations.StateListNode add(int q)