svf-tools 1.0.613 → 1.0.615

package/SVF-doxygen/html/html/classSVF_1_1PersistentDFPTData.html

@@ -140,77 +140,77 @@ Public Types</h2></td></tr>
 Public Member Functions</h2></td></tr>
 <tr class="memitem:a85e0aec789ea945bd4cfa9e29189d1b4"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4">PersistentDFPTData</a> (<a class="el" href="classSVF_1_1PersistentPointsToCache.html">PersistentPointsToCache</a>&lt; DataSet &gt; &amp;cache, bool reversePT=<a class="el" href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a>, <a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848">PTDataTy</a> ty=PTDataTy::PersDataFlow)</td></tr>
 <tr class="separator:a85e0aec789ea945bd4cfa9e29189d1b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad9ccba048d0c749d1c2cafc517f78181"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad9ccba048d0c749d1c2cafc517f78181">~PersistentDFPTData</a> ()</td></tr>
-<tr class="separator:ad9ccba048d0c749d1c2cafc517f78181"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab070b1baa6a01800edac36dc075107fd"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">clear</a> () override</td></tr>
-<tr class="memdesc:ab070b1baa6a01800edac36dc075107fd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#ab070b1baa6a01800edac36dc075107fd">More...</a><br /></td></tr>
-<tr class="separator:ab070b1baa6a01800edac36dc075107fd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5f6a01d0bb40a718bc14f2cc1bb98a13"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">getPts</a> (const Key &amp;var) override</td></tr>
-<tr class="memdesc:a5f6a01d0bb40a718bc14f2cc1bb98a13"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#a5f6a01d0bb40a718bc14f2cc1bb98a13">More...</a><br /></td></tr>
-<tr class="separator:a5f6a01d0bb40a718bc14f2cc1bb98a13"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a50c3d871edb13ac5b3f0d625deb6449a"><td class="memItemLeft" align="right" valign="top">virtual const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a">getRevPts</a> (const Data &amp;) override</td></tr>
-<tr class="memdesc:a50c3d871edb13ac5b3f0d625deb6449a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a50c3d871edb13ac5b3f0d625deb6449a">More...</a><br /></td></tr>
-<tr class="separator:a50c3d871edb13ac5b3f0d625deb6449a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0b757b12ace04b7b7d1e081ad1b742cf"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a0b757b12ace04b7b7d1e081ad1b742cf">unionPts</a> (const Key &amp;dstKey, const Key &amp;srcKey) override</td></tr>
-<tr class="memdesc:a0b757b12ace04b7b7d1e081ad1b742cf"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#a0b757b12ace04b7b7d1e081ad1b742cf">More...</a><br /></td></tr>
-<tr class="separator:a0b757b12ace04b7b7d1e081ad1b742cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a780dc63003f8a0a4c66c1548138fdd86"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a780dc63003f8a0a4c66c1548138fdd86">unionPts</a> (const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</td></tr>
-<tr class="memdesc:a780dc63003f8a0a4c66c1548138fdd86"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#a780dc63003f8a0a4c66c1548138fdd86">More...</a><br /></td></tr>
-<tr class="separator:a780dc63003f8a0a4c66c1548138fdd86"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a95df7d565ba8e990b61b1c932c8d4273"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273">addPts</a> (const Key &amp;dstKey, const Data &amp;element) override</td></tr>
-<tr class="memdesc:a95df7d565ba8e990b61b1c932c8d4273"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a95df7d565ba8e990b61b1c932c8d4273">More...</a><br /></td></tr>
-<tr class="separator:a95df7d565ba8e990b61b1c932c8d4273"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af64c6a2c0a1b2044fac56a69e9db7cff"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">clearPts</a> (const Key &amp;var, const Data &amp;element) override</td></tr>
-<tr class="memdesc:af64c6a2c0a1b2044fac56a69e9db7cff"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#af64c6a2c0a1b2044fac56a69e9db7cff">More...</a><br /></td></tr>
-<tr class="separator:af64c6a2c0a1b2044fac56a69e9db7cff"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afa828c0db9c030584e379e86cf0a25a9"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">clearFullPts</a> (const Key &amp;var) override</td></tr>
-<tr class="memdesc:afa828c0db9c030584e379e86cf0a25a9"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#afa828c0db9c030584e379e86cf0a25a9">More...</a><br /></td></tr>
-<tr class="separator:afa828c0db9c030584e379e86cf0a25a9"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aac817d88beae87fcc961a2df7904e61c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aac817d88beae87fcc961a2df7904e61c">remapAllPts</a> (void) override</td></tr>
-<tr class="memdesc:aac817d88beae87fcc961a2df7904e61c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#aac817d88beae87fcc961a2df7904e61c">More...</a><br /></td></tr>
-<tr class="separator:aac817d88beae87fcc961a2df7904e61c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1d168145358e0f69eca023dd9b4363ea"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d168145358e0f69eca023dd9b4363ea">dumpPTData</a> () override</td></tr>
-<tr class="memdesc:a1d168145358e0f69eca023dd9b4363ea"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#a1d168145358e0f69eca023dd9b4363ea">More...</a><br /></td></tr>
-<tr class="separator:a1d168145358e0f69eca023dd9b4363ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6e7d072fd2d420870bb959b68c200137"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc) const override</td></tr>
-<tr class="separator:a6e7d072fd2d420870bb959b68c200137"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a67c4dec1150bdd8458046696578e5069"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">hasDFOutSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc) const override</td></tr>
-<tr class="separator:a67c4dec1150bdd8458046696578e5069"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab490fd81739f2bd6dddabd5ce5beac3b"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab490fd81739f2bd6dddabd5ce5beac3b">hasDFInSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) const override</td></tr>
-<tr class="separator:ab490fd81739f2bd6dddabd5ce5beac3b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ace47d00f778bc4a714fc4f9d0cbd063c"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ace47d00f778bc4a714fc4f9d0cbd063c">hasDFOutSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) const override</td></tr>
-<tr class="separator:ace47d00f778bc4a714fc4f9d0cbd063c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a26ca6565c4766e3d6ea6bf435ae910a3"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a26ca6565c4766e3d6ea6bf435ae910a3">getDFInPtsSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) override</td></tr>
-<tr class="separator:a26ca6565c4766e3d6ea6bf435ae910a3"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aea89a705aed7e02ddbf73f861506536e"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aea89a705aed7e02ddbf73f861506536e">getDFOutPtsSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) override</td></tr>
-<tr class="separator:aea89a705aed7e02ddbf73f861506536e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9b61c0557c6b1460af2328709011b32e"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">updateDFInFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
-<tr class="separator:a9b61c0557c6b1460af2328709011b32e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9e2dcff79d55b92bc84ec2bb42d851ac"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a9e2dcff79d55b92bc84ec2bb42d851ac">updateAllDFInFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
-<tr class="memdesc:a9e2dcff79d55b92bc84ec2bb42d851ac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above.  <a href="#a9e2dcff79d55b92bc84ec2bb42d851ac">More...</a><br /></td></tr>
-<tr class="separator:a9e2dcff79d55b92bc84ec2bb42d851ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abfacbe37d9e0b5f05eabec66c60c2e2b"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">updateDFInFromOut</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
-<tr class="memdesc:abfacbe37d9e0b5f05eabec66c60c2e2b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]).  <a href="#abfacbe37d9e0b5f05eabec66c60c2e2b">More...</a><br /></td></tr>
-<tr class="separator:abfacbe37d9e0b5f05eabec66c60c2e2b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a67a72d34b62884dee72e0b48b07a7e9f"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">updateAllDFInFromOut</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
-<tr class="memdesc:a67a72d34b62884dee72e0b48b07a7e9f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above.  <a href="#a67a72d34b62884dee72e0b48b07a7e9f">More...</a><br /></td></tr>
-<tr class="separator:a67a72d34b62884dee72e0b48b07a7e9f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a81e6d2d313d7f23fcc2a3d0f5344317f"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">updateDFOutFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
-<tr class="memdesc:a81e6d2d313d7f23fcc2a3d0f5344317f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]).  <a href="#a81e6d2d313d7f23fcc2a3d0f5344317f">More...</a><br /></td></tr>
-<tr class="separator:a81e6d2d313d7f23fcc2a3d0f5344317f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad341c691c11bbdeaa13cfe23919ed070"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad341c691c11bbdeaa13cfe23919ed070">updateAllDFOutFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;singleton, bool strongUpdates) override</td></tr>
-<tr class="memdesc:ad341c691c11bbdeaa13cfe23919ed070"><td class="mdescLeft">&#160;</td><td class="mdescRight">For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var).  <a href="#ad341c691c11bbdeaa13cfe23919ed070">More...</a><br /></td></tr>
-<tr class="separator:ad341c691c11bbdeaa13cfe23919ed070"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad7a4b3c68c4b8b70268ee7c919c624d5"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5">clearAllDFOutUpdatedVar</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>) override</td></tr>
-<tr class="separator:ad7a4b3c68c4b8b70268ee7c919c624d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa9d13ece84d5f519031b4f3cdb429d61"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61">updateTLVPts</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, const Key &amp;dstVar) override</td></tr>
-<tr class="memdesc:aa9d13ece84d5f519031b4f3cdb429d61"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update points-to set of top-level pointers with IN[srcLoc:srcVar].  <a href="#aa9d13ece84d5f519031b4f3cdb429d61">More...</a><br /></td></tr>
-<tr class="separator:aa9d13ece84d5f519031b4f3cdb429d61"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6761733754abf061e92125988a684fa3"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3">updateATVPts</a> (const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
-<tr class="memdesc:a6761733754abf061e92125988a684fa3"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers.  <a href="#a6761733754abf061e92125988a684fa3">More...</a><br /></td></tr>
-<tr class="separator:a6761733754abf061e92125988a684fa3"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a98f84bffeba6bd7dc140f1d5b63ff368"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; DataSet, unsigned &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a98f84bffeba6bd7dc140f1d5b63ff368">getAllPts</a> (bool liveOnly) const override</td></tr>
-<tr class="separator:a98f84bffeba6bd7dc140f1d5b63ff368"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6928f5062dcb84429424a26696a61523"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6928f5062dcb84429424a26696a61523">~PersistentDFPTData</a> () override=default</td></tr>
+<tr class="separator:a6928f5062dcb84429424a26696a61523"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab91a95d661a95bb307b011c46f4dcee8"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8">clear</a> () override</td></tr>
+<tr class="memdesc:ab91a95d661a95bb307b011c46f4dcee8"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#ab91a95d661a95bb307b011c46f4dcee8">More...</a><br /></td></tr>
+<tr class="separator:ab91a95d661a95bb307b011c46f4dcee8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2adbaa59c46d611a448594b74745e986"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">getPts</a> (const Key &amp;var) override</td></tr>
+<tr class="memdesc:a2adbaa59c46d611a448594b74745e986"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#a2adbaa59c46d611a448594b74745e986">More...</a><br /></td></tr>
+<tr class="separator:a2adbaa59c46d611a448594b74745e986"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1cd608254a5d4a59b507bb6508e3560d"><td class="memItemLeft" align="right" valign="top">const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d">getRevPts</a> (const Data &amp;) override</td></tr>
+<tr class="memdesc:a1cd608254a5d4a59b507bb6508e3560d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a1cd608254a5d4a59b507bb6508e3560d">More...</a><br /></td></tr>
+<tr class="separator:a1cd608254a5d4a59b507bb6508e3560d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2d0924d1e9149e198d049777e2fcbd7a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a">unionPts</a> (const Key &amp;dstKey, const Key &amp;srcKey) override</td></tr>
+<tr class="memdesc:a2d0924d1e9149e198d049777e2fcbd7a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#a2d0924d1e9149e198d049777e2fcbd7a">More...</a><br /></td></tr>
+<tr class="separator:a2d0924d1e9149e198d049777e2fcbd7a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2c4e4e53d1ce79dfd5702ba41f26f286"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286">unionPts</a> (const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</td></tr>
+<tr class="memdesc:a2c4e4e53d1ce79dfd5702ba41f26f286"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#a2c4e4e53d1ce79dfd5702ba41f26f286">More...</a><br /></td></tr>
+<tr class="separator:a2c4e4e53d1ce79dfd5702ba41f26f286"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a99bc747e5a23b8d97a320fe1e0bf926f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">addPts</a> (const Key &amp;dstKey, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a99bc747e5a23b8d97a320fe1e0bf926f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a99bc747e5a23b8d97a320fe1e0bf926f">More...</a><br /></td></tr>
+<tr class="separator:a99bc747e5a23b8d97a320fe1e0bf926f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5ac4485ccff838ea9cf28751d1206e10"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">clearPts</a> (const Key &amp;var, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a5ac4485ccff838ea9cf28751d1206e10"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#a5ac4485ccff838ea9cf28751d1206e10">More...</a><br /></td></tr>
+<tr class="separator:a5ac4485ccff838ea9cf28751d1206e10"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a044c27920b947da4302d5214a3de580b"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">clearFullPts</a> (const Key &amp;var) override</td></tr>
+<tr class="memdesc:a044c27920b947da4302d5214a3de580b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#a044c27920b947da4302d5214a3de580b">More...</a><br /></td></tr>
+<tr class="separator:a044c27920b947da4302d5214a3de580b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af70d3b1ecbb8f9cb56b8b419dbc0490a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af70d3b1ecbb8f9cb56b8b419dbc0490a">remapAllPts</a> () override</td></tr>
+<tr class="memdesc:af70d3b1ecbb8f9cb56b8b419dbc0490a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#af70d3b1ecbb8f9cb56b8b419dbc0490a">More...</a><br /></td></tr>
+<tr class="separator:af70d3b1ecbb8f9cb56b8b419dbc0490a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab98f7068c3fb7d8e98a5ed4d706e4e62"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab98f7068c3fb7d8e98a5ed4d706e4e62">dumpPTData</a> () override</td></tr>
+<tr class="memdesc:ab98f7068c3fb7d8e98a5ed4d706e4e62"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#ab98f7068c3fb7d8e98a5ed4d706e4e62">More...</a><br /></td></tr>
+<tr class="separator:ab98f7068c3fb7d8e98a5ed4d706e4e62"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a17e68e28860278b425b9a2d99082e715"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">hasDFInSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc) const override</td></tr>
+<tr class="separator:a17e68e28860278b425b9a2d99082e715"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af8e866e13c7ba87a33b0da0a769d4372"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">hasDFOutSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc) const override</td></tr>
+<tr class="separator:af8e866e13c7ba87a33b0da0a769d4372"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad5ca81c46b57ba0203732f10423ad6ae"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ad5ca81c46b57ba0203732f10423ad6ae">hasDFInSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) const override</td></tr>
+<tr class="separator:ad5ca81c46b57ba0203732f10423ad6ae"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4e0a1656047e6a1e53a1377d23d251bd"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a4e0a1656047e6a1e53a1377d23d251bd">hasDFOutSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) const override</td></tr>
+<tr class="separator:a4e0a1656047e6a1e53a1377d23d251bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa00130defb8ab675fdc6ec3ecb48fd85"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aa00130defb8ab675fdc6ec3ecb48fd85">getDFInPtsSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) override</td></tr>
+<tr class="separator:aa00130defb8ab675fdc6ec3ecb48fd85"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a22d61e046322d7315fed214bf75048e0"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a22d61e046322d7315fed214bf75048e0">getDFOutPtsSet</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;var) override</td></tr>
+<tr class="separator:a22d61e046322d7315fed214bf75048e0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d6a7e3efe8ab65f1ecd7e915d70d659"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">updateDFInFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
+<tr class="separator:a1d6a7e3efe8ab65f1ecd7e915d70d659"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a297cfa81c47d76f989a952edfc34c021"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021">updateAllDFInFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
+<tr class="memdesc:a297cfa81c47d76f989a952edfc34c021"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above.  <a href="#a297cfa81c47d76f989a952edfc34c021">More...</a><br /></td></tr>
+<tr class="separator:a297cfa81c47d76f989a952edfc34c021"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d7dc1c34e506ed78e9e029329558b97"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">updateDFInFromOut</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
+<tr class="memdesc:a1d7dc1c34e506ed78e9e029329558b97"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]).  <a href="#a1d7dc1c34e506ed78e9e029329558b97">More...</a><br /></td></tr>
+<tr class="separator:a1d7dc1c34e506ed78e9e029329558b97"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a57e8efefa1b49bd5fecd363a65b3bced"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced">updateAllDFInFromOut</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
+<tr class="memdesc:a57e8efefa1b49bd5fecd363a65b3bced"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above.  <a href="#a57e8efefa1b49bd5fecd363a65b3bced">More...</a><br /></td></tr>
+<tr class="separator:a57e8efefa1b49bd5fecd363a65b3bced"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab63925fcd6506e6146d5f7487a39f155"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">updateDFOutFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
+<tr class="memdesc:ab63925fcd6506e6146d5f7487a39f155"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]).  <a href="#ab63925fcd6506e6146d5f7487a39f155">More...</a><br /></td></tr>
+<tr class="separator:ab63925fcd6506e6146d5f7487a39f155"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa263aa1f78fd85d1104a907042f58177"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177">updateAllDFOutFromIn</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc, const Key &amp;singleton, bool strongUpdates) override</td></tr>
+<tr class="memdesc:aa263aa1f78fd85d1104a907042f58177"><td class="mdescLeft">&#160;</td><td class="mdescRight">For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var).  <a href="#aa263aa1f78fd85d1104a907042f58177">More...</a><br /></td></tr>
+<tr class="separator:aa263aa1f78fd85d1104a907042f58177"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6af27fbe2c38c4d40d8df5aa1c765f62"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a6af27fbe2c38c4d40d8df5aa1c765f62">clearAllDFOutUpdatedVar</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>) override</td></tr>
+<tr class="separator:a6af27fbe2c38c4d40d8df5aa1c765f62"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae0e64a1ec7f80b148f0a882e96503453"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453">updateTLVPts</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> srcLoc, const Key &amp;srcVar, const Key &amp;dstVar) override</td></tr>
+<tr class="memdesc:ae0e64a1ec7f80b148f0a882e96503453"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update points-to set of top-level pointers with IN[srcLoc:srcVar].  <a href="#ae0e64a1ec7f80b148f0a882e96503453">More...</a><br /></td></tr>
+<tr class="separator:ae0e64a1ec7f80b148f0a882e96503453"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a132babeb5291086130247f015b2bef2b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b">updateATVPts</a> (const Key &amp;srcVar, <a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> dstLoc, const Key &amp;dstVar) override</td></tr>
+<tr class="memdesc:a132babeb5291086130247f015b2bef2b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers.  <a href="#a132babeb5291086130247f015b2bef2b">More...</a><br /></td></tr>
+<tr class="separator:a132babeb5291086130247f015b2bef2b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abc8fbd41eddccddbbdc3316a3fd03276"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; DataSet, unsigned &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDFPTData.html#abc8fbd41eddccddbbdc3316a3fd03276">getAllPts</a> (bool liveOnly) const override</td></tr>
+<tr class="separator:abc8fbd41eddccddbbdc3316a3fd03276"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1DFPTData"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1DFPTData')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1DFPTData.html">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td></tr>
 <tr class="memitem:a40016a7e3dac46d9ba854d336c7aae83 inherit pub_methods_classSVF_1_1DFPTData"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83">DFPTData</a> (bool reversePT=<a class="el" href="cJSON_8cpp.html#a930920b2bc42824a5c03be681830f4b2">true</a>, <a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848">PTDataTy</a> ty=<a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848acb817cbf655c365c02af3675588f06cc">BasePTData::DataFlow</a>)</td></tr>
 <tr class="memdesc:a40016a7e3dac46d9ba854d336c7aae83 inherit pub_methods_classSVF_1_1DFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1DFPTData.html#a40016a7e3dac46d9ba854d336c7aae83">More...</a><br /></td></tr>
