static final class MinimizationOperations.StateListNode
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
(package private) MinimizationOperations.StateListNode |
next |
(package private) MinimizationOperations.StateListNode |
prev |
(package private) int |
q |
(package private) MinimizationOperations.StateList |
sl |
| Constructor and Description |
|---|
StateListNode(int q,
MinimizationOperations.StateList sl) |
| Modifier and Type | Method and Description |
|---|---|
(package private) void |
remove() |
final int q
MinimizationOperations.StateListNode next
MinimizationOperations.StateListNode prev
final MinimizationOperations.StateList sl
StateListNode(int q,
MinimizationOperations.StateList sl)