svf-tools 1.0.613 → 1.0.615

package/SVF-doxygen/html/html/classSVF_1_1PersistentVersionedPTData.html

@@ -129,58 +129,58 @@ Public Types</h2></td></tr>
 Public Member Functions</h2></td></tr>
 <tr class="memitem:a5cecb78af456e2241ff8554441b48d61"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5cecb78af456e2241ff8554441b48d61">PersistentVersionedPTData</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::PersVersioned)</td></tr>
 <tr class="separator:a5cecb78af456e2241ff8554441b48d61"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2252fcbc06243787b6854d826373da1d"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a2252fcbc06243787b6854d826373da1d">~PersistentVersionedPTData</a> ()</td></tr>
-<tr class="separator:a2252fcbc06243787b6854d826373da1d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac563829c0d6d091c905bfe16580ceb47"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47">clear</a> () override</td></tr>
-<tr class="memdesc:ac563829c0d6d091c905bfe16580ceb47"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#ac563829c0d6d091c905bfe16580ceb47">More...</a><br /></td></tr>
-<tr class="separator:ac563829c0d6d091c905bfe16580ceb47"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe80884fa8227e50f28631e20aa6fdf6"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe80884fa8227e50f28631e20aa6fdf6">getPts</a> (const Key &amp;vk) override</td></tr>
-<tr class="memdesc:afe80884fa8227e50f28631e20aa6fdf6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#afe80884fa8227e50f28631e20aa6fdf6">More...</a><br /></td></tr>
-<tr class="separator:afe80884fa8227e50f28631e20aa6fdf6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9b81d20e54d08e36edbff43549b1e820"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9b81d20e54d08e36edbff43549b1e820">getPts</a> (const VersionedKey &amp;vk) override</td></tr>
-<tr class="separator:a9b81d20e54d08e36edbff43549b1e820"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aafa09ff01060e43f08278963179eec30"><td class="memItemLeft" align="right" valign="top">virtual const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30">getRevPts</a> (const Data &amp;data) override</td></tr>
-<tr class="memdesc:aafa09ff01060e43f08278963179eec30"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#aafa09ff01060e43f08278963179eec30">More...</a><br /></td></tr>
-<tr class="separator:aafa09ff01060e43f08278963179eec30"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2adcebb6cf561eb00e3e05d486c86a9c"><td class="memItemLeft" align="right" valign="top">virtual const VersionedKeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a2adcebb6cf561eb00e3e05d486c86a9c">getVersionedKeyRevPts</a> (const Data &amp;data) override</td></tr>
-<tr class="separator:a2adcebb6cf561eb00e3e05d486c86a9c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7f3730473af9218bea520ec0498fb4ac"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a7f3730473af9218bea520ec0498fb4ac">addPts</a> (const Key &amp;k, const Data &amp;element) override</td></tr>
-<tr class="memdesc:a7f3730473af9218bea520ec0498fb4ac"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a7f3730473af9218bea520ec0498fb4ac">More...</a><br /></td></tr>
-<tr class="separator:a7f3730473af9218bea520ec0498fb4ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae4877cf4db5b1da5e7d05fe65ae8ed32"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae4877cf4db5b1da5e7d05fe65ae8ed32">addPts</a> (const VersionedKey &amp;vk, const Data &amp;element) override</td></tr>
-<tr class="separator:ae4877cf4db5b1da5e7d05fe65ae8ed32"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe1f57d265c0910ec26567ce850b8421"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe1f57d265c0910ec26567ce850b8421">unionPts</a> (const Key &amp;dstVar, const Key &amp;srcVar) override</td></tr>
-<tr class="memdesc:afe1f57d265c0910ec26567ce850b8421"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#afe1f57d265c0910ec26567ce850b8421">More...</a><br /></td></tr>
-<tr class="separator:afe1f57d265c0910ec26567ce850b8421"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab0299bcfee10af8b6ea59444c4d0299d"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ab0299bcfee10af8b6ea59444c4d0299d">unionPts</a> (const VersionedKey &amp;dstVar, const VersionedKey &amp;srcVar) override</td></tr>
-<tr class="separator:ab0299bcfee10af8b6ea59444c4d0299d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8ba8e547bf572cd7403cb4fe52c19908"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a8ba8e547bf572cd7403cb4fe52c19908">unionPts</a> (const VersionedKey &amp;dstVar, const Key &amp;srcVar) override</td></tr>
-<tr class="separator:a8ba8e547bf572cd7403cb4fe52c19908"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a83b7e86c11b03889d70b4dff46138987"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a83b7e86c11b03889d70b4dff46138987">unionPts</a> (const Key &amp;dstVar, const VersionedKey &amp;srcVar) override</td></tr>
-<tr class="separator:a83b7e86c11b03889d70b4dff46138987"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a00151507a86b71f99e43fa87b59d65bb"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a00151507a86b71f99e43fa87b59d65bb">unionPts</a> (const Key &amp;dstVar, const DataSet &amp;srcDataSet) override</td></tr>
-<tr class="memdesc:a00151507a86b71f99e43fa87b59d65bb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#a00151507a86b71f99e43fa87b59d65bb">More...</a><br /></td></tr>
-<tr class="separator:a00151507a86b71f99e43fa87b59d65bb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac4b8dc40514b50a77565a385b9a13ca5"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ac4b8dc40514b50a77565a385b9a13ca5">unionPts</a> (const VersionedKey &amp;dstVar, const DataSet &amp;srcDataSet) override</td></tr>
-<tr class="separator:ac4b8dc40514b50a77565a385b9a13ca5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9f5bb9d2020973660268c4e5ac98cb61"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a9f5bb9d2020973660268c4e5ac98cb61">clearPts</a> (const Key &amp;k, const Data &amp;element) override</td></tr>
-<tr class="memdesc:a9f5bb9d2020973660268c4e5ac98cb61"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#a9f5bb9d2020973660268c4e5ac98cb61">More...</a><br /></td></tr>
-<tr class="separator:a9f5bb9d2020973660268c4e5ac98cb61"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afe724603022a8fed7469f9ecd633febc"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#afe724603022a8fed7469f9ecd633febc">clearPts</a> (const VersionedKey &amp;vk, const Data &amp;element) override</td></tr>
-<tr class="separator:afe724603022a8fed7469f9ecd633febc"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5c31a5faad444bd19005d06ba28d0185"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5c31a5faad444bd19005d06ba28d0185">clearFullPts</a> (const Key &amp;k) override</td></tr>
-<tr class="memdesc:a5c31a5faad444bd19005d06ba28d0185"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#a5c31a5faad444bd19005d06ba28d0185">More...</a><br /></td></tr>
-<tr class="separator:a5c31a5faad444bd19005d06ba28d0185"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a78f2b0ee440ed5b358928ee775e95564"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a78f2b0ee440ed5b358928ee775e95564">clearFullPts</a> (const VersionedKey &amp;vk) override</td></tr>
-<tr class="separator:a78f2b0ee440ed5b358928ee775e95564"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0b4feff5bc406088216d9e45941fe3ef"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a0b4feff5bc406088216d9e45941fe3ef">remapAllPts</a> (void) override</td></tr>
-<tr class="memdesc:a0b4feff5bc406088216d9e45941fe3ef"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#a0b4feff5bc406088216d9e45941fe3ef">More...</a><br /></td></tr>
-<tr class="separator:a0b4feff5bc406088216d9e45941fe3ef"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6c9ad3635f73b805289cc1f14cdcf09a"><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_1PersistentVersionedPTData.html#a6c9ad3635f73b805289cc1f14cdcf09a">getAllPts</a> (bool liveOnly) const override</td></tr>
-<tr class="separator:a6c9ad3635f73b805289cc1f14cdcf09a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a364fc243fe230342b209bb0c3a7d0966"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a364fc243fe230342b209bb0c3a7d0966">dumpPTData</a> () override</td></tr>
-<tr class="memdesc:a364fc243fe230342b209bb0c3a7d0966"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#a364fc243fe230342b209bb0c3a7d0966">More...</a><br /></td></tr>
-<tr class="separator:a364fc243fe230342b209bb0c3a7d0966"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a70d4addaf968ab26132a84079ee6fd03"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a70d4addaf968ab26132a84079ee6fd03">~PersistentVersionedPTData</a> () override=default</td></tr>
+<tr class="separator:a70d4addaf968ab26132a84079ee6fd03"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af27a907b6207cc1c9f3f72f15a0c7c0a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#af27a907b6207cc1c9f3f72f15a0c7c0a">clear</a> () override</td></tr>
+<tr class="memdesc:af27a907b6207cc1c9f3f72f15a0c7c0a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#af27a907b6207cc1c9f3f72f15a0c7c0a">More...</a><br /></td></tr>
+<tr class="separator:af27a907b6207cc1c9f3f72f15a0c7c0a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abcfcbbb3fab89b89168409c1f714e1ed"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">getPts</a> (const Key &amp;vk) override</td></tr>
+<tr class="memdesc:abcfcbbb3fab89b89168409c1f714e1ed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#abcfcbbb3fab89b89168409c1f714e1ed">More...</a><br /></td></tr>
+<tr class="separator:abcfcbbb3fab89b89168409c1f714e1ed"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae705d46ac78d39f0779c0bf05e39f8b3"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">getPts</a> (const VersionedKey &amp;vk) override</td></tr>
+<tr class="separator:ae705d46ac78d39f0779c0bf05e39f8b3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4faa0f91fa8acbd8c818f3abf5db8b5f"><td class="memItemLeft" align="right" valign="top">const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a4faa0f91fa8acbd8c818f3abf5db8b5f">getRevPts</a> (const Data &amp;data) override</td></tr>
+<tr class="memdesc:a4faa0f91fa8acbd8c818f3abf5db8b5f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a4faa0f91fa8acbd8c818f3abf5db8b5f">More...</a><br /></td></tr>
+<tr class="separator:a4faa0f91fa8acbd8c818f3abf5db8b5f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acabb81409a3767f31227f46e106cb2d0"><td class="memItemLeft" align="right" valign="top">const VersionedKeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#acabb81409a3767f31227f46e106cb2d0">getVersionedKeyRevPts</a> (const Data &amp;data) override</td></tr>
+<tr class="separator:acabb81409a3767f31227f46e106cb2d0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aca91b22bed509c3b26efee746126f917"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aca91b22bed509c3b26efee746126f917">addPts</a> (const Key &amp;k, const Data &amp;element) override</td></tr>
+<tr class="memdesc:aca91b22bed509c3b26efee746126f917"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#aca91b22bed509c3b26efee746126f917">More...</a><br /></td></tr>
+<tr class="separator:aca91b22bed509c3b26efee746126f917"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3ca0f6fcfdf2f8c471ea47501bec08fe"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a3ca0f6fcfdf2f8c471ea47501bec08fe">addPts</a> (const VersionedKey &amp;vk, const Data &amp;element) override</td></tr>
+<tr class="separator:a3ca0f6fcfdf2f8c471ea47501bec08fe"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a14419b91e9c790623060b10b13f9ad13"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a14419b91e9c790623060b10b13f9ad13">unionPts</a> (const Key &amp;dstVar, const Key &amp;srcVar) override</td></tr>
+<tr class="memdesc:a14419b91e9c790623060b10b13f9ad13"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#a14419b91e9c790623060b10b13f9ad13">More...</a><br /></td></tr>
+<tr class="separator:a14419b91e9c790623060b10b13f9ad13"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae0eafb4667af1ba821247f9f4199d52f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae0eafb4667af1ba821247f9f4199d52f">unionPts</a> (const VersionedKey &amp;dstVar, const VersionedKey &amp;srcVar) override</td></tr>
+<tr class="separator:ae0eafb4667af1ba821247f9f4199d52f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e6ab689e9a9eefdd5f6bf04ab279940"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5e6ab689e9a9eefdd5f6bf04ab279940">unionPts</a> (const VersionedKey &amp;dstVar, const Key &amp;srcVar) override</td></tr>
+<tr class="separator:a5e6ab689e9a9eefdd5f6bf04ab279940"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adb56e144709cab8efe057c3215e30b9b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#adb56e144709cab8efe057c3215e30b9b">unionPts</a> (const Key &amp;dstVar, const VersionedKey &amp;srcVar) override</td></tr>
+<tr class="separator:adb56e144709cab8efe057c3215e30b9b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aaf048cdd17875dd3a9adca2aabcbfd7e"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#aaf048cdd17875dd3a9adca2aabcbfd7e">unionPts</a> (const Key &amp;dstVar, const DataSet &amp;srcDataSet) override</td></tr>
+<tr class="memdesc:aaf048cdd17875dd3a9adca2aabcbfd7e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#aaf048cdd17875dd3a9adca2aabcbfd7e">More...</a><br /></td></tr>
+<tr class="separator:aaf048cdd17875dd3a9adca2aabcbfd7e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab4828e2b42d646463bfd23c2154c3b8f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ab4828e2b42d646463bfd23c2154c3b8f">unionPts</a> (const VersionedKey &amp;dstVar, const DataSet &amp;srcDataSet) override</td></tr>
+<tr class="separator:ab4828e2b42d646463bfd23c2154c3b8f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a522af0d1727809479b1122b075b0845e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a522af0d1727809479b1122b075b0845e">clearPts</a> (const Key &amp;k, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a522af0d1727809479b1122b075b0845e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#a522af0d1727809479b1122b075b0845e">More...</a><br /></td></tr>
+<tr class="separator:a522af0d1727809479b1122b075b0845e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a64e3dbd840184eb8e829c4d003b5b4cf"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a64e3dbd840184eb8e829c4d003b5b4cf">clearPts</a> (const VersionedKey &amp;vk, const Data &amp;element) override</td></tr>
+<tr class="separator:a64e3dbd840184eb8e829c4d003b5b4cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a080969ab00b584d44ea9afbd2baa740a"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a080969ab00b584d44ea9afbd2baa740a">clearFullPts</a> (const Key &amp;k) override</td></tr>
+<tr class="memdesc:a080969ab00b584d44ea9afbd2baa740a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#a080969ab00b584d44ea9afbd2baa740a">More...</a><br /></td></tr>
+<tr class="separator:a080969ab00b584d44ea9afbd2baa740a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7560a47f1e8894b9025b779c4794138c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a7560a47f1e8894b9025b779c4794138c">clearFullPts</a> (const VersionedKey &amp;vk) override</td></tr>
+<tr class="separator:a7560a47f1e8894b9025b779c4794138c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5a21b654b380bdf26d65d60ceb86a787"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#a5a21b654b380bdf26d65d60ceb86a787">remapAllPts</a> () override</td></tr>
+<tr class="memdesc:a5a21b654b380bdf26d65d60ceb86a787"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#a5a21b654b380bdf26d65d60ceb86a787">More...</a><br /></td></tr>
+<tr class="separator:a5a21b654b380bdf26d65d60ceb86a787"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acfc73119798cb830a49f85ffab2654af"><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_1PersistentVersionedPTData.html#acfc73119798cb830a49f85ffab2654af">getAllPts</a> (bool liveOnly) const override</td></tr>
+<tr class="separator:acfc73119798cb830a49f85ffab2654af"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab2ba1db7aeb6e3a508c11eb49bf31575"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ab2ba1db7aeb6e3a508c11eb49bf31575">dumpPTData</a> () override</td></tr>
+<tr class="memdesc:ab2ba1db7aeb6e3a508c11eb49bf31575"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#ab2ba1db7aeb6e3a508c11eb49bf31575">More...</a><br /></td></tr>
+<tr class="separator:ab2ba1db7aeb6e3a508c11eb49bf31575"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1VersionedPTData"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1VersionedPTData')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1VersionedPTData.html">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a></td></tr>
 <tr class="memitem:a2cc5ee586042f19aa698fd8ec48e33b5 inherit pub_methods_classSVF_1_1VersionedPTData"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1VersionedPTData.html#a2cc5ee586042f19aa698fd8ec48e33b5">VersionedPTData</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=PTDataTy::Versioned)</td></tr>
 <tr class="separator:a2cc5ee586042f19aa698fd8ec48e33b5 inherit pub_methods_classSVF_1_1VersionedPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -362,7 +362,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
       </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">
@@ -374,8 +374,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a2252fcbc06243787b6854d826373da1d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2252fcbc06243787b6854d826373da1d">&#9670;&nbsp;</a></span>~PersistentVersionedPTData()</h2>
+<a id="a70d4addaf968ab26132a84079ee6fd03"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a70d4addaf968ab26132a84079ee6fd03">&#9670;&nbsp;</a></span>~PersistentVersionedPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -386,7 +386,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::~<a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> </td>
+          <td class="memname"><a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::~<a class="el" href="classSVF_1_1PersistentVersionedPTData.html">PersistentVersionedPTData</a> </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -394,18 +394,16 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
       </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#l00818">818</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;{ }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a7f3730473af9218bea520ec0498fb4ac"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7f3730473af9218bea520ec0498fb4ac">&#9670;&nbsp;</a></span>addPts() <span class="overload">[1/2]</span></h2>
+<a id="aca91b22bed509c3b26efee746126f917"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aca91b22bed509c3b26efee746126f917">&#9670;&nbsp;</a></span>addPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -416,7 +414,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::addPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::addPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -449,8 +447,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae4877cf4db5b1da5e7d05fe65ae8ed32"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae4877cf4db5b1da5e7d05fe65ae8ed32">&#9670;&nbsp;</a></span>addPts() <span class="overload">[2/2]</span></h2>
+<a id="a3ca0f6fcfdf2f8c471ea47501bec08fe"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3ca0f6fcfdf2f8c471ea47501bec08fe">&#9670;&nbsp;</a></span>addPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -461,7 +459,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::addPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::addPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>vk</em>, </td>
@@ -488,8 +486,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00850">850</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;    {</div><div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2">addPts</a>(vk, element);</div><div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_a8d53322eadc657ed88a8b724647070b2"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2">SVF::PersistentPTData::addPts</a></div><div class="ttdeci">virtual bool addPts(const Key &amp;dstKey, const Data &amp;element) override</div><div class="ttdoc">Adds element to the points-to set associated with var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00071">PersistentPointsToDS.h:71</a></div></div>
+<div class="fragment"><div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;    {</div><div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c">addPts</a>(vk, element);</div><div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a46c5bffbcae1494d5acb5e2d76f1501c"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c">SVF::PersistentPTData::addPts</a></div><div class="ttdeci">bool addPts(const Key &amp;dstKey, const Data &amp;element) override</div><div class="ttdoc">Adds element to the points-to set associated with var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00071">PersistentPointsToDS.h:71</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -554,8 +552,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <div class="fragment"><div class="line"><a name="l00942"></a><span class="lineno">  942</span>&#160;    {</div><div class="line"><a name="l00943"></a><span class="lineno">  943</span>&#160;        <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::PersVersioned;</div><div class="line"><a name="l00944"></a><span class="lineno">  944</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="ac563829c0d6d091c905bfe16580ceb47"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac563829c0d6d091c905bfe16580ceb47">&#9670;&nbsp;</a></span>clear()</h2>
+<a id="af27a907b6207cc1c9f3f72f15a0c7c0a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af27a907b6207cc1c9f3f72f15a0c7c0a">&#9670;&nbsp;</a></span>clear()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -566,7 +564,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clear </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clear </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -584,14 +582,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#ad45879017d8fdeedc987ce35c4eba1a5">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00820">820</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;    {</div><div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.clear();</div><div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f">clear</a>();</div><div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="fragment"><div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;    {</div><div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.clear();</div><div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a492df7c388e3f616e60b63630b8c37c5">clear</a>();</div><div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a492df7c388e3f616e60b63630b8c37c5"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a492df7c388e3f616e60b63630b8c37c5">SVF::PersistentPTData::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#l00053">PersistentPointsToDS.h:53</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a29104a2d53d94805e142f778d3d21ad5"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">SVF::PersistentVersionedPTData::tlPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00949">PersistentPointsToDS.h:949</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_abf836f1b063b869215c7e9b53b013d3f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f">SVF::PersistentPTData::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#l00053">PersistentPointsToDS.h:53</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a5c31a5faad444bd19005d06ba28d0185"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a5c31a5faad444bd19005d06ba28d0185">&#9670;&nbsp;</a></span>clearFullPts() <span class="overload">[1/2]</span></h2>
+<a id="a080969ab00b584d44ea9afbd2baa740a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a080969ab00b584d44ea9afbd2baa740a">&#9670;&nbsp;</a></span>clearFullPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -602,7 +600,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearFullPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearFullPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -625,8 +623,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a78f2b0ee440ed5b358928ee775e95564"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a78f2b0ee440ed5b358928ee775e95564">&#9670;&nbsp;</a></span>clearFullPts() <span class="overload">[2/2]</span></h2>
+<a id="a7560a47f1e8894b9025b779c4794138c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7560a47f1e8894b9025b779c4794138c">&#9670;&nbsp;</a></span>clearFullPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -637,7 +635,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearFullPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearFullPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>vk</em></td><td>)</td>
@@ -654,13 +652,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a4bfd083fae6ff689945ed34632e208e9">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00893">893</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00894"></a><span class="lineno">  894</span>&#160;    {</div><div class="line"><a name="l00895"></a><span class="lineno">  895</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">clearFullPts</a>(vk);</div><div class="line"><a name="l00896"></a><span class="lineno">  896</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_aff3437089686869faa772c44bca753b6"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData::clearFullPts</a></div><div class="ttdeci">virtual void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00109">PersistentPointsToDS.h:109</a></div></div>
+<div class="fragment"><div class="line"><a name="l00894"></a><span class="lineno">  894</span>&#160;    {</div><div class="line"><a name="l00895"></a><span class="lineno">  895</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">clearFullPts</a>(vk);</div><div class="line"><a name="l00896"></a><span class="lineno">  896</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_ae64bcb3ba179e934653e0ebfa2c18d8d"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">SVF::PersistentPTData::clearFullPts</a></div><div class="ttdeci">void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00109">PersistentPointsToDS.h:109</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9f5bb9d2020973660268c4e5ac98cb61"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9f5bb9d2020973660268c4e5ac98cb61">&#9670;&nbsp;</a></span>clearPts() <span class="overload">[1/2]</span></h2>
+<a id="a522af0d1727809479b1122b075b0845e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a522af0d1727809479b1122b075b0845e">&#9670;&nbsp;</a></span>clearPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -671,7 +669,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -704,8 +702,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="afe724603022a8fed7469f9ecd633febc"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afe724603022a8fed7469f9ecd633febc">&#9670;&nbsp;</a></span>clearPts() <span class="overload">[2/2]</span></h2>
+<a id="a64e3dbd840184eb8e829c4d003b5b4cf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a64e3dbd840184eb8e829c4d003b5b4cf">&#9670;&nbsp;</a></span>clearPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -716,7 +714,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::clearPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>vk</em>, </td>
@@ -743,13 +741,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a164436121f658ce0967a88bb84ecf220">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00884">884</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;    {</div><div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">clearPts</a>(vk, element);</div><div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_a10221452ea6ffed4ae51a9c6f9dc1e93"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData::clearPts</a></div><div class="ttdeci">virtual void clearPts(const Key &amp;var, const Data &amp;element) override</div><div class="ttdoc">Clears element from the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00095">PersistentPointsToDS.h:95</a></div></div>
+<div class="fragment"><div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;    {</div><div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">clearPts</a>(vk, element);</div><div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a6d2e2837d18dc66c92d59d0729bd7c91"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">SVF::PersistentPTData::clearPts</a></div><div class="ttdeci">void clearPts(const Key &amp;var, const Data &amp;element) override</div><div class="ttdoc">Clears element from the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00095">PersistentPointsToDS.h:95</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a364fc243fe230342b209bb0c3a7d0966"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a364fc243fe230342b209bb0c3a7d0966">&#9670;&nbsp;</a></span>dumpPTData()</h2>
+<a id="ab2ba1db7aeb6e3a508c11eb49bf31575"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab2ba1db7aeb6e3a508c11eb49bf31575">&#9670;&nbsp;</a></span>dumpPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -760,7 +758,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::dumpPTData </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::dumpPTData </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -778,15 +776,15 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#a91b898e3547eecfbf1ab155d183734bf">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00926">926</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;    {</div><div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Top-level points-to information\n&quot;</span>;</div><div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.dumpPTData();</div><div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Address-taken points-to information\n&quot;</span>;</div><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#afb2dd005d3d2ad01bdad4b7a1af5477d">dumpPTData</a>();</div><div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_afb2dd005d3d2ad01bdad4b7a1af5477d"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#afb2dd005d3d2ad01bdad4b7a1af5477d">SVF::PersistentPTData::dumpPTData</a></div><div class="ttdeci">virtual void dumpPTData() override</div><div class="ttdoc">Dump stored keys and points-to sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00091">PersistentPointsToDS.h:91</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="fragment"><div class="line"><a name="l00927"></a><span class="lineno">  927</span>&#160;    {</div><div class="line"><a name="l00928"></a><span class="lineno">  928</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Top-level points-to information\n&quot;</span>;</div><div class="line"><a name="l00929"></a><span class="lineno">  929</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.dumpPTData();</div><div class="line"><a name="l00930"></a><span class="lineno">  930</span>&#160;        <a class="code" href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVFUtil::outs</a>() &lt;&lt; <span class="stringliteral">&quot;== Address-taken points-to information\n&quot;</span>;</div><div class="line"><a name="l00931"></a><span class="lineno">  931</span>&#160;        <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a6e46180c11bc25c474d03e0091e81ee2">dumpPTData</a>();</div><div class="line"><a name="l00932"></a><span class="lineno">  932</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a29104a2d53d94805e142f778d3d21ad5"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">SVF::PersistentVersionedPTData::tlPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00949">PersistentPointsToDS.h:949</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a6e46180c11bc25c474d03e0091e81ee2"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a6e46180c11bc25c474d03e0091e81ee2">SVF::PersistentPTData::dumpPTData</a></div><div class="ttdeci">void dumpPTData() override</div><div class="ttdoc">Dump stored keys and points-to sets. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00091">PersistentPointsToDS.h:91</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aed0b0b9f035057552a6a82154fd88e61"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aed0b0b9f035057552a6a82154fd88e61">SVF::SVFUtil::outs</a></div><div class="ttdeci">std::ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a6c9ad3635f73b805289cc1f14cdcf09a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6c9ad3635f73b805289cc1f14cdcf09a">&#9670;&nbsp;</a></span>getAllPts()</h2>
+<a id="acfc73119798cb830a49f85ffab2654af"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acfc73119798cb830a49f85ffab2654af">&#9670;&nbsp;</a></span>getAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -797,7 +795,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;DataSet, unsigned&gt; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getAllPts </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;DataSet, unsigned&gt; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getAllPts </td>
           <td>(</td>
           <td class="paramtype">bool&#160;</td>
           <td class="paramname"><em>liveOnly</em></td><td>)</td>
@@ -815,14 +813,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#adbe2b955f119871b54dc502de84b94c4">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00904">904</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;    {</div><div class="line"><a name="l00906"></a><span class="lineno">  906</span>&#160;        <span class="comment">// Explicitly pass in true because if we call it with false,</span></div><div class="line"><a name="l00907"></a><span class="lineno">  907</span>&#160;        <span class="comment">// we will double up on the cache, since it is shared with atPTData.</span></div><div class="line"><a name="l00908"></a><span class="lineno">  908</span>&#160;        <span class="comment">// if liveOnly == false, we will handle it in the if below.</span></div><div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;        Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.getAllPts(<span class="keyword">true</span>);</div><div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;        SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67">getAllPts</a>(<span class="keyword">true</span>));</div><div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;</div><div class="line"><a name="l00912"></a><span class="lineno">  912</span>&#160;        <span class="keywordflow">if</span> (!liveOnly)</div><div class="line"><a name="l00913"></a><span class="lineno">  913</span>&#160;        {</div><div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;            <span class="comment">// Subtract 1 from each counted points-to set because the live points-to</span></div><div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;            <span class="comment">// sets have already been inserted and accounted for how often they occur.</span></div><div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;            <span class="comment">// They will each occur one more time in the cache.</span></div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;            <span class="comment">// In essence, we want the ptCache.getAllPts() to just add the unused, non-GC&#39;d</span></div><div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;            <span class="comment">// points-to sets to allPts.</span></div><div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">typename</span> Map&lt;DataSet, unsigned&gt;::value_type &amp;pto : allPts) pto.second -= 1;</div><div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;            SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.ptCache.getAllPts());</div><div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;        }</div><div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;</div><div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;        <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="fragment"><div class="line"><a name="l00905"></a><span class="lineno">  905</span>&#160;    {</div><div class="line"><a name="l00906"></a><span class="lineno">  906</span>&#160;        <span class="comment">// Explicitly pass in true because if we call it with false,</span></div><div class="line"><a name="l00907"></a><span class="lineno">  907</span>&#160;        <span class="comment">// we will double up on the cache, since it is shared with atPTData.</span></div><div class="line"><a name="l00908"></a><span class="lineno">  908</span>&#160;        <span class="comment">// if liveOnly == false, we will handle it in the if below.</span></div><div class="line"><a name="l00909"></a><span class="lineno">  909</span>&#160;        Map&lt;DataSet, unsigned&gt; allPts = <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.getAllPts(<span class="keyword">true</span>);</div><div class="line"><a name="l00910"></a><span class="lineno">  910</span>&#160;        SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a3b1d6e55ccaf82cd03914a1c948c4577">getAllPts</a>(<span class="keyword">true</span>));</div><div class="line"><a name="l00911"></a><span class="lineno">  911</span>&#160;</div><div class="line"><a name="l00912"></a><span class="lineno">  912</span>&#160;        <span class="keywordflow">if</span> (!liveOnly)</div><div class="line"><a name="l00913"></a><span class="lineno">  913</span>&#160;        {</div><div class="line"><a name="l00914"></a><span class="lineno">  914</span>&#160;            <span class="comment">// Subtract 1 from each counted points-to set because the live points-to</span></div><div class="line"><a name="l00915"></a><span class="lineno">  915</span>&#160;            <span class="comment">// sets have already been inserted and accounted for how often they occur.</span></div><div class="line"><a name="l00916"></a><span class="lineno">  916</span>&#160;            <span class="comment">// They will each occur one more time in the cache.</span></div><div class="line"><a name="l00917"></a><span class="lineno">  917</span>&#160;            <span class="comment">// In essence, we want the ptCache.getAllPts() to just add the unused, non-GC&#39;d</span></div><div class="line"><a name="l00918"></a><span class="lineno">  918</span>&#160;            <span class="comment">// points-to sets to allPts.</span></div><div class="line"><a name="l00919"></a><span class="lineno">  919</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">typename</span> Map&lt;DataSet, unsigned&gt;::value_type &amp;pto : allPts) pto.second -= 1;</div><div class="line"><a name="l00920"></a><span class="lineno">  920</span>&#160;            SVFUtil::mergePtsOccMaps&lt;DataSet&gt;(allPts, <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">tlPTData</a>.ptCache.getAllPts());</div><div class="line"><a name="l00921"></a><span class="lineno">  921</span>&#160;        }</div><div class="line"><a name="l00922"></a><span class="lineno">  922</span>&#160;</div><div class="line"><a name="l00923"></a><span class="lineno">  923</span>&#160;        <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00924"></a><span class="lineno">  924</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a29104a2d53d94805e142f778d3d21ad5"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5">SVF::PersistentVersionedPTData::tlPTData</a></div><div class="ttdeci">PersistentPTData&lt; Key, KeySet, Data, DataSet &gt; tlPTData</div><div class="ttdoc">PTData for Keys (top-level pointers, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00949">PersistentPointsToDS.h:949</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_aadba2724dfe3cb745d9e9d73b8c3de67"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67">SVF::PersistentPTData::getAllPts</a></div><div class="ttdeci">virtual Map&lt; DataSet, unsigned &gt; getAllPts(bool liveOnly) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00120">PersistentPointsToDS.h:120</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a3b1d6e55ccaf82cd03914a1c948c4577"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a3b1d6e55ccaf82cd03914a1c948c4577">SVF::PersistentPTData::getAllPts</a></div><div class="ttdeci">Map&lt; DataSet, unsigned &gt; getAllPts(bool liveOnly) const override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00120">PersistentPointsToDS.h:120</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="afe80884fa8227e50f28631e20aa6fdf6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afe80884fa8227e50f28631e20aa6fdf6">&#9670;&nbsp;</a></span>getPts() <span class="overload">[1/2]</span></h2>
+<a id="abcfcbbb3fab89b89168409c1f714e1ed"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#abcfcbbb3fab89b89168409c1f714e1ed">&#9670;&nbsp;</a></span>getPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -833,7 +831,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getPts </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -856,8 +854,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9b81d20e54d08e36edbff43549b1e820"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9b81d20e54d08e36edbff43549b1e820">&#9670;&nbsp;</a></span>getPts() <span class="overload">[2/2]</span></h2>
+<a id="ae705d46ac78d39f0779c0bf05e39f8b3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae705d46ac78d39f0779c0bf05e39f8b3">&#9670;&nbsp;</a></span>getPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -868,7 +866,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getPts </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>vk</em></td><td>)</td>
@@ -885,13 +883,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#adcba3355f96357493d8a7520ff00cc97">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00830">830</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;    {</div><div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">getPts</a>(vk);</div><div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_a34f8226202e1654d4e67916b21ec4d99"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">SVF::PersistentPTData::getPts</a></div><div class="ttdeci">virtual const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00059">PersistentPointsToDS.h:59</a></div></div>
+<div class="fragment"><div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;    {</div><div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">getPts</a>(vk);</div><div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a82621bb9b53ccb479cb7278df9a4e366"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData::getPts</a></div><div class="ttdeci">const DataSet &amp; getPts(const Key &amp;var) override</div><div class="ttdoc">Get points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00059">PersistentPointsToDS.h:59</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aafa09ff01060e43f08278963179eec30"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aafa09ff01060e43f08278963179eec30">&#9670;&nbsp;</a></span>getRevPts()</h2>
+<a id="a4faa0f91fa8acbd8c818f3abf5db8b5f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4faa0f91fa8acbd8c818f3abf5db8b5f">&#9670;&nbsp;</a></span>getRevPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -902,7 +900,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const KeySet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getRevPts </td>
+          <td class="memname">const KeySet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getRevPts </td>
           <td>(</td>
           <td class="paramtype">const Data &amp;&#160;</td>
           <td class="paramname"><em>datum</em></td><td>)</td>
@@ -926,8 +924,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a2adcebb6cf561eb00e3e05d486c86a9c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2adcebb6cf561eb00e3e05d486c86a9c">&#9670;&nbsp;</a></span>getVersionedKeyRevPts()</h2>
+<a id="acabb81409a3767f31227f46e106cb2d0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#acabb81409a3767f31227f46e106cb2d0">&#9670;&nbsp;</a></span>getVersionedKeyRevPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -938,7 +936,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const VersionedKeySet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getVersionedKeyRevPts </td>
+          <td class="memname">const VersionedKeySet&amp; <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::getVersionedKeyRevPts </td>
           <td>(</td>
           <td class="paramtype">const Data &amp;&#160;</td>
           <td class="paramname"><em>data</em></td><td>)</td>
@@ -955,14 +953,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a69ebef10b60b15f813b498607b6059d6">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00840">840</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;    {</div><div class="line"><a name="l00842"></a><span class="lineno">  842</span>&#160;        assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;PersistentVersionedPTData::getVersionedKeyRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34">getRevPts</a>(data);</div><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_a916017f2cc924b10e72120d1d87afd34"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34">SVF::PersistentPTData::getRevPts</a></div><div class="ttdeci">virtual const KeySet &amp; getRevPts(const Data &amp;data) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00065">PersistentPointsToDS.h:65</a></div></div>
+<div class="fragment"><div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;    {</div><div class="line"><a name="l00842"></a><span class="lineno">  842</span>&#160;        assert(this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a> &amp;&amp; <span class="stringliteral">&quot;PersistentVersionedPTData::getVersionedKeyRevPts: constructed without reverse PT support!&quot;</span>);</div><div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de">getRevPts</a>(data);</div><div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a2f4fe676fdb5c749aa9b3f68e45e26de"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de">SVF::PersistentPTData::getRevPts</a></div><div class="ttdeci">const KeySet &amp; getRevPts(const Data &amp;data) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00065">PersistentPointsToDS.h:65</a></div></div>
 <div class="ttc" id="classSVF_1_1PTData_html_a46fa3ec6462f3dda19549340281bb219"><div class="ttname"><a href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">SVF::PTData::rev</a></div><div class="ttdeci">bool rev</div><div class="ttdoc">Whether we maintain reverse points-to sets or not. </div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00141">AbstractPointsToDS.h:141</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a0b4feff5bc406088216d9e45941fe3ef"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0b4feff5bc406088216d9e45941fe3ef">&#9670;&nbsp;</a></span>remapAllPts()</h2>
+<a id="a5a21b654b380bdf26d65d60ceb86a787"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5a21b654b380bdf26d65d60ceb86a787">&#9670;&nbsp;</a></span>remapAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -973,9 +971,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::remapAllPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::remapAllPts </td>
           <td>(</td>
-          <td class="paramtype">void&#160;</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
         </tr>
@@ -996,8 +993,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="afe1f57d265c0910ec26567ce850b8421"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afe1f57d265c0910ec26567ce850b8421">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/6]</span></h2>
+<a id="a14419b91e9c790623060b10b13f9ad13"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a14419b91e9c790623060b10b13f9ad13">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/6]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1008,7 +1005,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1041,8 +1038,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab0299bcfee10af8b6ea59444c4d0299d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab0299bcfee10af8b6ea59444c4d0299d">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/6]</span></h2>
+<a id="ae0eafb4667af1ba821247f9f4199d52f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae0eafb4667af1ba821247f9f4199d52f">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/6]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1053,7 +1050,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1080,13 +1077,13 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#a8b9d50b5ad1c779b2ff231f07f3002ea">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00859">859</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    {</div><div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4">unionPts</a>(dstVar, srcVar);</div><div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_a236c780af73ab909a66a922bc8645ea4"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4">SVF::PersistentPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00079">PersistentPointsToDS.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;    {</div><div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943">unionPts</a>(dstVar, srcVar);</div><div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a5610c0d4a06a9c97d6bf79c494366943"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943">SVF::PersistentPTData::unionPts</a></div><div class="ttdeci">bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00079">PersistentPointsToDS.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a8ba8e547bf572cd7403cb4fe52c19908"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8ba8e547bf572cd7403cb4fe52c19908">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[3/6]</span></h2>
+<a id="a5e6ab689e9a9eefdd5f6bf04ab279940"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5e6ab689e9a9eefdd5f6bf04ab279940">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[3/6]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1097,7 +1094,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1130,8 +1127,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a83b7e86c11b03889d70b4dff46138987"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a83b7e86c11b03889d70b4dff46138987">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[4/6]</span></h2>
+<a id="adb56e144709cab8efe057c3215e30b9b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adb56e144709cab8efe057c3215e30b9b">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[4/6]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1142,7 +1139,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1175,8 +1172,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a00151507a86b71f99e43fa87b59d65bb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a00151507a86b71f99e43fa87b59d65bb">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[5/6]</span></h2>
+<a id="aaf048cdd17875dd3a9adca2aabcbfd7e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aaf048cdd17875dd3a9adca2aabcbfd7e">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[5/6]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1187,7 +1184,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1220,8 +1217,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ac4b8dc40514b50a77565a385b9a13ca5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac4b8dc40514b50a77565a385b9a13ca5">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[6/6]</span></h2>
+<a id="ab4828e2b42d646463bfd23c2154c3b8f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab4828e2b42d646463bfd23c2154c3b8f">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[6/6]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1232,7 +1229,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentVersionedPTData.html">SVF::PersistentVersionedPTData</a>&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const VersionedKey &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -1259,8 +1256,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet ,
 <p>Implements <a class="el" href="classSVF_1_1VersionedPTData.html#ac87e856efea485d32de8948495b58951">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00875">875</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;    {</div><div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4">unionPts</a>(dstVar, srcDataSet);</div><div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPTData_html_a236c780af73ab909a66a922bc8645ea4"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4">SVF::PersistentPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00079">PersistentPointsToDS.h:79</a></div></div>
+<div class="fragment"><div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;    {</div><div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">atPTData</a>.<a class="code" href="classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943">unionPts</a>(dstVar, srcDataSet);</div><div class="line"><a name="l00878"></a><span class="lineno">  878</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00951">PersistentPointsToDS.h:951</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPTData_html_a5610c0d4a06a9c97d6bf79c494366943"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943">SVF::PersistentPTData::unionPts</a></div><div class="ttdeci">bool unionPts(const Key &amp;dstKey, const Key &amp;srcKey) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U pts(srcVar). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00079">PersistentPointsToDS.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>