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)