Package dk.brics.automaton
Class MinimizationOperations.StateListNode
- java.lang.Object
-
- dk.brics.automaton.MinimizationOperations.StateListNode
-
- Enclosing class:
- MinimizationOperations
static class MinimizationOperations.StateListNode extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description (package private) MinimizationOperations.StateListNode
next
(package private) MinimizationOperations.StateListNode
prev
(package private) State
q
(package private) MinimizationOperations.StateList
sl
-
Constructor Summary
Constructors Constructor Description StateListNode(State q, MinimizationOperations.StateList sl)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
remove()
-
-
-
Field Detail
-
q
State q
-
next
MinimizationOperations.StateListNode next
-
prev
MinimizationOperations.StateListNode prev
-
-
Constructor Detail
-
StateListNode
StateListNode(State q, MinimizationOperations.StateList sl)
-
-