/**
* Transform the result to SPARK style context insensitive points-to set. The transformed result
* is stored in the points-to set of the querying pointer.
*
* @param vn: the querying pointer
* @return
*/
public PointsToSet toSparkCompatiableResult(VarNode vn) {
if (!readyToUse) finish();
PointsToSetInternal ptset = vn.makeP2Set();
for (VarType cv : outList) {
ptset.add(cv.var);
}
return ptset;
}
