public final class SharedBitSetCache
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
BitVector[] |
cache |
BitVector[] |
orAndAndNotCache |
static int |
size |
| Constructor and Description |
|---|
SharedBitSetCache(Singletons.Global g) |
| Modifier and Type | Method and Description |
|---|---|
BitVector |
canonicalize(BitVector set) |
static SharedBitSetCache |
v() |
public static final int size
public BitVector[] cache
public BitVector[] orAndAndNotCache
public static SharedBitSetCache v()