svf-tools 1.0.613 → 1.0.615

package/SVF-doxygen/html/html/classSVF_1_1PersistentPTData.html

@@ -127,40 +127,40 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a5b24a6efc462014ed8002cefee3c0e6e"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a5b24a6efc462014ed8002cefee3c0e6e">PersistentPTData</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::PersBase)</td></tr>
 <tr class="memdesc:a5b24a6efc462014ed8002cefee3c0e6e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a5b24a6efc462014ed8002cefee3c0e6e">More...</a><br /></td></tr>
 <tr class="separator:a5b24a6efc462014ed8002cefee3c0e6e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a66a9367f0b965d18be8bb1247e1c2548"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a66a9367f0b965d18be8bb1247e1c2548">~PersistentPTData</a> ()</td></tr>
-<tr class="separator:a66a9367f0b965d18be8bb1247e1c2548"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abf836f1b063b869215c7e9b53b013d3f"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#abf836f1b063b869215c7e9b53b013d3f">clear</a> () override</td></tr>
-<tr class="memdesc:abf836f1b063b869215c7e9b53b013d3f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#abf836f1b063b869215c7e9b53b013d3f">More...</a><br /></td></tr>
-<tr class="separator:abf836f1b063b869215c7e9b53b013d3f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a34f8226202e1654d4e67916b21ec4d99"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">getPts</a> (const Key &amp;var) override</td></tr>
-<tr class="memdesc:a34f8226202e1654d4e67916b21ec4d99"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#a34f8226202e1654d4e67916b21ec4d99">More...</a><br /></td></tr>
-<tr class="separator:a34f8226202e1654d4e67916b21ec4d99"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a916017f2cc924b10e72120d1d87afd34"><td class="memItemLeft" align="right" valign="top">virtual const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34">getRevPts</a> (const Data &amp;data) override</td></tr>
-<tr class="memdesc:a916017f2cc924b10e72120d1d87afd34"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a916017f2cc924b10e72120d1d87afd34">More...</a><br /></td></tr>
-<tr class="separator:a916017f2cc924b10e72120d1d87afd34"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8d53322eadc657ed88a8b724647070b2"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a8d53322eadc657ed88a8b724647070b2">addPts</a> (const Key &amp;dstKey, const Data &amp;element) override</td></tr>
-<tr class="memdesc:a8d53322eadc657ed88a8b724647070b2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a8d53322eadc657ed88a8b724647070b2">More...</a><br /></td></tr>
-<tr class="separator:a8d53322eadc657ed88a8b724647070b2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a236c780af73ab909a66a922bc8645ea4"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a236c780af73ab909a66a922bc8645ea4">unionPts</a> (const Key &amp;dstKey, const Key &amp;srcKey) override</td></tr>
-<tr class="memdesc:a236c780af73ab909a66a922bc8645ea4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#a236c780af73ab909a66a922bc8645ea4">More...</a><br /></td></tr>
-<tr class="separator:a236c780af73ab909a66a922bc8645ea4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9414aeb024e2c367b9777522aadd5d83"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a9414aeb024e2c367b9777522aadd5d83">unionPts</a> (const Key &amp;dstKey, const DataSet &amp;srcData) override</td></tr>
-<tr class="memdesc:a9414aeb024e2c367b9777522aadd5d83"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#a9414aeb024e2c367b9777522aadd5d83">More...</a><br /></td></tr>
-<tr class="separator:a9414aeb024e2c367b9777522aadd5d83"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afb2dd005d3d2ad01bdad4b7a1af5477d"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#afb2dd005d3d2ad01bdad4b7a1af5477d">dumpPTData</a> () override</td></tr>
-<tr class="memdesc:afb2dd005d3d2ad01bdad4b7a1af5477d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#afb2dd005d3d2ad01bdad4b7a1af5477d">More...</a><br /></td></tr>
-<tr class="separator:afb2dd005d3d2ad01bdad4b7a1af5477d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a10221452ea6ffed4ae51a9c6f9dc1e93"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">clearPts</a> (const Key &amp;var, const Data &amp;element) override</td></tr>
-<tr class="memdesc:a10221452ea6ffed4ae51a9c6f9dc1e93"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#a10221452ea6ffed4ae51a9c6f9dc1e93">More...</a><br /></td></tr>
-<tr class="separator:a10221452ea6ffed4ae51a9c6f9dc1e93"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aff3437089686869faa772c44bca753b6"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">clearFullPts</a> (const Key &amp;var) override</td></tr>
-<tr class="memdesc:aff3437089686869faa772c44bca753b6"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#aff3437089686869faa772c44bca753b6">More...</a><br /></td></tr>
-<tr class="separator:aff3437089686869faa772c44bca753b6"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af8084d77fb666933fd0efe0df983074d"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#af8084d77fb666933fd0efe0df983074d">remapAllPts</a> (void) override</td></tr>
-<tr class="memdesc:af8084d77fb666933fd0efe0df983074d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#af8084d77fb666933fd0efe0df983074d">More...</a><br /></td></tr>
-<tr class="separator:af8084d77fb666933fd0efe0df983074d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aadba2724dfe3cb745d9e9d73b8c3de67"><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_1PersistentPTData.html#aadba2724dfe3cb745d9e9d73b8c3de67">getAllPts</a> (bool liveOnly) const override</td></tr>
-<tr class="separator:aadba2724dfe3cb745d9e9d73b8c3de67"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5d8aab7bf619800ae289ef38dad23306"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a5d8aab7bf619800ae289ef38dad23306">~PersistentPTData</a> () override=default</td></tr>
+<tr class="separator:a5d8aab7bf619800ae289ef38dad23306"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a492df7c388e3f616e60b63630b8c37c5"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a492df7c388e3f616e60b63630b8c37c5">clear</a> () override</td></tr>
+<tr class="memdesc:a492df7c388e3f616e60b63630b8c37c5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#a492df7c388e3f616e60b63630b8c37c5">More...</a><br /></td></tr>
+<tr class="separator:a492df7c388e3f616e60b63630b8c37c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a82621bb9b53ccb479cb7278df9a4e366"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">getPts</a> (const Key &amp;var) override</td></tr>
+<tr class="memdesc:a82621bb9b53ccb479cb7278df9a4e366"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#a82621bb9b53ccb479cb7278df9a4e366">More...</a><br /></td></tr>
+<tr class="separator:a82621bb9b53ccb479cb7278df9a4e366"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2f4fe676fdb5c749aa9b3f68e45e26de"><td class="memItemLeft" align="right" valign="top">const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a2f4fe676fdb5c749aa9b3f68e45e26de">getRevPts</a> (const Data &amp;data) override</td></tr>
+<tr class="memdesc:a2f4fe676fdb5c749aa9b3f68e45e26de"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a2f4fe676fdb5c749aa9b3f68e45e26de">More...</a><br /></td></tr>
+<tr class="separator:a2f4fe676fdb5c749aa9b3f68e45e26de"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a46c5bffbcae1494d5acb5e2d76f1501c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a46c5bffbcae1494d5acb5e2d76f1501c">addPts</a> (const Key &amp;dstKey, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a46c5bffbcae1494d5acb5e2d76f1501c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a46c5bffbcae1494d5acb5e2d76f1501c">More...</a><br /></td></tr>
+<tr class="separator:a46c5bffbcae1494d5acb5e2d76f1501c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5610c0d4a06a9c97d6bf79c494366943"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a5610c0d4a06a9c97d6bf79c494366943">unionPts</a> (const Key &amp;dstKey, const Key &amp;srcKey) override</td></tr>
+<tr class="memdesc:a5610c0d4a06a9c97d6bf79c494366943"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#a5610c0d4a06a9c97d6bf79c494366943">More...</a><br /></td></tr>
+<tr class="separator:a5610c0d4a06a9c97d6bf79c494366943"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a75f78272350b64aa00fd739f352fecb5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a75f78272350b64aa00fd739f352fecb5">unionPts</a> (const Key &amp;dstKey, const DataSet &amp;srcData) override</td></tr>
+<tr class="memdesc:a75f78272350b64aa00fd739f352fecb5"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#a75f78272350b64aa00fd739f352fecb5">More...</a><br /></td></tr>
+<tr class="separator:a75f78272350b64aa00fd739f352fecb5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6e46180c11bc25c474d03e0091e81ee2"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a6e46180c11bc25c474d03e0091e81ee2">dumpPTData</a> () override</td></tr>
+<tr class="memdesc:a6e46180c11bc25c474d03e0091e81ee2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#a6e46180c11bc25c474d03e0091e81ee2">More...</a><br /></td></tr>
+<tr class="separator:a6e46180c11bc25c474d03e0091e81ee2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6d2e2837d18dc66c92d59d0729bd7c91"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a6d2e2837d18dc66c92d59d0729bd7c91">clearPts</a> (const Key &amp;var, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a6d2e2837d18dc66c92d59d0729bd7c91"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#a6d2e2837d18dc66c92d59d0729bd7c91">More...</a><br /></td></tr>
+<tr class="separator:a6d2e2837d18dc66c92d59d0729bd7c91"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae64bcb3ba179e934653e0ebfa2c18d8d"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#ae64bcb3ba179e934653e0ebfa2c18d8d">clearFullPts</a> (const Key &amp;var) override</td></tr>
+<tr class="memdesc:ae64bcb3ba179e934653e0ebfa2c18d8d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#ae64bcb3ba179e934653e0ebfa2c18d8d">More...</a><br /></td></tr>
+<tr class="separator:ae64bcb3ba179e934653e0ebfa2c18d8d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6ab42dbb4837bfaa1c76d61152fb321c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentPTData.html#a6ab42dbb4837bfaa1c76d61152fb321c">remapAllPts</a> () override</td></tr>
+<tr class="memdesc:a6ab42dbb4837bfaa1c76d61152fb321c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#a6ab42dbb4837bfaa1c76d61152fb321c">More...</a><br /></td></tr>
+<tr class="separator:a6ab42dbb4837bfaa1c76d61152fb321c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3b1d6e55ccaf82cd03914a1c948c4577"><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_1PersistentPTData.html#a3b1d6e55ccaf82cd03914a1c948c4577">getAllPts</a> (bool liveOnly) const override</td></tr>
+<tr class="separator:a3b1d6e55ccaf82cd03914a1c948c4577"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1PTData"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1PTData')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1PTData.html">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a></td></tr>
 <tr class="memitem:a142667d3a394fa6c3f337abba295ebb1 inherit pub_methods_classSVF_1_1PTData"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PTData.html#a142667d3a394fa6c3f337abba295ebb1">PTData</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::Base)</td></tr>
 <tr class="separator:a142667d3a394fa6c3f337abba295ebb1 inherit pub_methods_classSVF_1_1PTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -330,7 +330,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
       </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">
