Package dk.brics.automaton
Class MinimizationOperations.Partition
- java.lang.Object
-
- dk.brics.automaton.MinimizationOperations.Partition
-
- Enclosing class:
- MinimizationOperations
static class MinimizationOperations.Partition extends java.lang.Object
-
-
Field Summary
Fields Modifier and Type Field Description (package private) java.lang.Integer[]
elements
(package private) int[]
first
(package private) int[]
locations
(package private) int[]
markedElementCount
(package private) int[]
past
(package private) int
setCount
(package private) int[]
setNo
(package private) int
touchedSetCount
(package private) int[]
touchedSets
-
Constructor Summary
Constructors Constructor Description Partition(int size)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
mark(int e)
(package private) void
split()
-