Uses of Class
qilin.core.sets.PointsToSetInternal

Packages that use PointsToSetInternal

Package	Description
qilin.core.builder
qilin.core.sets
qilin.core.solver

Uses of PointsToSetInternal in qilin.core.builder

Methods in qilin.core.builder with parameters of type PointsToSetInternal

Modifier and Type	Method and Description
void	ExceptionHandler.exceptionDispatch(PointsToSetInternal p2set, ExceptionThrowSite site)
void	CallGraphBuilder.virtualCallDispatch(PointsToSetInternal p2set, VirtualCallSite site)

Uses of PointsToSetInternal in qilin.core.sets

Subclasses of PointsToSetInternal in qilin.core.sets

Modifier and Type	Class and Description
class	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.
class	HybridPointsToSet Hybrid implementation of points-to set, which uses an explicit array for small sets, and a bit vector for large sets.

Methods in qilin.core.sets with parameters of type PointsToSetInternal

Modifier and Type	Method and Description
abstract boolean	PointsToSetInternal.addAll(PointsToSetInternal other, PointsToSetInternal exclude)
boolean	DoublePointsToSet.addAll(PointsToSetInternal other, PointsToSetInternal exclude) Adds contents of other into this set, returns true if this set changed.
boolean	HybridPointsToSet.addAll(PointsToSetInternal other, PointsToSetInternal exclude) Adds contents of other into this set, returns true if this set changed.
boolean	PointsToSetInternal.hasNonEmptyIntersection(PointsToSetInternal other)
boolean	DoublePointsToSet.hasNonEmptyIntersection(PointsToSetInternal other) Returns true if this set shares some objects with other.

Constructors in qilin.core.sets with parameters of type PointsToSetInternal

Constructor and Description
UnmodifiablePointsToSet(PTA pta, PointsToSetInternal pts)

Uses of PointsToSetInternal in qilin.core.solver

Methods in qilin.core.solver with parameters of type PointsToSetInternal

Modifier and Type	Method and Description
protected void	Solver.propagatePTS(ValNode pointer, PointsToSetInternal other)