Class Summary |
BitPointsToSet |
Implementation of points-to set using a bit vector. |
DoublePointsToSet |
Implementation of points-to set that holds two sets: one for new
elements that have not yet been propagated, and the other for elements
that have already been propagated. |
EmptyPointsToSet |
Implementation of an empty, immutable points-to set. |
HashPointsToSet |
HashSet implementation of points-to set. |
HybridPointsToSet |
Hybrid implementation of points-to set, which uses an explicit array for
small sets, and a bit vector for large sets. |
P2SetFactory |
Abstract base class for points-to set factory. |
P2SetVisitor |
Abstract base class for points-to set visitors used to enumerate
points-to sets. |
PointsToSetInternal |
Abstract base class for implementations of points-to sets. |
SharedPointsToSet |
Hybrid implementation of points-to set, which uses an explicit array for
small sets, and a bit vector for large sets. |
SortedArraySet |
Implementation of points-to set using a sorted array. |