public abstract class PointsToSetInternal extends Object
| Constructor and Description |
|---|
PointsToSetInternal() |
| Modifier and Type | Method and Description |
|---|---|
abstract boolean |
add(int idx)
Adds node index idx to this set, returns true if idx was not already in this set.
|
abstract boolean |
addAll(PointsToSetInternal other,
PointsToSetInternal exclude) |
abstract void |
clear() |
abstract boolean |
contains(int idx)
Returns true iff the set contains the node number index.
|
abstract boolean |
forall(P2SetVisitor v)
Calls v's visit method on all nodes in this set.
|
boolean |
hasNonEmptyIntersection(PointsToSetInternal other) |
abstract boolean |
isEmpty() |
abstract Iterator<Integer> |
iterator() |
abstract int |
size() |
public abstract boolean forall(P2SetVisitor v)
public abstract boolean addAll(PointsToSetInternal other, PointsToSetInternal exclude)
public abstract boolean add(int idx)
public abstract boolean contains(int idx)
public abstract void clear()
public abstract boolean isEmpty()
public boolean hasNonEmptyIntersection(PointsToSetInternal other)
public abstract int size()
Copyright © 2024 Soot OSS. All rights reserved.