svf-tools 1.0.613 → 1.0.614

package/SVF-doxygen/html/html/classSVF_1_1PersistentIncDFPTData.html

@@ -155,82 +155,82 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a495fede1f68c53956df3c033ef349940"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940">PersistentIncDFPTData</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=<a class="el" href="classSVF_1_1PTData.html#a74ce29609c51f2be34a0b5b7650a9848a3f0b959f73825d56c2aebcb699f3a08a">BasePTData::PersIncDataFlow</a>)</td></tr>
 <tr class="memdesc:a495fede1f68c53956df3c033ef349940"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a495fede1f68c53956df3c033ef349940">More...</a><br /></td></tr>
 <tr class="separator:a495fede1f68c53956df3c033ef349940"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aea074e213475c4dc632f8d21e8388868"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aea074e213475c4dc632f8d21e8388868">~PersistentIncDFPTData</a> ()</td></tr>
-<tr class="separator:aea074e213475c4dc632f8d21e8388868"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5b015e6801e4320e45e7942f9db82a42"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42">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:a5b015e6801e4320e45e7942f9db82a42"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9191992b978b643f2d51633b2e330ec6"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a9191992b978b643f2d51633b2e330ec6">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:a9191992b978b643f2d51633b2e330ec6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]).  <a href="#a9191992b978b643f2d51633b2e330ec6">More...</a><br /></td></tr>
-<tr class="separator:a9191992b978b643f2d51633b2e330ec6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6a26ddacfd726c7078ae560a6b50ad6b"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">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:a6a26ddacfd726c7078ae560a6b50ad6b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]).  <a href="#a6a26ddacfd726c7078ae560a6b50ad6b">More...</a><br /></td></tr>
-<tr class="separator:a6a26ddacfd726c7078ae560a6b50ad6b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a218ebd39a42b5de8910b98bef9d04f7d"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a218ebd39a42b5de8910b98bef9d04f7d">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:a218ebd39a42b5de8910b98bef9d04f7d"><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="#a218ebd39a42b5de8910b98bef9d04f7d">More...</a><br /></td></tr>
-<tr class="separator:a218ebd39a42b5de8910b98bef9d04f7d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2259da9defa195350b3f70cd16c3f2ec"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a2259da9defa195350b3f70cd16c3f2ec">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:a2259da9defa195350b3f70cd16c3f2ec"><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="#a2259da9defa195350b3f70cd16c3f2ec">More...</a><br /></td></tr>
-<tr class="separator:a2259da9defa195350b3f70cd16c3f2ec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6a59e2297b72cc30553db5e45da70f46"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a6a59e2297b72cc30553db5e45da70f46">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:a6a59e2297b72cc30553db5e45da70f46"><td class="mdescLeft">&#160;</td><td class="mdescRight">For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var).  <a href="#a6a59e2297b72cc30553db5e45da70f46">More...</a><br /></td></tr>
-<tr class="separator:a6a59e2297b72cc30553db5e45da70f46"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae4732dd1897883fafa98454b46134bfb"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ae4732dd1897883fafa98454b46134bfb">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:ae4732dd1897883fafa98454b46134bfb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update points-to set of top-level pointers with IN[srcLoc:srcVar].  <a href="#ae4732dd1897883fafa98454b46134bfb">More...</a><br /></td></tr>
-<tr class="separator:ae4732dd1897883fafa98454b46134bfb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a002e6d234d0ad0c74a0976046e440f71"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a002e6d234d0ad0c74a0976046e440f71">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:a002e6d234d0ad0c74a0976046e440f71"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers.  <a href="#a002e6d234d0ad0c74a0976046e440f71">More...</a><br /></td></tr>
-<tr class="separator:a002e6d234d0ad0c74a0976046e440f71"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a815a7c54c1533f16c3efd0796044afc2"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2">clearAllDFOutUpdatedVar</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc) override</td></tr>
-<tr class="separator:a815a7c54c1533f16c3efd0796044afc2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5e8036d18088ed272ab052b5cd6ef1ce"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce">clear</a> () override</td></tr>
-<tr class="memdesc:a5e8036d18088ed272ab052b5cd6ef1ce"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#a5e8036d18088ed272ab052b5cd6ef1ce">More...</a><br /></td></tr>
-<tr class="separator:a5e8036d18088ed272ab052b5cd6ef1ce"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ada599afb703c16e16f6b1d7ab6045a50"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ada599afb703c16e16f6b1d7ab6045a50">~PersistentIncDFPTData</a> () override=default</td></tr>
+<tr class="separator:ada599afb703c16e16f6b1d7ab6045a50"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5df898efbc74e653340571acba216dd7"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5df898efbc74e653340571acba216dd7">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:a5df898efbc74e653340571acba216dd7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af010be5ac5466ed51f902fcf3d805080"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#af010be5ac5466ed51f902fcf3d805080">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:af010be5ac5466ed51f902fcf3d805080"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]).  <a href="#af010be5ac5466ed51f902fcf3d805080">More...</a><br /></td></tr>
+<tr class="separator:af010be5ac5466ed51f902fcf3d805080"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aaed9e93e3515c025e05786212b1baac5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5">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:aaed9e93e3515c025e05786212b1baac5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]).  <a href="#aaed9e93e3515c025e05786212b1baac5">More...</a><br /></td></tr>
+<tr class="separator:aaed9e93e3515c025e05786212b1baac5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5291cccfb9bd6cb93ff931e4f2465d40"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a5291cccfb9bd6cb93ff931e4f2465d40">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:a5291cccfb9bd6cb93ff931e4f2465d40"><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="#a5291cccfb9bd6cb93ff931e4f2465d40">More...</a><br /></td></tr>
+<tr class="separator:a5291cccfb9bd6cb93ff931e4f2465d40"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8898a6164a0d83f179b9ee6175ddc1fe"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a8898a6164a0d83f179b9ee6175ddc1fe">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:a8898a6164a0d83f179b9ee6175ddc1fe"><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="#a8898a6164a0d83f179b9ee6175ddc1fe">More...</a><br /></td></tr>
+<tr class="separator:a8898a6164a0d83f179b9ee6175ddc1fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a451756aea2a3a0c895b75b7239672fdd"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a451756aea2a3a0c895b75b7239672fdd">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:a451756aea2a3a0c895b75b7239672fdd"><td class="mdescLeft">&#160;</td><td class="mdescRight">For each variable var in IN at loc, do updateDFOutFromIn(loc, var, loc, var).  <a href="#a451756aea2a3a0c895b75b7239672fdd">More...</a><br /></td></tr>
+<tr class="separator:a451756aea2a3a0c895b75b7239672fdd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3e371be9324b9281781591d633d04c34"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a3e371be9324b9281781591d633d04c34">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:a3e371be9324b9281781591d633d04c34"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update points-to set of top-level pointers with IN[srcLoc:srcVar].  <a href="#a3e371be9324b9281781591d633d04c34">More...</a><br /></td></tr>
+<tr class="separator:a3e371be9324b9281781591d633d04c34"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a36697e534c6744dbc72b0a6ef619d906"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#a36697e534c6744dbc72b0a6ef619d906">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:a36697e534c6744dbc72b0a6ef619d906"><td class="mdescLeft">&#160;</td><td class="mdescRight">Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers.  <a href="#a36697e534c6744dbc72b0a6ef619d906">More...</a><br /></td></tr>
+<tr class="separator:a36697e534c6744dbc72b0a6ef619d906"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab41bf3e2ba1700ae6116702fb5ce8efe"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ab41bf3e2ba1700ae6116702fb5ce8efe">clearAllDFOutUpdatedVar</a> (<a class="el" href="classSVF_1_1DFPTData.html#a298a5ef6cfffbe10b9d05af0ad12e786">LocID</a> loc) override</td></tr>
+<tr class="separator:ab41bf3e2ba1700ae6116702fb5ce8efe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad7785e4207e0b45aed72845af6c4916f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html#ad7785e4207e0b45aed72845af6c4916f">clear</a> () override</td></tr>
+<tr class="memdesc:ad7785e4207e0b45aed72845af6c4916f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#ad7785e4207e0b45aed72845af6c4916f">More...</a><br /></td></tr>
+<tr class="separator:ad7785e4207e0b45aed72845af6c4916f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1PersistentDFPTData"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1PersistentDFPTData')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td></tr>
 <tr class="memitem:a85e0aec789ea945bd4cfa9e29189d1b4 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad9ccba048d0c749d1c2cafc517f78181 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5f6a01d0bb40a718bc14f2cc1bb98a13 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="classSVF_1_1PersistentDFPTData.html#a5f6a01d0bb40a718bc14f2cc1bb98a13">More...</a><br /></td></tr>
