public class PointsToSetVariable extends IntSetVariable<PointsToSetVariable>
Modifier and Type | Field and Description |
---|---|
static boolean |
CRY_ABOUT_BIG_POINTSTO_SETS
if set, emits a warning whenever a points-to set grows bigger than
SIZE_THRESHOLD |
static MutableMapping<InstanceKey> |
instanceKeys
used only for paranoid checking.
|
static boolean |
PARANOID
if set, check that all instance keys in a points-to set are consistent with the type of the corresponding pointer key
|
static int |
SIZE_THRESHOLD |
Constructor and Description |
---|
PointsToSetVariable(PointerKey key) |
Modifier and Type | Method and Description |
---|---|
void |
add(int b)
Set a particular bit
|
boolean |
addAll(IntSet B)
Add all integers from the set B
|
boolean |
addAll(PointsToSetVariable other)
Add all integers from the other int set variable.
|
boolean |
equals(Object obj) |
PointerKey |
getPointerKey() |
String |
toString() |
addAllInIntersection, addAllInIntersection, contains, containsAny, copyState, getValue, remove, removeAll, sameValue, size
getOrderNumber, hashCode, nextHash, setOrderNumber
getGraphNodeId, setGraphNodeId
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getGraphNodeId, setGraphNodeId
public static final boolean CRY_ABOUT_BIG_POINTSTO_SETS
SIZE_THRESHOLD
public static final int SIZE_THRESHOLD
public static final boolean PARANOID
public static MutableMapping<InstanceKey> instanceKeys
public PointsToSetVariable(PointerKey key)
public PointerKey getPointerKey()
public boolean equals(Object obj)
equals
in class AbstractVariable<PointsToSetVariable>
public void add(int b)
IntSetVariable
add
in class IntSetVariable<PointsToSetVariable>
b
- the bit to setpublic boolean addAll(IntSet B)
IntSetVariable
addAll
in class IntSetVariable<PointsToSetVariable>
public boolean addAll(PointsToSetVariable other)
IntSetVariable
addAll
in class IntSetVariable<PointsToSetVariable>
public String toString()
toString
in class IntSetVariable<PointsToSetVariable>