public class LocalBitSetPacker
extends java.lang.Object
Constructor and Description |
---|
LocalBitSetPacker(Body body) |
Modifier and Type | Method and Description |
---|---|
int |
getLocalCount() |
void |
pack()
Reassigns the local numbers such that a dense bit set can be created over
them
|
void |
unpack()
Restores the original local numbering
|
public LocalBitSetPacker(Body body)