-<tr class="separator:a5f6a01d0bb40a718bc14f2cc1bb98a13 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a50c3d871edb13ac5b3f0d625deb6449a inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a">More...</a><br /></td></tr>
-<tr class="separator:a50c3d871edb13ac5b3f0d625deb6449a inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0b757b12ace04b7b7d1e081ad1b742cf inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="classSVF_1_1PersistentDFPTData.html#a0b757b12ace04b7b7d1e081ad1b742cf">More...</a><br /></td></tr>
-<tr class="separator:a0b757b12ace04b7b7d1e081ad1b742cf inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a780dc63003f8a0a4c66c1548138fdd86 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="classSVF_1_1PersistentDFPTData.html#a780dc63003f8a0a4c66c1548138fdd86">More...</a><br /></td></tr>
-<tr class="separator:a780dc63003f8a0a4c66c1548138fdd86 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a95df7d565ba8e990b61b1c932c8d4273 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="classSVF_1_1PersistentDFPTData.html#a95df7d565ba8e990b61b1c932c8d4273">More...</a><br /></td></tr>
-<tr class="separator:a95df7d565ba8e990b61b1c932c8d4273 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af64c6a2c0a1b2044fac56a69e9db7cff inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">More...</a><br /></td></tr>
-<tr class="separator:af64c6a2c0a1b2044fac56a69e9db7cff inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afa828c0db9c030584e379e86cf0a25a9 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">More...</a><br /></td></tr>
-<tr class="separator:afa828c0db9c030584e379e86cf0a25a9 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aac817d88beae87fcc961a2df7904e61c inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="classSVF_1_1PersistentDFPTData.html#aac817d88beae87fcc961a2df7904e61c">More...</a><br /></td></tr>
-<tr class="separator:aac817d88beae87fcc961a2df7904e61c inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1d168145358e0f69eca023dd9b4363ea inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="classSVF_1_1PersistentDFPTData.html#a1d168145358e0f69eca023dd9b4363ea">More...</a><br /></td></tr>
-<tr class="separator:a1d168145358e0f69eca023dd9b4363ea inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6e7d072fd2d420870bb959b68c200137 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a67c4dec1150bdd8458046696578e5069 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab490fd81739f2bd6dddabd5ce5beac3b inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ace47d00f778bc4a714fc4f9d0cbd063c inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a26ca6565c4766e3d6ea6bf435ae910a3 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aea89a705aed7e02ddbf73f861506536e inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a98f84bffeba6bd7dc140f1d5b63ff368 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6928f5062dcb84429424a26696a61523 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2adbaa59c46d611a448594b74745e986 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">More...</a><br /></td></tr>
+<tr class="separator:a2adbaa59c46d611a448594b74745e986 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1cd608254a5d4a59b507bb6508e3560d inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="classSVF_1_1PersistentDFPTData.html#a1cd608254a5d4a59b507bb6508e3560d">More...</a><br /></td></tr>
+<tr class="separator:a1cd608254a5d4a59b507bb6508e3560d inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2d0924d1e9149e198d049777e2fcbd7a inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="classSVF_1_1PersistentDFPTData.html#a2d0924d1e9149e198d049777e2fcbd7a">More...</a><br /></td></tr>
+<tr class="separator:a2d0924d1e9149e198d049777e2fcbd7a inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2c4e4e53d1ce79dfd5702ba41f26f286 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="classSVF_1_1PersistentDFPTData.html#a2c4e4e53d1ce79dfd5702ba41f26f286">More...</a><br /></td></tr>
+<tr class="separator:a2c4e4e53d1ce79dfd5702ba41f26f286 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a99bc747e5a23b8d97a320fe1e0bf926f inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="classSVF_1_1PersistentDFPTData.html#a99bc747e5a23b8d97a320fe1e0bf926f">More...</a><br /></td></tr>
+<tr class="separator:a99bc747e5a23b8d97a320fe1e0bf926f inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5ac4485ccff838ea9cf28751d1206e10 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="classSVF_1_1PersistentDFPTData.html#a5ac4485ccff838ea9cf28751d1206e10">More...</a><br /></td></tr>
+<tr class="separator:a5ac4485ccff838ea9cf28751d1206e10 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a044c27920b947da4302d5214a3de580b inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="classSVF_1_1PersistentDFPTData.html#a044c27920b947da4302d5214a3de580b">More...</a><br /></td></tr>
+<tr class="separator:a044c27920b947da4302d5214a3de580b inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af70d3b1ecbb8f9cb56b8b419dbc0490a inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="classSVF_1_1PersistentDFPTData.html#af70d3b1ecbb8f9cb56b8b419dbc0490a">More...</a><br /></td></tr>
+<tr class="separator:af70d3b1ecbb8f9cb56b8b419dbc0490a inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab98f7068c3fb7d8e98a5ed4d706e4e62 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="classSVF_1_1PersistentDFPTData.html#ab98f7068c3fb7d8e98a5ed4d706e4e62">More...</a><br /></td></tr>
+<tr class="separator:ab98f7068c3fb7d8e98a5ed4d706e4e62 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a17e68e28860278b425b9a2d99082e715 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af8e866e13c7ba87a33b0da0a769d4372 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad5ca81c46b57ba0203732f10423ad6ae inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4e0a1656047e6a1e53a1377d23d251bd inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa00130defb8ab675fdc6ec3ecb48fd85 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a22d61e046322d7315fed214bf75048e0 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abc8fbd41eddccddbbdc3316a3fd03276 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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 inherit pub_methods_classSVF_1_1PersistentDFPTData"><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>
@@ -499,7 +499,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">
@@ -511,8 +511,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aea074e213475c4dc632f8d21e8388868"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aea074e213475c4dc632f8d21e8388868">&#9670;&nbsp;</a></span>~PersistentIncDFPTData()</h2>
+<a id="ada599afb703c16e16f6b1d7ab6045a50"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ada599afb703c16e16f6b1d7ab6045a50">&#9670;&nbsp;</a></span>~PersistentIncDFPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -523,7 +523,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentIncDFPTData.html">PersistentIncDFPTData</a> </td>
+          <td class="memname"><a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentIncDFPTData.html">PersistentIncDFPTData</a> </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -531,13 +531,11 @@ 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#l00597">597</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;{ }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
@@ -603,8 +601,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a5e8036d18088ed272ab052b5cd6ef1ce"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5e8036d18088ed272ab052b5cd6ef1ce">&#9670;&nbsp;</a></span>clear()</h2>
+<a id="ad7785e4207e0b45aed72845af6c4916f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad7785e4207e0b45aed72845af6c4916f">&#9670;&nbsp;</a></span>clear()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -615,7 +613,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -630,17 +628,17 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Clears all points-to sets as if nothing is stored. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00712">712</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;    {</div><div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;        <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">BasePersDFPTData::clear</a>();</div><div class="line"><a name="l00717"></a><span class="lineno">  717</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab070b1baa6a01800edac36dc075107fd"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab070b1baa6a01800edac36dc075107fd">SVF::PersistentDFPTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00351">PersistentPointsToDS.h:351</a></div></div>
+<div class="fragment"><div class="line"><a name="l00713"></a><span class="lineno">  713</span>&#160;    {</div><div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;        <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">outUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">inUpdatedVarMap</a>.clear();</div><div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;        <a class="code" href="classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8">BasePersDFPTData::clear</a>();</div><div class="line"><a name="l00717"></a><span class="lineno">  717</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a054f8e2a0668387c092b2802e64a4df0"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a054f8e2a0668387c092b2802e64a4df0">SVF::PersistentIncDFPTData::outUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap outUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00796">PersistentPointsToDS.h:796</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ab91a95d661a95bb307b011c46f4dcee8"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ab91a95d661a95bb307b011c46f4dcee8">SVF::PersistentDFPTData::clear</a></div><div class="ttdeci">void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00351">PersistentPointsToDS.h:351</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a106391cd8eefab1740b54cd9bbacccad"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a106391cd8eefab1740b54cd9bbacccad">SVF::PersistentIncDFPTData::inUpdatedVarMap</a></div><div class="ttdeci">UpdatedVarMap inUpdatedVarMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00797">PersistentPointsToDS.h:797</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a815a7c54c1533f16c3efd0796044afc2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a815a7c54c1533f16c3efd0796044afc2">&#9670;&nbsp;</a></span>clearAllDFOutUpdatedVar()</h2>
+<a id="ab41bf3e2ba1700ae6116702fb5ce8efe"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab41bf3e2ba1700ae6116702fb5ce8efe">&#9670;&nbsp;</a></span>clearAllDFOutUpdatedVar()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -651,7 +649,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearAllDFOutUpdatedVar </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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"><em>loc</em></td><td>)</td>
@@ -665,11 +663,11 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </table>
 </div><div class="memdoc">
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad7a4b3c68c4b8b70268ee7c919c624d5">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6af27fbe2c38c4d40d8df5aa1c765f62">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00700">700</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    {</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        {</div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;            <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">getDFOutUpdatedVar</a>(loc);</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;            {</div><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;                <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">removeVarFromDFOutUpdatedSet</a>(loc, var);</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;            }</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;        }</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad1a2cd17519912b1d7571eeddcdc0060"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFOutUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s OUT updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00773">PersistentPointsToDS.h:773</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a67c4dec1150bdd8458046696578e5069"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a67c4dec1150bdd8458046696578e5069">SVF::PersistentDFPTData::hasDFOutSet</a></div><div class="ttdeci">virtual bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00409">PersistentPointsToDS.h:409</a></div></div>
+<div class="fragment"><div class="line"><a name="l00701"></a><span class="lineno">  701</span>&#160;    {</div><div class="line"><a name="l00702"></a><span class="lineno">  702</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">hasDFOutSet</a>(loc))</div><div class="line"><a name="l00703"></a><span class="lineno">  703</span>&#160;        {</div><div class="line"><a name="l00704"></a><span class="lineno">  704</span>&#160;            <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">getDFOutUpdatedVar</a>(loc);</div><div class="line"><a name="l00705"></a><span class="lineno">  705</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00706"></a><span class="lineno">  706</span>&#160;            {</div><div class="line"><a name="l00707"></a><span class="lineno">  707</span>&#160;                <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">removeVarFromDFOutUpdatedSet</a>(loc, var);</div><div class="line"><a name="l00708"></a><span class="lineno">  708</span>&#160;            }</div><div class="line"><a name="l00709"></a><span class="lineno">  709</span>&#160;        }</div><div class="line"><a name="l00710"></a><span class="lineno">  710</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af8e866e13c7ba87a33b0da0a769d4372"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af8e866e13c7ba87a33b0da0a769d4372">SVF::PersistentDFPTData::hasDFOutSet</a></div><div class="ttdeci">bool hasDFOutSet(LocID loc) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00409">PersistentPointsToDS.h:409</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad1a2cd17519912b1d7571eeddcdc0060"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad1a2cd17519912b1d7571eeddcdc0060">SVF::PersistentIncDFPTData::removeVarFromDFOutUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFOutUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s OUT updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00773">PersistentPointsToDS.h:773</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa50d20f82143fd56cbe468b29bf9e11e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa50d20f82143fd56cbe468b29bf9e11e">SVF::PersistentIncDFPTData::getDFOutUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFOutUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts info in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00788">PersistentPointsToDS.h:788</a></div></div>
 </div><!-- fragment -->
 </div>
@@ -915,8 +913,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a2259da9defa195350b3f70cd16c3f2ec"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2259da9defa195350b3f70cd16c3f2ec">&#9670;&nbsp;</a></span>updateAllDFInFromIn()</h2>
+<a id="a8898a6164a0d83f179b9ee6175ddc1fe"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8898a6164a0d83f179b9ee6175ddc1fe">&#9670;&nbsp;</a></span>updateAllDFInFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -927,7 +925,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFInFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -965,7 +963,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (IN[dstLoc::dstVar], IN[srcLoc:srcVar]. There is no flag check, unlike the above. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9e2dcff79d55b92bc84ec2bb42d851ac">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a297cfa81c47d76f989a952edfc34c021">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00649">649</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00650"></a><span class="lineno">  650</span>&#160;    {</div><div class="line"><a name="l00651"></a><span class="lineno">  651</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00652"></a><span class="lineno">  652</span>&#160;        {</div><div class="line"><a name="l00653"></a><span class="lineno">  653</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00654"></a><span class="lineno">  654</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00655"></a><span class="lineno">  655</span>&#160;        }</div><div class="line"><a name="l00656"></a><span class="lineno">  656</span>&#160;</div><div class="line"><a name="l00657"></a><span class="lineno">  657</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00658"></a><span class="lineno">  658</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>
@@ -974,8 +972,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a218ebd39a42b5de8910b98bef9d04f7d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a218ebd39a42b5de8910b98bef9d04f7d">&#9670;&nbsp;</a></span>updateAllDFInFromOut()</h2>
+<a id="a5291cccfb9bd6cb93ff931e4f2465d40"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5291cccfb9bd6cb93ff931e4f2465d40">&#9670;&nbsp;</a></span>updateAllDFInFromOut()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -986,7 +984,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFInFromOut </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1024,7 +1022,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a57e8efefa1b49bd5fecd363a65b3bced">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00638">638</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00639"></a><span class="lineno">  639</span>&#160;    {</div><div class="line"><a name="l00640"></a><span class="lineno">  640</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00641"></a><span class="lineno">  641</span>&#160;        {</div><div class="line"><a name="l00642"></a><span class="lineno">  642</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00643"></a><span class="lineno">  643</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00644"></a><span class="lineno">  644</span>&#160;        }</div><div class="line"><a name="l00645"></a><span class="lineno">  645</span>&#160;</div><div class="line"><a name="l00646"></a><span class="lineno">  646</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00647"></a><span class="lineno">  647</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>
@@ -1034,8 +1032,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a6a59e2297b72cc30553db5e45da70f46"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6a59e2297b72cc30553db5e45da70f46">&#9670;&nbsp;</a></span>updateAllDFOutFromIn()</h2>
+<a id="a451756aea2a3a0c895b75b7239672fdd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a451756aea2a3a0c895b75b7239672fdd">&#9670;&nbsp;</a></span>updateAllDFOutFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1046,7 +1044,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateAllDFOutFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1081,17 +1079,17 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Enable strong updates if it is required to do so</p>
 <p>Enable strong updates if required. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ad341c691c11bbdeaa13cfe23919ed070">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa263aa1f78fd85d1104a907042f58177">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00660">660</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    {</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00663"></a><span class="lineno">  663</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="l00664"></a><span class="lineno">  664</span>&#160;        {</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;            <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">getDFInUpdatedVar</a>(loc);</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;            {</div><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;                <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;            }</div><div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;        }</div><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;</div><div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts informationin loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a6a26ddacfd726c7078ae560a6b50ad6b"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a6a26ddacfd726c7078ae560a6b50ad6b">SVF::PersistentIncDFPTData::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#l00623">PersistentPointsToDS.h:623</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="fragment"><div class="line"><a name="l00661"></a><span class="lineno">  661</span>&#160;    {</div><div class="line"><a name="l00662"></a><span class="lineno">  662</span>&#160;        <span class="keywordtype">bool</span> changed = <span class="keyword">false</span>;</div><div class="line"><a name="l00663"></a><span class="lineno">  663</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="l00664"></a><span class="lineno">  664</span>&#160;        {</div><div class="line"><a name="l00666"></a><span class="lineno">  666</span>&#160;            <span class="keyword">const</span> KeySet vars = <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">getDFInUpdatedVar</a>(loc);</div><div class="line"><a name="l00667"></a><span class="lineno">  667</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> Key &amp;var : vars)</div><div class="line"><a name="l00668"></a><span class="lineno">  668</span>&#160;            {</div><div class="line"><a name="l00670"></a><span class="lineno">  670</span>&#160;                <span class="keywordflow">if</span> (strongUpdates &amp;&amp; var == singleton) <span class="keywordflow">continue</span>;</div><div class="line"><a name="l00671"></a><span class="lineno">  671</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5">updateDFOutFromIn</a>(loc, var, loc, var)) changed = <span class="keyword">true</span>;</div><div class="line"><a name="l00672"></a><span class="lineno">  672</span>&#160;            }</div><div class="line"><a name="l00673"></a><span class="lineno">  673</span>&#160;        }</div><div class="line"><a name="l00674"></a><span class="lineno">  674</span>&#160;</div><div class="line"><a name="l00675"></a><span class="lineno">  675</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00676"></a><span class="lineno">  676</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a1bd459f50c328974294930698fc61b8e"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a1bd459f50c328974294930698fc61b8e">SVF::PersistentIncDFPTData::getDFInUpdatedVar</a></div><div class="ttdeci">const KeySet &amp; getDFInUpdatedVar(LocID loc)</div><div class="ttdoc">Get all variables which have new pts informationin loc&amp;#39;s IN set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00758">PersistentPointsToDS.h:758</a></div></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_1PersistentIncDFPTData_html_aaed9e93e3515c025e05786212b1baac5"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aaed9e93e3515c025e05786212b1baac5">SVF::PersistentIncDFPTData::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#l00623">PersistentPointsToDS.h:623</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a002e6d234d0ad0c74a0976046e440f71"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a002e6d234d0ad0c74a0976046e440f71">&#9670;&nbsp;</a></span>updateATVPts()</h2>
+<a id="a36697e534c6744dbc72b0a6ef619d906"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a36697e534c6744dbc72b0a6ef619d906">&#9670;&nbsp;</a></span>updateATVPts()</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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateATVPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1134,7 +1132,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Update address-taken variables OUT[dstLoc:dstVar] with points-to of top-level pointers. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a6761733754abf061e92125988a684fa3">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a132babeb5291086130247f015b2bef2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00689">689</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00690"></a><span class="lineno">  690</span>&#160;    {</div><div class="line"><a name="l00691"></a><span class="lineno">  691</span>&#160;        <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[srcVar]))</div><div class="line"><a name="l00692"></a><span class="lineno">  692</span>&#160;        {</div><div class="line"><a name="l00693"></a><span class="lineno">  693</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00694"></a><span class="lineno">  694</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00695"></a><span class="lineno">  695</span>&#160;        }</div><div class="line"><a name="l00696"></a><span class="lineno">  696</span>&#160;</div><div class="line"><a name="l00697"></a><span class="lineno">  697</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00698"></a><span class="lineno">  698</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>
@@ -1144,8 +1142,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a5b015e6801e4320e45e7942f9db82a42"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5b015e6801e4320e45e7942f9db82a42">&#9670;&nbsp;</a></span>updateDFInFromIn()</h2>
+<a id="a5df898efbc74e653340571acba216dd7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5df898efbc74e653340571acba216dd7">&#9670;&nbsp;</a></span>updateDFInFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1156,7 +1154,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFInFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1194,7 +1192,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Update points-to for IN/OUT set IN[loc:var] represents the points-to of variable var in the IN set of location loc. union(ptsDst, ptsSrc) represents ptsDst = ptsDst U ptsSrc.</p>
 <p>Union (IN[dstLoc:dstVar], IN[srcLoc:srcVar]). </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a9b61c0557c6b1460af2328709011b32e">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d6a7e3efe8ab65f1ecd7e915d70d659">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00599">599</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;    {</div><div class="line"><a name="l00601"></a><span class="lineno">  601</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar)</div><div class="line"><a name="l00602"></a><span class="lineno">  602</span>&#160;                &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00603"></a><span class="lineno">  603</span>&#160;        {</div><div class="line"><a name="l00604"></a><span class="lineno">  604</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;        }</div><div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;</div><div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00609"></a><span class="lineno">  609</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>
@@ -1204,8 +1202,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9191992b978b643f2d51633b2e330ec6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9191992b978b643f2d51633b2e330ec6">&#9670;&nbsp;</a></span>updateDFInFromOut()</h2>
+<a id="af010be5ac5466ed51f902fcf3d805080"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af010be5ac5466ed51f902fcf3d805080">&#9670;&nbsp;</a></span>updateDFInFromOut()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1216,7 +1214,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFInFromOut </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1254,7 +1252,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (IN[dstLoc:dstVar], OUT[srcLoc:srcVar]). </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#abfacbe37d9e0b5f05eabec66c60c2e2b">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a1d7dc1c34e506ed78e9e029329558b97">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00611">611</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00612"></a><span class="lineno">  612</span>&#160;    {</div><div class="line"><a name="l00613"></a><span class="lineno">  613</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">varHasNewDFOutPts</a>(srcLoc, srcVar)</div><div class="line"><a name="l00614"></a><span class="lineno">  614</span>&#160;                &amp;&amp; this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00615"></a><span class="lineno">  615</span>&#160;        {</div><div class="line"><a name="l00616"></a><span class="lineno">  616</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a3b42e65b301c1e2cf7976e2780cb6fd2">setVarDFInSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00617"></a><span class="lineno">  617</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00618"></a><span class="lineno">  618</span>&#160;        }</div><div class="line"><a name="l00619"></a><span class="lineno">  619</span>&#160;</div><div class="line"><a name="l00620"></a><span class="lineno">  620</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00621"></a><span class="lineno">  621</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ae44f71f2ff837fbdf9b6e77f609c0c53"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ae44f71f2ff837fbdf9b6e77f609c0c53">SVF::PersistentIncDFPTData::varHasNewDFOutPts</a></div><div class="ttdeci">bool varHasNewDFOutPts(LocID loc, const Key &amp;var)</div><div class="ttdoc">Return TRUE if var has a new pts in loc&amp;#39;s OUT set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00780">PersistentPointsToDS.h:780</a></div></div>
@@ -1265,8 +1263,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a6a26ddacfd726c7078ae560a6b50ad6b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6a26ddacfd726c7078ae560a6b50ad6b">&#9670;&nbsp;</a></span>updateDFOutFromIn()</h2>
+<a id="aaed9e93e3515c025e05786212b1baac5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aaed9e93e3515c025e05786212b1baac5">&#9670;&nbsp;</a></span>updateDFOutFromIn()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1277,7 +1275,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateDFOutFromIn </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1315,7 +1313,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Union (OUT[dstLoc:dstVar], IN[srcLoc:srcVar]). </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#a81e6d2d313d7f23fcc2a3d0f5344317f">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ab63925fcd6506e6146d5f7487a39f155">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00623">623</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00624"></a><span class="lineno">  624</span>&#160;    {</div><div class="line"><a name="l00625"></a><span class="lineno">  625</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar))</div><div class="line"><a name="l00626"></a><span class="lineno">  626</span>&#160;        {</div><div class="line"><a name="l00627"></a><span class="lineno">  627</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">removeVarFromDFInUpdatedSet</a>(srcLoc, srcVar);</div><div class="line"><a name="l00628"></a><span class="lineno">  628</span>&#160;            <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#ab13b3a484a5ac22c47391f1b2eaa58a1">getDFOutPtIdRef</a>(dstLoc, dstVar), this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">getDFInPtIdRef</a>(srcLoc, srcVar)))</div><div class="line"><a name="l00629"></a><span class="lineno">  629</span>&#160;            {</div><div class="line"><a name="l00630"></a><span class="lineno">  630</span>&#160;                <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">setVarDFOutSetUpdated</a>(dstLoc, dstVar);</div><div class="line"><a name="l00631"></a><span class="lineno">  631</span>&#160;                <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00632"></a><span class="lineno">  632</span>&#160;            }</div><div class="line"><a name="l00633"></a><span class="lineno">  633</span>&#160;        }</div><div class="line"><a name="l00634"></a><span class="lineno">  634</span>&#160;</div><div class="line"><a name="l00635"></a><span class="lineno">  635</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00636"></a><span class="lineno">  636</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>
@@ -1327,8 +1325,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae4732dd1897883fafa98454b46134bfb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae4732dd1897883fafa98454b46134bfb">&#9670;&nbsp;</a></span>updateTLVPts()</h2>
+<a id="a3e371be9324b9281781591d633d04c34"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3e371be9324b9281781591d633d04c34">&#9670;&nbsp;</a></span>updateTLVPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1339,7 +1337,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_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updateTLVPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentIncDFPTData.html">SVF::PersistentIncDFPTData</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>
@@ -1371,7 +1369,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p>Update points-to set of top-level pointers with IN[srcLoc:srcVar]. </p>
 
-<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#aa9d13ece84d5f519031b4f3cdb429d61">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
+<p>Reimplemented from <a class="el" href="classSVF_1_1PersistentDFPTData.html#ae0e64a1ec7f80b148f0a882e96503453">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00678">678</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00679"></a><span class="lineno">  679</span>&#160;    {</div><div class="line"><a name="l00680"></a><span class="lineno">  680</span>&#160;        <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1PersistentIncDFPTData.html#a56764f78042a2a9229d3b76861b54952">varHasNewDFInPts</a>(srcLoc, srcVar))</div><div class="line"><a name="l00681"></a><span class="lineno">  681</span>&#160;        {</div><div class="line"><a name="l00682"></a><span class="lineno">  682</span>&#160;            <a class="code" href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">removeVarFromDFInUpdatedSet</a>(srcLoc, srcVar);</div><div class="line"><a name="l00683"></a><span class="lineno">  683</span>&#160;            <span class="keywordflow">return</span> this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a2cb37d0403e1b34316c9c24a0d6ab66c">unionPtsThroughIds</a>(this-&gt;<a class="code" href="classSVF_1_1PersistentDFPTData.html#a349c231f59ea554059a1891f1a530820">persPTData</a>.ptsMap[dstVar], this-&gt;getDFInPtIdRef(srcLoc, srcVar));</div><div class="line"><a name="l00684"></a><span class="lineno">  684</span>&#160;        }</div><div class="line"><a name="l00685"></a><span class="lineno">  685</span>&#160;</div><div class="line"><a name="l00686"></a><span class="lineno">  686</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">false</span>;</div><div class="line"><a name="l00687"></a><span class="lineno">  687</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>