@@ -440,7 +440,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
@@ -452,8 +452,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad9ccba048d0c749d1c2cafc517f78181"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad9ccba048d0c749d1c2cafc517f78181">&#9670;&nbsp;</a></span>~PersistentDFPTData()</h2>
+<a id="a6928f5062dcb84429424a26696a61523"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6928f5062dcb84429424a26696a61523">&#9670;&nbsp;</a></span>~PersistentDFPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -464,7 +464,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> </td>
+          <td class="memname"><a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentDFPTData.html">PersistentDFPTData</a> </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -472,18 +472,16 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span>  </td>
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">default</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00349">349</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;{ }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a95df7d565ba8e990b61b1c932c8d4273"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a95df7d565ba8e990b61b1c932c8d4273">&#9670;&nbsp;</a></span>addPts()</h2>
+<a id="a99bc747e5a23b8d97a320fe1e0bf926f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a99bc747e5a23b8d97a320fe1e0bf926f">&#9670;&nbsp;</a></span>addPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -494,7 +492,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::addPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::addPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -588,8 +586,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div><div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::PersDataFlow</div><div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;               || ptd-&gt;getPTDTY() == PTDataTy::PersIncDataFlow;</div><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="ab070b1baa6a01800edac36dc075107fd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab070b1baa6a01800edac36dc075107fd">&#9670;&nbsp;</a></span>clear()</h2>
+<a id="ab91a95d661a95bb307b011c46f4dcee8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab91a95d661a95bb307b011c46f4dcee8">&#9670;&nbsp;</a></span>clear()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -600,7 +598,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -617,7 +615,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ad7785e4207e0b45aed72845af6c4916f">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00351">351</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    {</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>.clear();</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>.clear();</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.clear();</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
@@ -626,8 +624,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad7a4b3c68c4b8b70268ee7c919c624d5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad7a4b3c68c4b8b70268ee7c919c624d5">&#9670;&nbsp;</a></span>clearAllDFOutUpdatedVar()</h2>
+<a id="a6af27fbe2c38c4d40d8df5aa1c765f62"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6af27fbe2c38c4d40d8df5aa1c765f62">&#9670;&nbsp;</a></span>clearAllDFOutUpdatedVar()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -638,7 +636,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearAllDFOutUpdatedVar </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearAllDFOutUpdatedVar </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"></td><td>)</td>
@@ -654,14 +652,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#ac20579e277a284158e2924fb5946cd86">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ab41bf3e2ba1700ae6116702fb5ce8efe">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00486">486</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00487"></a><span class="lineno">  487</span>&#160;    {</div><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="afa828c0db9c030584e379e86cf0a25a9"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afa828c0db9c030584e379e86cf0a25a9">&#9670;&nbsp;</a></span>clearFullPts()</h2>
+<a id="a044c27920b947da4302d5214a3de580b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a044c27920b947da4302d5214a3de580b">&#9670;&nbsp;</a></span>clearFullPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -672,7 +670,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearFullPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearFullPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -695,8 +693,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="af64c6a2c0a1b2044fac56a69e9db7cff"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af64c6a2c0a1b2044fac56a69e9db7cff">&#9670;&nbsp;</a></span>clearPts()</h2>
+<a id="a5ac4485ccff838ea9cf28751d1206e10"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5ac4485ccff838ea9cf28751d1206e10">&#9670;&nbsp;</a></span>clearPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -707,7 +705,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -740,8 +738,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a1d168145358e0f69eca023dd9b4363ea"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1d168145358e0f69eca023dd9b4363ea">&#9670;&nbsp;</a></span>dumpPTData()</h2>
+<a id="ab98f7068c3fb7d8e98a5ed4d706e4e62"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab98f7068c3fb7d8e98a5ed4d706e4e62">&#9670;&nbsp;</a></span>dumpPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -752,7 +750,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::dumpPTData </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::dumpPTData </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -774,8 +772,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a98f84bffeba6bd7dc140f1d5b63ff368"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a98f84bffeba6bd7dc140f1d5b63ff368">&#9670;&nbsp;</a></span>getAllPts()</h2>
+<a id="abc8fbd41eddccddbbdc3316a3fd03276"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#abc8fbd41eddccddbbdc3316a3fd03276">&#9670;&nbsp;</a></span>getAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -786,7 +784,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;DataSet, unsigned&gt; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getAllPts </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;DataSet, unsigned&gt; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getAllPts </td>
           <td>(</td>
           <td class="paramtype">bool&#160;</td>
           <td class="paramname"><em>liveOnly</em></td><td>)</td>
