The remaining byte
s will be moved to the head of the buffer, staring from position zero. Then the position is set to remaining()
; the limit is set to capacity; the mark is cleared.
The remaining char
s will be moved to the head of the buffer, staring from position zero. Then the position is set to remaining()
; the limit is set to capacity; the mark is cleared.
Compact the automaton by eliminating garbage states, and compacting those remaining down. Garbage states are those not reachable from any marked root state. This is similar, in many ways, to the notion of "mark and sweep" garbage collection.
NOTE: all references which were valid beforehand may not be invalidated (unless the automaton was already compacted).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|