public final class HybridPointsToSet extends PointsToSetInternal
| Constructor and Description |
|---|
HybridPointsToSet() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
add(int idx)
Adds idx to this set, returns true if idx was not already in this set.
|
boolean |
addAll(PointsToSetInternal other,
PointsToSetInternal exclude)
Adds contents of other into this set, returns true if this set changed.
|
void |
clear() |
boolean |
contains(int idx)
Returns true iff the set contains node idx.
|
boolean |
forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set.
|
static HybridPointsToSet |
getEmptySet() |
boolean |
isEmpty()
Returns true if this set contains no run-time objects.
|
Iterator<Integer> |
iterator() |
int |
size() |
hasNonEmptyIntersectionpublic static HybridPointsToSet getEmptySet()
public boolean isEmpty()
isEmpty in class PointsToSetInternalpublic void clear()
clear in class PointsToSetInternalpublic boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
addAll in class PointsToSetInternalpublic Iterator<Integer> iterator()
iterator in class PointsToSetInternalpublic int size()
size in class PointsToSetInternalpublic boolean forall(P2SetVisitor v)
forall in class PointsToSetInternalpublic boolean contains(int idx)
contains in class PointsToSetInternalpublic boolean add(int idx)
add in class PointsToSetInternalCopyright © 2024 Soot OSS. All rights reserved.