Uses of Class
qilin.core.sets.PointsToSetInternal

Packages that use PointsToSetInternal

Package	Description
qilin.core.builder
qilin.core.sets	Points-to set data structures reused from Spark in Soot, with plans for more memory-efficient replacements in the future.
qilin.core.solver

Uses of PointsToSetInternal in qilin.core.builder

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

Modifier and Type	Method	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	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.
final 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	Description
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.
abstract boolean	PointsToSetInternal.addAll(PointsToSetInternal other, PointsToSetInternal exclude)
boolean	DoublePointsToSet.hasNonEmptyIntersection(PointsToSetInternal other)	Returns true if this set shares some objects with other.
boolean	PointsToSetInternal.hasNonEmptyIntersection(PointsToSetInternal other)

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

Modifier	Constructor	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	Description
protected void	Solver.propagatePTS(ValNode pointer, PointsToSetInternal other)