@@ -343,8 +343,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a66a9367f0b965d18be8bb1247e1c2548"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a66a9367f0b965d18be8bb1247e1c2548">&#9670;&nbsp;</a></span>~PersistentPTData()</h2>
+<a id="a5d8aab7bf619800ae289ef38dad23306"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5d8aab7bf619800ae289ef38dad23306">&#9670;&nbsp;</a></span>~PersistentPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -355,7 +355,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> </td>
+          <td class="memname"><a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentPTData.html">PersistentPTData</a> </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -363,18 +363,16 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
       </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#l00051">51</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;{ }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a8d53322eadc657ed88a8b724647070b2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8d53322eadc657ed88a8b724647070b2">&#9670;&nbsp;</a></span>addPts()</h2>
+<a id="a46c5bffbcae1494d5acb5e2d76f1501c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a46c5bffbcae1494d5acb5e2d76f1501c">&#9670;&nbsp;</a></span>addPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -385,7 +383,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::addPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::addPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -415,7 +413,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00071">71</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    {</div><div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;        DataSet srcPts;</div><div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;        srcPts.set(element);</div><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> srcId = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">emplacePts</a>(srcPts);</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8">unionPtsFromId</a>(dstKey, srcId);</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a98d176e384469e0308bfee2061ef84b5"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache::emplacePts</a></div><div class="ttdeci">PointsToID emplacePts(const Data &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00091">PersistentPointsToCache.h:91</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a98d176e384469e0308bfee2061ef84b5"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache::emplacePts</a></div><div class="ttdeci">PointsToID emplacePts(const Data &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00090">PersistentPointsToCache.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a142ea74fa724f047db14d3b573d9eee8"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8">SVF::PersistentPTData::unionPtsFromId</a></div><div class="ttdeci">bool unionPtsFromId(const Key &amp;dstKey, PointsToID srcId)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00154">PersistentPointsToDS.h:154</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 </div><!-- fragment -->
@@ -482,8 +480,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 <div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::PersBase;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="abf836f1b063b869215c7e9b53b013d3f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abf836f1b063b869215c7e9b53b013d3f">&#9670;&nbsp;</a></span>clear()</h2>
+<a id="a492df7c388e3f616e60b63630b8c37c5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a492df7c388e3f616e60b63630b8c37c5">&#9670;&nbsp;</a></span>clear()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -494,7 +492,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -517,8 +515,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aff3437089686869faa772c44bca753b6"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aff3437089686869faa772c44bca753b6">&#9670;&nbsp;</a></span>clearFullPts()</h2>
+<a id="ae64bcb3ba179e934653e0ebfa2c18d8d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae64bcb3ba179e934653e0ebfa2c18d8d">&#9670;&nbsp;</a></span>clearFullPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -529,7 +527,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearFullPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearFullPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -548,15 +546,15 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 <p>Implements <a class="el" href="classSVF_1_1PTData.html#a877888f12d9f8048002cc0e6b83d45ac">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00109">109</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <a class="code" href="classSVF_1_1PersistentPTData.html#a2a83492ac0b641c67489a770aadc4ad0">clearRevPts</a>(<a class="code" href="classSVF_1_1PersistentPTData.html#a34f8226202e1654d4e67916b21ec4d99">getPts</a>(var), var);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[var] = <a class="code" href="classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57">PersistentPointsToCache&lt;DataSet&gt;::emptyPointsToId</a>();</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    }</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="l00110"></a><span class="lineno">  110</span>&#160;    {</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;        <a class="code" href="classSVF_1_1PersistentPTData.html#a2a83492ac0b641c67489a770aadc4ad0">clearRevPts</a>(<a class="code" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">getPts</a>(var), var);</div><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;        <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[var] = <a class="code" href="classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57">PersistentPointsToCache&lt;DataSet&gt;::emptyPointsToId</a>();</div><div class="line"><a name="l00113"></a><span class="lineno">  113</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_1PersistentPTData_html_a483c690c6cf19e258bdf7bb13e77976e"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData::ptsMap</a></div><div class="ttdeci">KeyToIDMap ptsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00194">PersistentPointsToDS.h:194</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a921a4ef4c72ccde5724860f98ad62a57"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57">SVF::PersistentPointsToCache::emptyPointsToId</a></div><div class="ttdeci">static PointsToID emptyPointsToId(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00039">PersistentPointsToCache.h:39</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a2a83492ac0b641c67489a770aadc4ad0"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a2a83492ac0b641c67489a770aadc4ad0">SVF::PersistentPTData::clearRevPts</a></div><div class="ttdeci">void clearRevPts(const DataSet &amp;pts, const Key &amp;k)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00184">PersistentPointsToDS.h:184</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a10221452ea6ffed4ae51a9c6f9dc1e93"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a10221452ea6ffed4ae51a9c6f9dc1e93">&#9670;&nbsp;</a></span>clearPts()</h2>
+<a id="a6d2e2837d18dc66c92d59d0729bd7c91"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6d2e2837d18dc66c92d59d0729bd7c91">&#9670;&nbsp;</a></span>clearPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -567,7 +565,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -597,10 +595,10 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00095">95</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;    {</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        DataSet toRemoveData;</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        toRemoveData.set(element);</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> toRemoveId = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">emplacePts</a>(toRemoveData);</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> varId = <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[var];</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> complementId = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">complementPts</a>(varId, toRemoveId);</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;        <span class="keywordflow">if</span> (varId != complementId)</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        {</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[var] = complementId;</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            <a class="code" href="classSVF_1_1PersistentPTData.html#a46ab9d8365d9f9db9d84f5b8bcd3309c">clearSingleRevPts</a>(<a class="code" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">revPtsMap</a>[element], var);</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        }</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a98d176e384469e0308bfee2061ef84b5"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache::emplacePts</a></div><div class="ttdeci">PointsToID emplacePts(const Data &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00091">PersistentPointsToCache.h:91</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a98d176e384469e0308bfee2061ef84b5"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache::emplacePts</a></div><div class="ttdeci">PointsToID emplacePts(const Data &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00090">PersistentPointsToCache.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a46ab9d8365d9f9db9d84f5b8bcd3309c"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a46ab9d8365d9f9db9d84f5b8bcd3309c">SVF::PersistentPTData::clearSingleRevPts</a></div><div class="ttdeci">void clearSingleRevPts(KeySet &amp;revSet, const Key &amp;k)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00176">PersistentPointsToDS.h:176</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a7b43ad5045ebdaa86f2587ea3f2f9563"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData::revPtsMap</a></div><div class="ttdeci">RevPtsMap revPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00195">PersistentPointsToDS.h:195</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a86bf6959fb5587e350015d58d529af14"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">SVF::PersistentPointsToCache::complementPts</a></div><div class="ttdeci">PointsToID complementPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Relatively complements lhs and rhs (lhs \ rhs) and returns it&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00173">PersistentPointsToCache.h:173</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a86bf6959fb5587e350015d58d529af14"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">SVF::PersistentPointsToCache::complementPts</a></div><div class="ttdeci">PointsToID complementPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Relatively complements lhs and rhs (lhs \ rhs) and returns it&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00172">PersistentPointsToCache.h:172</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a483c690c6cf19e258bdf7bb13e77976e"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData::ptsMap</a></div><div class="ttdeci">KeyToIDMap ptsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00194">PersistentPointsToDS.h:194</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 </div><!-- fragment -->
@@ -691,8 +689,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 </div><!-- fragment -->
 </div>
 </div>
-<a id="afb2dd005d3d2ad01bdad4b7a1af5477d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afb2dd005d3d2ad01bdad4b7a1af5477d">&#9670;&nbsp;</a></span>dumpPTData()</h2>
+<a id="a6e46180c11bc25c474d03e0091e81ee2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6e46180c11bc25c474d03e0091e81ee2">&#9670;&nbsp;</a></span>dumpPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -703,7 +701,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::dumpPTData </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::dumpPTData </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -724,8 +722,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 <div class="fragment"><div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;    {</div><div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="aadba2724dfe3cb745d9e9d73b8c3de67"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aadba2724dfe3cb745d9e9d73b8c3de67">&#9670;&nbsp;</a></span>getAllPts()</h2>
+<a id="a3b1d6e55ccaf82cd03914a1c948c4577"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3b1d6e55ccaf82cd03914a1c948c4577">&#9670;&nbsp;</a></span>getAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -736,7 +734,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <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_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getAllPts </td>
+          <td class="memname"><a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;DataSet, unsigned&gt; <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getAllPts </td>
           <td>(</td>
           <td class="paramtype">bool&#160;</td>
           <td class="paramname"><em>liveOnly</em></td><td>)</td>
@@ -755,14 +753,14 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00120">120</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;    {</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        Map&lt;DataSet, unsigned&gt; allPts;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;        <span class="keywordflow">if</span> (liveOnly)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">typename</span> KeyToIDMap::value_type &amp;ki : <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>)</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;            {</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                ++allPts[<a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(ki.second)];</div><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;            }</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        }</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">else</span></div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;        {</div><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;            allPts = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">getAllPts</a>();</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        }</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;        <span class="keywordflow">return</span> allPts;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab84d0806e87c982bf81ae309f28751e3"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache::getAllPts</a></div><div class="ttdeci">Map&lt; Data, unsigned &gt; getAllPts(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00345">PersistentPointsToCache.h:345</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab84d0806e87c982bf81ae309f28751e3"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">SVF::PersistentPointsToCache::getAllPts</a></div><div class="ttdeci">Map&lt; Data, unsigned &gt; getAllPts(void)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00344">PersistentPointsToCache.h:344</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00105">PersistentPointsToCache.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a483c690c6cf19e258bdf7bb13e77976e"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData::ptsMap</a></div><div class="ttdeci">KeyToIDMap ptsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00194">PersistentPointsToDS.h:194</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a34f8226202e1654d4e67916b21ec4d99"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a34f8226202e1654d4e67916b21ec4d99">&#9670;&nbsp;</a></span>getPts()</h2>
+<a id="a82621bb9b53ccb479cb7278df9a4e366"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a82621bb9b53ccb479cb7278df9a4e366">&#9670;&nbsp;</a></span>getPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -773,7 +771,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getPts </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -793,14 +791,14 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00059">59</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;    {</div><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[var];</div><div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00105">PersistentPointsToCache.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a483c690c6cf19e258bdf7bb13e77976e"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData::ptsMap</a></div><div class="ttdeci">KeyToIDMap ptsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00194">PersistentPointsToDS.h:194</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a916017f2cc924b10e72120d1d87afd34"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a916017f2cc924b10e72120d1d87afd34">&#9670;&nbsp;</a></span>getRevPts()</h2>
+<a id="a2f4fe676fdb5c749aa9b3f68e45e26de"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2f4fe676fdb5c749aa9b3f68e45e26de">&#9670;&nbsp;</a></span>getRevPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -811,7 +809,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const KeySet&amp; <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getRevPts </td>
+          <td class="memname">const KeySet&amp; <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getRevPts </td>
           <td>(</td>
           <td class="paramtype">const Data &amp;&#160;</td>
           <td class="paramname"><em>datum</em></td><td>)</td>
@@ -835,8 +833,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 </div><!-- fragment -->
 </div>
 </div>
-<a id="af8084d77fb666933fd0efe0df983074d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af8084d77fb666933fd0efe0df983074d">&#9670;&nbsp;</a></span>remapAllPts()</h2>
+<a id="a6ab42dbb4837bfaa1c76d61152fb321c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6ab42dbb4837bfaa1c76d61152fb321c">&#9670;&nbsp;</a></span>remapAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -847,9 +845,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::remapAllPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::remapAllPts </td>
           <td>(</td>
-          <td class="paramtype">void&#160;</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
         </tr>
@@ -867,12 +864,12 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00115">115</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    {</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">remapAllPts</a>();</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a89c4e8c8edcc6744f298e90d721a0745"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">SVF::PersistentPointsToCache::remapAllPts</a></div><div class="ttdeci">void remapAllPts(void)</div><div class="ttdoc">Remaps all points-to sets stored in the cache to the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00080">PersistentPointsToCache.h:80</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a89c4e8c8edcc6744f298e90d721a0745"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">SVF::PersistentPointsToCache::remapAllPts</a></div><div class="ttdeci">void remapAllPts(void)</div><div class="ttdoc">Remaps all points-to sets stored in the cache to the current mapping. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00079">PersistentPointsToCache.h:79</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a236c780af73ab909a66a922bc8645ea4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a236c780af73ab909a66a922bc8645ea4">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/2]</span></h2>
+<a id="a5610c0d4a06a9c97d6bf79c494366943"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5610c0d4a06a9c97d6bf79c494366943">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -883,7 +880,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -918,8 +915,8 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a9414aeb024e2c367b9777522aadd5d83"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9414aeb024e2c367b9777522aadd5d83">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/2]</span></h2>
+<a id="a75f78272350b64aa00fd739f352fecb5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a75f78272350b64aa00fd739f352fecb5">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -930,7 +927,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentPTData.html">SVF::PersistentPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
           <td>(</td>
           <td class="paramtype">const Key &amp;&#160;</td>
           <td class="paramname"><em>dstVar</em>, </td>
@@ -960,7 +957,7 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00085">85</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;    {</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> srcId = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">emplacePts</a>(srcData);</div><div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8">unionPtsFromId</a>(dstKey, srcId);</div><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a98d176e384469e0308bfee2061ef84b5"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache::emplacePts</a></div><div class="ttdeci">PointsToID emplacePts(const Data &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00091">PersistentPointsToCache.h:91</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a98d176e384469e0308bfee2061ef84b5"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">SVF::PersistentPointsToCache::emplacePts</a></div><div class="ttdeci">PointsToID emplacePts(const Data &amp;pts)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00090">PersistentPointsToCache.h:90</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a142ea74fa724f047db14d3b573d9eee8"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a142ea74fa724f047db14d3b573d9eee8">SVF::PersistentPTData::unionPtsFromId</a></div><div class="ttdeci">bool unionPtsFromId(const Key &amp;dstKey, PointsToID srcId)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00154">PersistentPointsToDS.h:154</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 </div><!-- fragment -->
@@ -1006,9 +1003,9 @@ template&lt;typename Key, typename KeySet, typename Data, typename DataSet&gt; <
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00154">154</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;    {</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> dstId = <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[dstKey];</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> newDstId = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">unionPts</a>(dstId, srcId);</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;        <span class="keywordtype">bool</span> changed = newDstId != dstId;</div><div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;        <span class="keywordflow">if</span> (changed)</div><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;        {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;            <a class="code" href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">ptsMap</a>[dstKey] = newDstId;</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;</div><div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            <span class="comment">// Reverse points-to only needs to be handled when dst&#39;s</span></div><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;            <span class="comment">// points-to set has changed (i.e., do it the first time only).</span></div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            <span class="keywordflow">if</span> (this-&gt;<a class="code" href="classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219">rev</a>)</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;            {</div><div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;                <span class="keyword">const</span> DataSet &amp;srcPts = <a class="code" href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(srcId);</div><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;                <span class="keywordflow">for</span> (<span class="keyword">const</span> Data &amp;d : srcPts) <a class="code" href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVFUtil::insertKey</a>(dstKey, <a class="code" href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">revPtsMap</a>[d]);</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;            }</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;        }</div><div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;</div><div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;        <span class="keywordflow">return</span> changed;</div><div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentPTData_html_a146a25bf9ae76f4c3c117433df9d382f"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f">SVF::PersistentPTData::ptCache</a></div><div class="ttdeci">PersistentPointsToCache&lt; DataSet &gt; &amp; ptCache</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00193">PersistentPointsToDS.h:193</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aeecfaf26800dcebf0b079395126bc7f7"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aeecfaf26800dcebf0b079395126bc7f7">SVF::SVFUtil::insertKey</a></div><div class="ttdeci">void insertKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Inserts an element into a Set/CondSet (with ::insert). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00256">SVFUtil.h:256</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a178b49cca2c22e874ff9e772cc4df72b"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache::unionPts</a></div><div class="ttdeci">PointsToID unionPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Unions lhs and rhs and returns their union&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00114">PersistentPointsToCache.h:114</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a178b49cca2c22e874ff9e772cc4df72b"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a178b49cca2c22e874ff9e772cc4df72b">SVF::PersistentPointsToCache::unionPts</a></div><div class="ttdeci">PointsToID unionPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Unions lhs and rhs and returns their union&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00113">PersistentPointsToCache.h:113</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a7b43ad5045ebdaa86f2587ea3f2f9563"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563">SVF::PersistentPTData::revPtsMap</a></div><div class="ttdeci">RevPtsMap revPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00195">PersistentPointsToDS.h:195</a></div></div>
-<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00106">PersistentPointsToCache.h:106</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_ab2888b033a29de3af48d377dc2fe70aa"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">SVF::PersistentPointsToCache::getActualPts</a></div><div class="ttdeci">const Data &amp; getActualPts(PointsToID id) const</div><div class="ttdoc">Returns the points-to set which id represents. id must be stored in the cache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00105">PersistentPointsToCache.h:105</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a483c690c6cf19e258bdf7bb13e77976e"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a483c690c6cf19e258bdf7bb13e77976e">SVF::PersistentPTData::ptsMap</a></div><div class="ttdeci">KeyToIDMap ptsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00194">PersistentPointsToDS.h:194</a></div></div>
 <div class="ttc" id="namespaceSVF_html_ae545a88267bd2246de827cf590675aca"><div class="ttname"><a href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">SVF::PointsToID</a></div><div class="ttdeci">unsigned PointsToID</div><div class="ttdef"><b>Definition:</b> <a href="SVFType_8h_source.html#l00062">SVFType.h:62</a></div></div>
 <div 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>

package/SVF-doxygen/html/html/classSVF_1_1PersistentPointsToCache-members.html

@@ -78,7 +78,7 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(PointsToID id) const</td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab84d0806e87c982bf81ae309f28751e3">getAllPts</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5">idCounter</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#a390c08099f16afb4b80b6e094d1adf25">idToPts</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#a32009561c9d3a340ec4e6230ef17f998">idToPts</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#ab19e4e17b1896565e0bada1f161d1266">initStats</a>(void)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#a525fbb49c91040c078fbcaaae2339ef2">intersectionCache</a></td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494">intersectPts</a>(PointsToID lhs, PointsToID rhs)</td><td class="entry"><a class="el" href="classSVF_1_1PersistentPointsToCache.html">SVF::PersistentPointsToCache&lt; Data &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>