@@ -804,9 +802,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00501">501</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;    {</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;        Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>)</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        {</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;            {</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;                ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;            }</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;        }</div><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;</div><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>)</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;        {</div><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;            {</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;                ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;            }</div><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;        }</div><div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;</div><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;        <span class="keywordflow">if</span> (!liveOnly)</div><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;        {</div><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;            <span class="comment">// Subtract 1 from each counted points-to set because the live points-to</span></div><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;            <span class="comment">// sets have already been inserted and accounted for how often they occur.</span></div><div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;            <span class="comment">// They will each occur one more time in the cache.</span></div><div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;            <span class="comment">// In essence, we want the ptCache.getAllPts() to just add the unused, non-GC&#39;d</span></div><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;            <span class="comment">// points-to sets to allPts.</span></div><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">typename</span> Map&lt;DataSet, unsigned&gt;::value_type pto : allPts) pto.second -= 1;</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;            SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">getAllPts</a>());</div><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;        }</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;        <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab84d0806e87c982bf81ae309f28751e3"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache::getAllPts</a></div><div class="ttdeci">Map&lt; Data, unsigned &gt; getAllPts(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00345">PersistentPointsToCache.h:345</a></div></div>
+<div class="fragment"><div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;    {</div><div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;        Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.getAllPts(liveOnly);</div><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>)</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;        {</div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;            {</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;                ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;            }</div><div class="line"><a name="l00510"></a><span class="lineno">  510</span>&#160;        }</div><div class="line"><a name="l00511"></a><span class="lineno">  511</span>&#160;</div><div class="line"><a name="l00512"></a><span class="lineno">  512</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> DFKeyToIDMap::value_type &amp;lki : <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>)</div><div class="line"><a name="l00513"></a><span class="lineno">  513</span>&#160;        {</div><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : lki.second)</div><div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;            {</div><div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;                ++allPts[<a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;            }</div><div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;        }</div><div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;</div><div class="line"><a name="l00520"></a><span class="lineno">  520</span>&#160;        <span class="keywordflow">if</span> (!liveOnly)</div><div class="line"><a name="l00521"></a><span class="lineno">  521</span>&#160;        {</div><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;            <span class="comment">// Subtract 1 from each counted points-to set because the live points-to</span></div><div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;            <span class="comment">// sets have already been inserted and accounted for how often they occur.</span></div><div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;            <span class="comment">// They will each occur one more time in the cache.</span></div><div class="line"><a name="l00525"></a><span class="lineno">  525</span>&#160;            <span class="comment">// In essence, we want the ptCache.getAllPts() to just add the unused, non-GC&#39;d</span></div><div class="line"><a name="l00526"></a><span class="lineno">  526</span>&#160;            <span class="comment">// points-to sets to allPts.</span></div><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">typename</span> Map&lt;DataSet, unsigned&gt;::value_type pto : allPts) pto.second -= 1;</div><div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;            SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">getAllPts</a>());</div><div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;        }</div><div class="line"><a name="l00530"></a><span class="lineno">  530</span>&#160;</div><div class="line"><a name="l00531"></a><span class="lineno">  531</span>&#160;        <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab84d0806e87c982bf81ae309f28751e3"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache::getAllPts</a></div><div class="ttdeci">Map&lt; Data, unsigned &gt; getAllPts(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00344">PersistentPointsToCache.h:344</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00105">PersistentPointsToCache.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a349c231f59ea554059a1891f1a530820"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">SVF::PersistentDFPTData::persPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; persPTData</div><div class="ttdoc">PTData for top-level pointers. We will also use its cache for address-taken pointers. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00570">PersistentPointsToDS.h:570</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
@@ -854,8 +852,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a26ca6565c4766e3d6ea6bf435ae910a3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a26ca6565c4766e3d6ea6bf435ae910a3">&#9670;&nbsp;</a></span>getDFInPtsSet()</h2>
+<a id="aa00130defb8ab675fdc6ec3ecb48fd85"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa00130defb8ab675fdc6ec3ecb48fd85">&#9670;&nbsp;</a></span>getDFInPtsSet()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -866,7 +864,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getDFInPtsSet </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getDFInPtsSet </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em>, </td>
@@ -893,7 +891,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a259a92ea46f1d3a1dbd4a74ff07718d2">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00430">430</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;    {</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc][var];</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
+<div class="fragment"><div class="line"><a name="l00431"></a><span class="lineno">  431</span>&#160;    {</div><div class="line"><a name="l00432"></a><span class="lineno">  432</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc][var];</div><div class="line"><a name="l00433"></a><span class="lineno">  433</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00434"></a><span class="lineno">  434</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00105">PersistentPointsToCache.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
@@ -941,8 +939,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aea89a705aed7e02ddbf73f861506536e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aea89a705aed7e02ddbf73f861506536e">&#9670;&nbsp;</a></span>getDFOutPtsSet()</h2>
+<a id="a22d61e046322d7315fed214bf75048e0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a22d61e046322d7315fed214bf75048e0">&#9670;&nbsp;</a></span>getDFOutPtsSet()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -953,7 +951,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getDFOutPtsSet </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getDFOutPtsSet </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em>, </td>
@@ -981,14 +979,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00436">436</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00437"></a><span class="lineno">  437</span>&#160;    {</div><div class="line"><a name="l00438"></a><span class="lineno">  438</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">dfOutPtsMap</a>[loc][var];</div><div class="line"><a name="l00439"></a><span class="lineno">  439</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00440"></a><span class="lineno">  440</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad77d7ccad393c995813f8c433c249dfc"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad77d7ccad393c995813f8c433c249dfc">SVF::PersistentDFPTData::dfOutPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfOutPtsMap</div><div class="ttdoc">Address-taken points-to sets in OUT-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00575">PersistentPointsToDS.h:575</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00105">PersistentPointsToCache.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a5f6a01d0bb40a718bc14f2cc1bb98a13"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5f6a01d0bb40a718bc14f2cc1bb98a13">&#9670;&nbsp;</a></span>getPts()</h2>
+<a id="a2adbaa59c46d611a448594b74745e986"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2adbaa59c46d611a448594b74745e986">&#9670;&nbsp;</a></span>getPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -999,7 +997,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getPts </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -1022,8 +1020,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a50c3d871edb13ac5b3f0d625deb6449a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a50c3d871edb13ac5b3f0d625deb6449a">&#9670;&nbsp;</a></span>getRevPts()</h2>
+<a id="a1cd608254a5d4a59b507bb6508e3560d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1cd608254a5d4a59b507bb6508e3560d">&#9670;&nbsp;</a></span>getRevPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1034,7 +1032,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const KeySet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getRevPts </td>
+          <td class="memname">const KeySet&amp; <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getRevPts </td>
           <td>(</td>
           <td class="paramtype">const Data &amp;&#160;</td>
           <td class="paramname"><em>datum</em></td><td>)</td>
@@ -1056,8 +1054,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="fragment"><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    {</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;        assert(<span class="keyword">false</span> &amp;&amp; <span class="stringliteral">&quot;PersistentDFPTData::getRevPts: not supported yet!&quot;</span>);</div><div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;        abort();</div><div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="a6e7d072fd2d420870bb959b68c200137"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6e7d072fd2d420870bb959b68c200137">&#9670;&nbsp;</a></span>hasDFInSet() <span class="overload">[1/2]</span></h2>
+<a id="a17e68e28860278b425b9a2d99082e715"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a17e68e28860278b425b9a2d99082e715">&#9670;&nbsp;</a></span>hasDFInSet() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1068,7 +1066,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFInSet </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFInSet </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em></td><td>)</td>
@@ -1090,8 +1088,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab490fd81739f2bd6dddabd5ce5beac3b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab490fd81739f2bd6dddabd5ce5beac3b">&#9670;&nbsp;</a></span>hasDFInSet() <span class="overload">[2/2]</span></h2>
+<a id="ad5ca81c46b57ba0203732f10423ad6ae"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad5ca81c46b57ba0203732f10423ad6ae">&#9670;&nbsp;</a></span>hasDFInSet() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1102,7 +1100,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFInSet </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFInSet </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em>, </td>
@@ -1134,8 +1132,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a67c4dec1150bdd8458046696578e5069"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a67c4dec1150bdd8458046696578e5069">&#9670;&nbsp;</a></span>hasDFOutSet() <span class="overload">[1/2]</span></h2>
+<a id="af8e866e13c7ba87a33b0da0a769d4372"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af8e866e13c7ba87a33b0da0a769d4372">&#9670;&nbsp;</a></span>hasDFOutSet() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1146,7 +1144,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFOutSet </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFOutSet </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em></td><td>)</td>
@@ -1167,8 +1165,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ace47d00f778bc4a714fc4f9d0cbd063c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ace47d00f778bc4a714fc4f9d0cbd063c">&#9670;&nbsp;</a></span>hasDFOutSet() <span class="overload">[2/2]</span></h2>
+<a id="a4e0a1656047e6a1e53a1377d23d251bd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4e0a1656047e6a1e53a1377d23d251bd">&#9670;&nbsp;</a></span>hasDFOutSet() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1179,7 +1177,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFOutSet </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::hasDFOutSet </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em>, </td>
@@ -1212,8 +1210,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aac817d88beae87fcc961a2df7904e61c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aac817d88beae87fcc961a2df7904e61c">&#9670;&nbsp;</a></span>remapAllPts()</h2>
+<a id="af70d3b1ecbb8f9cb56b8b419dbc0490a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af70d3b1ecbb8f9cb56b8b419dbc0490a">&#9670;&nbsp;</a></span>remapAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1224,9 +1222,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::remapAllPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::remapAllPts </td>
           <td>(</td>
-          <td class="paramtype">void&#160;</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
         </tr>
@@ -1243,13 +1240,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#af2f176027169e18730848c7a583aed93">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00394">394</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;    {</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">remapAllPts</a>();</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a89c4e8c8edcc6744f298e90d721a0745"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">SVF::PersistentPointsToCache::remapAllPts</a></div><div class="ttdeci">void remapAllPts(void)</div><div class="ttdoc">Remaps all points-to sets stored in the cache to the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00080">PersistentPointsToCache.h:80</a></div></div>
+<div class="fragment"><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;    {</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">remapAllPts</a>();</div><div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a89c4e8c8edcc6744f298e90d721a0745"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">SVF::PersistentPointsToCache::remapAllPts</a></div><div class="ttdeci">void remapAllPts(void)</div><div class="ttdoc">Remaps all points-to sets stored in the cache to the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00079">PersistentPointsToCache.h:79</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a0b757b12ace04b7b7d1e081ad1b742cf"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0b757b12ace04b7b7d1e081ad1b742cf">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/2]</span></h2>
+<a id="a2d0924d1e9149e198d049777e2fcbd7a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2d0924d1e9149e198d049777e2fcbd7a">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1260,7 +1257,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1293,8 +1290,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a780dc63003f8a0a4c66c1548138fdd86"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a780dc63003f8a0a4c66c1548138fdd86">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/2]</span></h2>
+<a id="a2c4e4e53d1ce79dfd5702ba41f26f286"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2c4e4e53d1ce79dfd5702ba41f26f286">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1305,7 +1302,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1375,14 +1372,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00549">549</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;    {</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> oldDst = dst;</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;        dst = <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">unionPts</a>(dst, src);</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <span class="keywordflow">return</span> oldDst != dst;</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a178b49cca2c22e874ff9e772cc4df72b"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache::unionPts</a></div><div class="ttdeci">PointsToID unionPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Unions lhs and rhs and returns their union&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00114">PersistentPointsToCache.h:114</a></div></div>
+<div class="fragment"><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;    {</div><div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> oldDst = dst;</div><div class="line"><a name="l00552"></a><span class="lineno">  552</span>&#160;        dst = <a class="code" href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">unionPts</a>(dst, src);</div><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;        <span class="keywordflow">return</span> oldDst != dst;</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a178b49cca2c22e874ff9e772cc4df72b"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache::unionPts</a></div><div class="ttdeci">PointsToID unionPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Unions lhs and rhs and returns their union&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00113">PersistentPointsToCache.h:113</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af86313e37c5177e45456f813b9b46a4f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f">SVF::PersistentDFPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00567">PersistentPointsToDS.h:567</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9e2dcff79d55b92bc84ec2bb42d851ac"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9e2dcff79d55b92bc84ec2bb42d851ac">&#9670;&nbsp;</a></span>updateAllDFInFromIn()</h2>
+<a id="a297cfa81c47d76f989a952edfc34c021"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a297cfa81c47d76f989a952edfc34c021">&#9670;&nbsp;</a></span>updateAllDFInFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1393,7 +1390,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFInFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFInFromIn </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>srcLoc</em>, </td>
@@ -1433,15 +1430,15 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a506a2be8f909663d59245254bddea00b">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a2259da9defa195350b3f70cd16c3f2ec">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00447">447</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;    {</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">updateDFInFromIn</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a9b61c0557c6b1460af2328709011b32e"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData::updateDFInFromIn</a></div><div class="ttdeci">virtual bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00442">PersistentPointsToDS.h:442</a></div></div>
+<div class="fragment"><div class="line"><a name="l00448"></a><span class="lineno">  448</span>&#160;    {</div><div class="line"><a name="l00449"></a><span class="lineno">  449</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">updateDFInFromIn</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00450"></a><span class="lineno">  450</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a1d6a7e3efe8ab65f1ecd7e915d70d659"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">SVF::PersistentDFPTData::updateDFInFromIn</a></div><div class="ttdeci">bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00442">PersistentPointsToDS.h:442</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a67a72d34b62884dee72e0b48b07a7e9f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a67a72d34b62884dee72e0b48b07a7e9f">&#9670;&nbsp;</a></span>updateAllDFInFromOut()</h2>
+<a id="a57e8efefa1b49bd5fecd363a65b3bced"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a57e8efefa1b49bd5fecd363a65b3bced">&#9670;&nbsp;</a></span>updateAllDFInFromOut()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1452,7 +1449,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFInFromOut </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFInFromOut </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>srcLoc</em>, </td>
@@ -1492,15 +1489,15 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a96a5d7e867095b3c215c73599fd31c19">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a218ebd39a42b5de8910b98bef9d04f7d">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00457">457</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    {</div><div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">updateDFInFromOut</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_abfacbe37d9e0b5f05eabec66c60c2e2b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData::updateDFInFromOut</a></div><div class="ttdeci">virtual bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00452">PersistentPointsToDS.h:452</a></div></div>
+<div class="fragment"><div class="line"><a name="l00458"></a><span class="lineno">  458</span>&#160;    {</div><div class="line"><a name="l00459"></a><span class="lineno">  459</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">updateDFInFromOut</a>(srcLoc, srcVar, dstLoc, dstVar);</div><div class="line"><a name="l00460"></a><span class="lineno">  460</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a1d7dc1c34e506ed78e9e029329558b97"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">SVF::PersistentDFPTData::updateDFInFromOut</a></div><div class="ttdeci">bool updateDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00452">PersistentPointsToDS.h:452</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ad341c691c11bbdeaa13cfe23919ed070"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad341c691c11bbdeaa13cfe23919ed070">&#9670;&nbsp;</a></span>updateAllDFOutFromIn()</h2>
+<a id="aa263aa1f78fd85d1104a907042f58177"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa263aa1f78fd85d1104a907042f58177">&#9670;&nbsp;</a></span>updateAllDFOutFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1511,7 +1508,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFOutFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFOutFromIn </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>loc</em>, </td>
@@ -1546,18 +1543,18 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a7e4ae809b40d55448de0103746254158">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a59e2297b72cc30553db5e45da70f46">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00467">467</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    {</div><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">hasDFInSet</a>(loc))</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        {</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;inKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : inKeyToId)</div><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;            {</div><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;                <span class="keyword">const</span> Key var = ki.first;</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;                <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;            }</div><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;        }</div><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a81e6d2d313d7f23fcc2a3d0f5344317f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">virtual bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00462">PersistentPointsToDS.h:462</a></div></div>
+<div class="fragment"><div class="line"><a name="l00468"></a><span class="lineno">  468</span>&#160;    {</div><div class="line"><a name="l00469"></a><span class="lineno">  469</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00470"></a><span class="lineno">  470</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">hasDFInSet</a>(loc))</div><div class="line"><a name="l00471"></a><span class="lineno">  471</span>&#160;        {</div><div class="line"><a name="l00472"></a><span class="lineno">  472</span>&#160;            <span class="keyword">const</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">KeyToIDMap</a> &amp;inKeyToId = <a class="code" href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">dfInPtsMap</a>[loc];</div><div class="line"><a name="l00473"></a><span class="lineno">  473</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : inKeyToId)</div><div class="line"><a name="l00474"></a><span class="lineno">  474</span>&#160;            {</div><div class="line"><a name="l00475"></a><span class="lineno">  475</span>&#160;                <span class="keyword">const</span> Key var = ki.first;</div><div class="line"><a name="l00477"></a><span class="lineno">  477</span>&#160;                <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00478"></a><span class="lineno">  478</span>&#160;</div><div class="line"><a name="l00479"></a><span class="lineno">  479</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00480"></a><span class="lineno">  480</span>&#160;            }</div><div class="line"><a name="l00481"></a><span class="lineno">  481</span>&#160;        }</div><div class="line"><a name="l00482"></a><span class="lineno">  482</span>&#160;</div><div class="line"><a name="l00483"></a><span class="lineno">  483</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00484"></a><span class="lineno">  484</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a17e68e28860278b425b9a2d99082e715"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a17e68e28860278b425b9a2d99082e715">SVF::PersistentDFPTData::hasDFInSet</a></div><div class="ttdeci">bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00404">PersistentPointsToDS.h:404</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6b892b707524127928e269f0f0bbe868"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6b892b707524127928e269f0f0bbe868">SVF::PersistentDFPTData::dfInPtsMap</a></div><div class="ttdeci">DFKeyToIDMap dfInPtsMap</div><div class="ttdoc">Address-taken points-to sets in IN-sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_aee8871b4895d38bccb9078ad540f9f0f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#aee8871b4895d38bccb9078ad540f9f0f">SVF::PersistentDFPTData::KeyToIDMap</a></div><div class="ttdeci">BasePersPTData::KeyToIDMap KeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00343">PersistentPointsToDS.h:343</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a6e7d072fd2d420870bb959b68c200137"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a6e7d072fd2d420870bb959b68c200137">SVF::PersistentDFPTData::hasDFInSet</a></div><div class="ttdeci">virtual bool hasDFInSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00404">PersistentPointsToDS.h:404</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab63925fcd6506e6146d5f7487a39f155"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">SVF::PersistentDFPTData::updateDFOutFromIn</a></div><div class="ttdeci">bool updateDFOutFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00462">PersistentPointsToDS.h:462</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a6761733754abf061e92125988a684fa3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6761733754abf061e92125988a684fa3">&#9670;&nbsp;</a></span>updateATVPts()</h2>
+<a id="a132babeb5291086130247f015b2bef2b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a132babeb5291086130247f015b2bef2b">&#9670;&nbsp;</a></span>updateATVPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1568,7 +1565,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateATVPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateATVPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>srcVar</em>, </td>
@@ -1602,7 +1599,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a09bc4b7eef592af2c2c84b60029b5b52">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a002e6d234d0ad0c74a0976046e440f71">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00496">496</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;    {</div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[srcVar]);</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
@@ -1611,8 +1608,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9b61c0557c6b1460af2328709011b32e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9b61c0557c6b1460af2328709011b32e">&#9670;&nbsp;</a></span>updateDFInFromIn()</h2>
+<a id="a1d6a7e3efe8ab65f1ecd7e915d70d659"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1d6a7e3efe8ab65f1ecd7e915d70d659">&#9670;&nbsp;</a></span>updateDFInFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1623,7 +1620,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFInFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFInFromIn </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>srcLoc</em>, </td>
@@ -1663,7 +1660,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a88cf9cd48ee5c1b8b3c71b379f23ab6b">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00442">442</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00443"></a><span class="lineno">  443</span>&#160;    {</div><div class="line"><a name="l00444"></a><span class="lineno">  444</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00445"></a><span class="lineno">  445</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
@@ -1671,8 +1668,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="abfacbe37d9e0b5f05eabec66c60c2e2b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abfacbe37d9e0b5f05eabec66c60c2e2b">&#9670;&nbsp;</a></span>updateDFInFromOut()</h2>
+<a id="a1d7dc1c34e506ed78e9e029329558b97"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1d7dc1c34e506ed78e9e029329558b97">&#9670;&nbsp;</a></span>updateDFInFromOut()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1683,7 +1680,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFInFromOut </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFInFromOut </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>srcLoc</em>, </td>
@@ -1723,7 +1720,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#a2ec4fb73d87f10c86fac34b3500532b3">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00452">452</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00453"></a><span class="lineno">  453</span>&#160;    {</div><div class="line"><a name="l00454"></a><span class="lineno">  454</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00455"></a><span class="lineno">  455</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
@@ -1732,8 +1729,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a81e6d2d313d7f23fcc2a3d0f5344317f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a81e6d2d313d7f23fcc2a3d0f5344317f">&#9670;&nbsp;</a></span>updateDFOutFromIn()</h2>
+<a id="ab63925fcd6506e6146d5f7487a39f155"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab63925fcd6506e6146d5f7487a39f155">&#9670;&nbsp;</a></span>updateDFOutFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1744,7 +1741,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFOutFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFOutFromIn </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>srcLoc</em>, </td>
@@ -1784,7 +1781,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#acee5fb134d3153ae6eb91c15cd2cff66">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00462">462</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00463"></a><span class="lineno">  463</span>&#160;    {</div><div class="line"><a name="l00464"></a><span class="lineno">  464</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00465"></a><span class="lineno">  465</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>
@@ -1793,8 +1790,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aa9d13ece84d5f519031b4f3cdb429d61"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa9d13ece84d5f519031b4f3cdb429d61">&#9670;&nbsp;</a></span>updateTLVPts()</h2>
+<a id="ae0e64a1ec7f80b148f0a882e96503453"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae0e64a1ec7f80b148f0a882e96503453">&#9670;&nbsp;</a></span>updateTLVPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1805,7 +1802,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateTLVPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateTLVPts </td>
           <td>(</td>
           <td class="paramtype"><a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a>&#160;</td>
           <td class="paramname"><em>srcLoc</em>, </td>
@@ -1839,7 +1836,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Implements <a class="el" href="classSVF_1_1DFPTData.html#aaa6f67ff5daf7d71a3ad62316a7dd872">SVF::DFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
-<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ae4732dd1897883fafa98454b46134bfb">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented in <a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34">SVF::PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00491">491</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    {</div><div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[dstVar], <a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar));</div><div class="line"><a name="l00494"></a><span class="lineno">  494</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a2cb37d0403e1b34316c9c24a0d6ab66c"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">SVF::PersistentDFPTData::unionPtsThroughIds</a></div><div class="ttdeci">bool unionPtsThroughIds(PointsToID &amp;dst, PointsToID &amp;src)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00549">PersistentPointsToDS.h:549</a></div></div>