Package qilin.core.sets
package qilin.core.sets
-
ClassDescriptionImplementation 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.Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.Abstract base class for points-to set visitors used to enumerate points-to sets.A generic interface to some set of runtime objects computed by a pointer analysis.Abstract base class for implementations of points-to sets.