Package dk.brics.automaton
Class MinimizationOperations.StateList
- java.lang.Object
-
- dk.brics.automaton.MinimizationOperations.StateList
-
- Enclosing class:
- MinimizationOperations
static class MinimizationOperations.StateList extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description (package private) MinimizationOperations.StateListNode
first
(package private) MinimizationOperations.StateListNode
last
(package private) int
size
-
Constructor Summary
Constructors Constructor Description StateList()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) MinimizationOperations.StateListNode
add(State q)
-
-
-
Field Detail
-
size
int size
-
first
MinimizationOperations.StateListNode first
-
last
MinimizationOperations.StateListNode last
-
-
Method Detail
-
add
MinimizationOperations.StateListNode add(State q)
-
-