svf-tools 1.0.613 → 1.0.614

package/SVF-doxygen/html/html/classSVF_1_1PersistentDiffPTData.html

@@ -135,50 +135,50 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a18f90b2f4e54b47c4d6f2d50886a4411"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411">PersistentDiffPTData</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::PersDiff)</td></tr>
 <tr class="memdesc:a18f90b2f4e54b47c4d6f2d50886a4411"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a18f90b2f4e54b47c4d6f2d50886a4411">More...</a><br /></td></tr>
 <tr class="separator:a18f90b2f4e54b47c4d6f2d50886a4411"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a311ada9c9a0376c71dae24841cc60b7a"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a311ada9c9a0376c71dae24841cc60b7a">~PersistentDiffPTData</a> ()</td></tr>
-<tr class="separator:a311ada9c9a0376c71dae24841cc60b7a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a10504f854b1b390818f8ee12182d857c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a10504f854b1b390818f8ee12182d857c">clear</a> () override</td></tr>
-<tr class="memdesc:a10504f854b1b390818f8ee12182d857c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#a10504f854b1b390818f8ee12182d857c">More...</a><br /></td></tr>
-<tr class="separator:a10504f854b1b390818f8ee12182d857c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9982ecf42416756a0729a28e8713cfed"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">getPts</a> (const Key &amp;var) override</td></tr>
-<tr class="memdesc:a9982ecf42416756a0729a28e8713cfed"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#a9982ecf42416756a0729a28e8713cfed">More...</a><br /></td></tr>
-<tr class="separator:a9982ecf42416756a0729a28e8713cfed"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7a12f89c0de40dbcb5fe48219a7c121b"><td class="memItemLeft" align="right" valign="top">virtual const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a7a12f89c0de40dbcb5fe48219a7c121b">getRevPts</a> (const Data &amp;data) override</td></tr>
-<tr class="memdesc:a7a12f89c0de40dbcb5fe48219a7c121b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a7a12f89c0de40dbcb5fe48219a7c121b">More...</a><br /></td></tr>
-<tr class="separator:a7a12f89c0de40dbcb5fe48219a7c121b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9f748619f67f3ff9c4c4a429e6614989"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9f748619f67f3ff9c4c4a429e6614989">addPts</a> (const Key &amp;dstKey, const Data &amp;element) override</td></tr>
-<tr class="memdesc:a9f748619f67f3ff9c4c4a429e6614989"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a9f748619f67f3ff9c4c4a429e6614989">More...</a><br /></td></tr>
-<tr class="separator:a9f748619f67f3ff9c4c4a429e6614989"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9cc43f58ea3be1b7fbc7df7cfe965c3c"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a9cc43f58ea3be1b7fbc7df7cfe965c3c">unionPts</a> (const Key &amp;dstKey, const Key &amp;srcKey) override</td></tr>
-<tr class="memdesc:a9cc43f58ea3be1b7fbc7df7cfe965c3c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#a9cc43f58ea3be1b7fbc7df7cfe965c3c">More...</a><br /></td></tr>
-<tr class="separator:a9cc43f58ea3be1b7fbc7df7cfe965c3c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa9aac7ff120abf87e7edfe233691f00f"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa9aac7ff120abf87e7edfe233691f00f">unionPts</a> (const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</td></tr>
-<tr class="memdesc:aa9aac7ff120abf87e7edfe233691f00f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#aa9aac7ff120abf87e7edfe233691f00f">More...</a><br /></td></tr>
-<tr class="separator:aa9aac7ff120abf87e7edfe233691f00f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab01a663b665d629c15f3531f18b5abc2"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab01a663b665d629c15f3531f18b5abc2">clearPts</a> (const Key &amp;var, const Data &amp;element) override</td></tr>
-<tr class="memdesc:ab01a663b665d629c15f3531f18b5abc2"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#ab01a663b665d629c15f3531f18b5abc2">More...</a><br /></td></tr>
-<tr class="separator:ab01a663b665d629c15f3531f18b5abc2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae4b558e119c7e3fae25a0b4509422c87"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">clearFullPts</a> (const Key &amp;var) override</td></tr>
-<tr class="memdesc:ae4b558e119c7e3fae25a0b4509422c87"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#ae4b558e119c7e3fae25a0b4509422c87">More...</a><br /></td></tr>
-<tr class="separator:ae4b558e119c7e3fae25a0b4509422c87"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:add8c649853678b6c7acfa4217f1b7ee0"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#add8c649853678b6c7acfa4217f1b7ee0">remapAllPts</a> (void) override</td></tr>
-<tr class="memdesc:add8c649853678b6c7acfa4217f1b7ee0"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#add8c649853678b6c7acfa4217f1b7ee0">More...</a><br /></td></tr>
-<tr class="separator:add8c649853678b6c7acfa4217f1b7ee0"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac7caee8468f12e87a70837a8f2e9685c"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac7caee8468f12e87a70837a8f2e9685c">dumpPTData</a> () override</td></tr>
-<tr class="memdesc:ac7caee8468f12e87a70837a8f2e9685c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#ac7caee8468f12e87a70837a8f2e9685c">More...</a><br /></td></tr>
-<tr class="separator:ac7caee8468f12e87a70837a8f2e9685c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a76ae2ef87bc32c2f6466e7bc2dfad726"><td class="memItemLeft" align="right" valign="top">virtual const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a76ae2ef87bc32c2f6466e7bc2dfad726">getDiffPts</a> (Key &amp;var) override</td></tr>
-<tr class="memdesc:a76ae2ef87bc32c2f6466e7bc2dfad726"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get diff points to.  <a href="#a76ae2ef87bc32c2f6466e7bc2dfad726">More...</a><br /></td></tr>
-<tr class="separator:a76ae2ef87bc32c2f6466e7bc2dfad726"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae42379dbabbd66dfd91e305673788ed3"><td class="memItemLeft" align="right" valign="top">virtual bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3">computeDiffPts</a> (Key &amp;var, const DataSet &amp;all) override</td></tr>
-<tr class="separator:ae42379dbabbd66dfd91e305673788ed3"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:adb2c450f2c93fbf630d91b8c2697fa06"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#adb2c450f2c93fbf630d91b8c2697fa06">updatePropaPtsMap</a> (Key &amp;src, Key &amp;dst) override</td></tr>
-<tr class="separator:adb2c450f2c93fbf630d91b8c2697fa06"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aa00e0bfaf2d46f2aa83a37c7c9514edb"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa00e0bfaf2d46f2aa83a37c7c9514edb">clearPropaPts</a> (Key &amp;var) override</td></tr>
-<tr class="memdesc:aa00e0bfaf2d46f2aa83a37c7c9514edb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clear propagated points-to set of var.  <a href="#aa00e0bfaf2d46f2aa83a37c7c9514edb">More...</a><br /></td></tr>
-<tr class="separator:aa00e0bfaf2d46f2aa83a37c7c9514edb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3bad0126e25b0a7134e8ef25869bd40e"><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_1PersistentDiffPTData.html#a3bad0126e25b0a7134e8ef25869bd40e">getAllPts</a> (bool liveOnly) const override</td></tr>
-<tr class="separator:a3bad0126e25b0a7134e8ef25869bd40e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d752dc7b2967c924aece9d6a0a4636b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a1d752dc7b2967c924aece9d6a0a4636b">~PersistentDiffPTData</a> () override=default</td></tr>
+<tr class="separator:a1d752dc7b2967c924aece9d6a0a4636b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae7e3ba711b38a3fe382d690ee24d7912"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ae7e3ba711b38a3fe382d690ee24d7912">clear</a> () override</td></tr>
+<tr class="memdesc:ae7e3ba711b38a3fe382d690ee24d7912"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears all points-to sets as if nothing is stored.  <a href="#ae7e3ba711b38a3fe382d690ee24d7912">More...</a><br /></td></tr>
+<tr class="separator:ae7e3ba711b38a3fe382d690ee24d7912"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab1246073bd0e0395528f8ec53281e315"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">getPts</a> (const Key &amp;var) override</td></tr>
+<tr class="memdesc:ab1246073bd0e0395528f8ec53281e315"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get points-to set of var.  <a href="#ab1246073bd0e0395528f8ec53281e315">More...</a><br /></td></tr>
+<tr class="separator:ab1246073bd0e0395528f8ec53281e315"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7c34a171565b7eb45a54b6a8336a321d"><td class="memItemLeft" align="right" valign="top">const KeySet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a7c34a171565b7eb45a54b6a8336a321d">getRevPts</a> (const Data &amp;data) override</td></tr>
+<tr class="memdesc:a7c34a171565b7eb45a54b6a8336a321d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get reverse points-to set of a datum.  <a href="#a7c34a171565b7eb45a54b6a8336a321d">More...</a><br /></td></tr>
+<tr class="separator:a7c34a171565b7eb45a54b6a8336a321d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6b5160708567c63cf9acf0b204a1bcf7"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a6b5160708567c63cf9acf0b204a1bcf7">addPts</a> (const Key &amp;dstKey, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a6b5160708567c63cf9acf0b204a1bcf7"><td class="mdescLeft">&#160;</td><td class="mdescRight">Adds element to the points-to set associated with var.  <a href="#a6b5160708567c63cf9acf0b204a1bcf7">More...</a><br /></td></tr>
+<tr class="separator:a6b5160708567c63cf9acf0b204a1bcf7"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac8cb860b427962be8c6e1f17e5f0fc21"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac8cb860b427962be8c6e1f17e5f0fc21">unionPts</a> (const Key &amp;dstKey, const Key &amp;srcKey) override</td></tr>
+<tr class="memdesc:ac8cb860b427962be8c6e1f17e5f0fc21"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U pts(srcVar).  <a href="#ac8cb860b427962be8c6e1f17e5f0fc21">More...</a><br /></td></tr>
+<tr class="separator:ac8cb860b427962be8c6e1f17e5f0fc21"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af6ccac71f0232e46fef1da82cba01959"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#af6ccac71f0232e46fef1da82cba01959">unionPts</a> (const Key &amp;dstKey, const DataSet &amp;srcDataSet) override</td></tr>
+<tr class="memdesc:af6ccac71f0232e46fef1da82cba01959"><td class="mdescLeft">&#160;</td><td class="mdescRight">Performs pts(dstVar) = pts(dstVar) U srcDataSet.  <a href="#af6ccac71f0232e46fef1da82cba01959">More...</a><br /></td></tr>
+<tr class="separator:af6ccac71f0232e46fef1da82cba01959"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4a55644f32cf3ccddf85541f61bef5ff"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a4a55644f32cf3ccddf85541f61bef5ff">clearPts</a> (const Key &amp;var, const Data &amp;element) override</td></tr>
+<tr class="memdesc:a4a55644f32cf3ccddf85541f61bef5ff"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clears element from the points-to set of var.  <a href="#a4a55644f32cf3ccddf85541f61bef5ff">More...</a><br /></td></tr>
+<tr class="separator:a4a55644f32cf3ccddf85541f61bef5ff"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af686e607c3dd26a08a36c4212107d78d"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#af686e607c3dd26a08a36c4212107d78d">clearFullPts</a> (const Key &amp;var) override</td></tr>
+<tr class="memdesc:af686e607c3dd26a08a36c4212107d78d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Fully clears the points-to set of var.  <a href="#af686e607c3dd26a08a36c4212107d78d">More...</a><br /></td></tr>
+<tr class="separator:af686e607c3dd26a08a36c4212107d78d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac21d6571ec53a01ee93e0383e4afef78"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#ac21d6571ec53a01ee93e0383e4afef78">remapAllPts</a> () override</td></tr>
+<tr class="memdesc:ac21d6571ec53a01ee93e0383e4afef78"><td class="mdescLeft">&#160;</td><td class="mdescRight">Remaps all points-to sets to use the current mapping.  <a href="#ac21d6571ec53a01ee93e0383e4afef78">More...</a><br /></td></tr>
+<tr class="separator:ac21d6571ec53a01ee93e0383e4afef78"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a38a942cb65d87883433444ef8f2b986c"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a38a942cb65d87883433444ef8f2b986c">dumpPTData</a> () override</td></tr>
+<tr class="memdesc:a38a942cb65d87883433444ef8f2b986c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump stored keys and points-to sets.  <a href="#a38a942cb65d87883433444ef8f2b986c">More...</a><br /></td></tr>
+<tr class="separator:a38a942cb65d87883433444ef8f2b986c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a34819020692e33777fec59082269e8b4"><td class="memItemLeft" align="right" valign="top">const DataSet &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a34819020692e33777fec59082269e8b4">getDiffPts</a> (Key &amp;var) override</td></tr>
+<tr class="memdesc:a34819020692e33777fec59082269e8b4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get diff points to.  <a href="#a34819020692e33777fec59082269e8b4">More...</a><br /></td></tr>
+<tr class="separator:a34819020692e33777fec59082269e8b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0aa74ee810233d6f1da09d1e593c35d8"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a0aa74ee810233d6f1da09d1e593c35d8">computeDiffPts</a> (Key &amp;var, const DataSet &amp;all) override</td></tr>
+<tr class="separator:a0aa74ee810233d6f1da09d1e593c35d8"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa8c5694bcbf884bee43875433abc03c9"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#aa8c5694bcbf884bee43875433abc03c9">updatePropaPtsMap</a> (Key &amp;src, Key &amp;dst) override</td></tr>
+<tr class="separator:aa8c5694bcbf884bee43875433abc03c9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5ab578384889cf6e01b0e67d9b0e456e"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PersistentDiffPTData.html#a5ab578384889cf6e01b0e67d9b0e456e">clearPropaPts</a> (Key &amp;var) override</td></tr>
+<tr class="memdesc:a5ab578384889cf6e01b0e67d9b0e456e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Clear propagated points-to set of var.  <a href="#a5ab578384889cf6e01b0e67d9b0e456e">More...</a><br /></td></tr>
+<tr class="separator:a5ab578384889cf6e01b0e67d9b0e456e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a00d3ec19f1b669edee5af7757e03a0ef"><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_1PersistentDiffPTData.html#a00d3ec19f1b669edee5af7757e03a0ef">getAllPts</a> (bool liveOnly) const override</td></tr>
+<tr class="separator:a00d3ec19f1b669edee5af7757e03a0ef"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1DiffPTData"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1DiffPTData')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1DiffPTData.html">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a></td></tr>
 <tr class="memitem:ac7e9661cfb4d5af3ef35d323ddc35558 inherit pub_methods_classSVF_1_1DiffPTData"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DiffPTData.html#ac7e9661cfb4d5af3ef35d323ddc35558">DiffPTData</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::Diff)</td></tr>
 <tr class="separator:ac7e9661cfb4d5af3ef35d323ddc35558 inherit pub_methods_classSVF_1_1DiffPTData"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -383,7 +383,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
@@ -397,8 +397,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a311ada9c9a0376c71dae24841cc60b7a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a311ada9c9a0376c71dae24841cc60b7a">&#9670;&nbsp;</a></span>~PersistentDiffPTData()</h2>
+<a id="a1d752dc7b2967c924aece9d6a0a4636b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1d752dc7b2967c924aece9d6a0a4636b">&#9670;&nbsp;</a></span>~PersistentDiffPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -409,7 +409,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> </td>
+          <td class="memname"><a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::~<a class="el" href="classSVF_1_1PersistentDiffPTData.html">PersistentDiffPTData</a> </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -417,18 +417,16 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">virtual</span></span>  </td>
+<span class="mlabels"><span class="mlabel">override</span><span class="mlabel">default</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00215">215</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;{ }</div></div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Function Documentation</h2>
-<a id="a9f748619f67f3ff9c4c4a429e6614989"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9f748619f67f3ff9c4c4a429e6614989">&#9670;&nbsp;</a></span>addPts()</h2>
+<a id="a6b5160708567c63cf9acf0b204a1bcf7"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6b5160708567c63cf9acf0b204a1bcf7">&#9670;&nbsp;</a></span>addPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -439,7 +437,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::addPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -533,8 +531,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="fragment"><div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;    {</div><div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;        <span class="keywordflow">return</span> ptd-&gt;getPTDTY() == PTDataTy::PersDiff;</div><div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="a10504f854b1b390818f8ee12182d857c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a10504f854b1b390818f8ee12182d857c">&#9670;&nbsp;</a></span>clear()</h2>
+<a id="ae7e3ba711b38a3fe382d690ee24d7912"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae7e3ba711b38a3fe382d690ee24d7912">&#9670;&nbsp;</a></span>clear()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -545,7 +543,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clear </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -569,8 +567,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae4b558e119c7e3fae25a0b4509422c87"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae4b558e119c7e3fae25a0b4509422c87">&#9670;&nbsp;</a></span>clearFullPts()</h2>
+<a id="af686e607c3dd26a08a36c4212107d78d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af686e607c3dd26a08a36c4212107d78d">&#9670;&nbsp;</a></span>clearFullPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -581,7 +579,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearFullPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -604,8 +602,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aa00e0bfaf2d46f2aa83a37c7c9514edb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa00e0bfaf2d46f2aa83a37c7c9514edb">&#9670;&nbsp;</a></span>clearPropaPts()</h2>
+<a id="a5ab578384889cf6e01b0e67d9b0e456e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5ab578384889cf6e01b0e67d9b0e456e">&#9670;&nbsp;</a></span>clearPropaPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -616,7 +614,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPropaPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPropaPts </td>
           <td>(</td>
           <td class="paramtype">Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -641,8 +639,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ab01a663b665d629c15f3531f18b5abc2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab01a663b665d629c15f3531f18b5abc2">&#9670;&nbsp;</a></span>clearPts()</h2>
+<a id="a4a55644f32cf3ccddf85541f61bef5ff"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4a55644f32cf3ccddf85541f61bef5ff">&#9670;&nbsp;</a></span>clearPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -653,7 +651,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::clearPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -686,8 +684,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae42379dbabbd66dfd91e305673788ed3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae42379dbabbd66dfd91e305673788ed3">&#9670;&nbsp;</a></span>computeDiffPts()</h2>
+<a id="a0aa74ee810233d6f1da09d1e593c35d8"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0aa74ee810233d6f1da09d1e593c35d8">&#9670;&nbsp;</a></span>computeDiffPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -698,7 +696,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::computeDiffPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::computeDiffPts </td>
           <td>(</td>
           <td class="paramtype">Key &amp;&#160;</td>
           <td class="paramname"><em>var</em>, </td>
@@ -729,9 +727,9 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <p>Implements <a class="el" href="classSVF_1_1DiffPTData.html#a6eab8e1201083ed8705379e100cfb3b7">SVF::DiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00276">276</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> propaId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[var];</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> allId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">emplacePts</a>(all);</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="comment">// Diff is made up of the entire points-to set minus what has been propagated.</span></div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> diffId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">complementPts</a>(allId, propaId);</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <a class="code" href="classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22">diffPtsMap</a>[var] = diffId;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="comment">// We&#39;ve now propagated the entire thing.</span></div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[var] = allId;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="comment">// Whether diff is empty or not; just need to check against the ID since it</span></div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="comment">// is the only empty set.</span></div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">return</span> diffId != <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57">emptyPointsToId</a>();</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</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="fragment"><div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;    {</div><div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> propaId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[var];</div><div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> allId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a98d176e384469e0308bfee2061ef84b5">emplacePts</a>(all);</div><div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;        <span class="comment">// Diff is made up of the entire points-to set minus what has been propagated.</span></div><div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> diffId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a86bf6959fb5587e350015d58d529af14">complementPts</a>(allId, propaId);</div><div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        <a class="code" href="classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22">diffPtsMap</a>[var] = diffId;</div><div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;</div><div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="comment">// We&#39;ve now propagated the entire thing.</span></div><div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[var] = allId;</div><div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;</div><div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;        <span class="comment">// Whether diff is empty or not; just need to check against the ID since it</span></div><div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;        <span class="comment">// is the only empty set.</span></div><div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;        <span class="keywordflow">return</span> diffId != <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a921a4ef4c72ccde5724860f98ad62a57">emptyPointsToId</a>();</div><div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;    }</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_1PersistentDiffPTData_html_a444bc59754b4c365327b7ef44baadcd2"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData::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#l00323">PersistentPointsToDS.h:323</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_1PersistentDiffPTData_html_ac54339952e2734a6affdaa543fb3ed22"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22">SVF::PersistentDiffPTData::diffPtsMap</a></div><div class="ttdeci">KeyToIDMap diffPtsMap</div><div class="ttdoc">Diff points-to to be propagated. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00327">PersistentPointsToDS.h:327</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_1PersistentDiffPTData_html_abffb5c9cfe1e306ce524ef1dc5ff18ad"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">SVF::PersistentDiffPTData::propaPtsMap</a></div><div class="ttdeci">KeyToIDMap propaPtsMap</div><div class="ttdoc">Points-to already propagated. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00329">PersistentPointsToDS.h:329</a></div></div>
@@ -739,8 +737,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ac7caee8468f12e87a70837a8f2e9685c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac7caee8468f12e87a70837a8f2e9685c">&#9670;&nbsp;</a></span>dumpPTData()</h2>
+<a id="a38a942cb65d87883433444ef8f2b986c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a38a942cb65d87883433444ef8f2b986c">&#9670;&nbsp;</a></span>dumpPTData()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -751,7 +749,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::dumpPTData </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::dumpPTData </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td></td>
@@ -772,8 +770,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="fragment"><div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;    {</div><div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;        <span class="comment">// TODO.</span></div><div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
-<a id="a3bad0126e25b0a7134e8ef25869bd40e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3bad0126e25b0a7134e8ef25869bd40e">&#9670;&nbsp;</a></span>getAllPts()</h2>
+<a id="a00d3ec19f1b669edee5af7757e03a0ef"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a00d3ec19f1b669edee5af7757e03a0ef">&#9670;&nbsp;</a></span>getAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -784,7 +782,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;DataSet, unsigned&gt; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -806,8 +804,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a76ae2ef87bc32c2f6466e7bc2dfad726"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a76ae2ef87bc32c2f6466e7bc2dfad726">&#9670;&nbsp;</a></span>getDiffPts()</h2>
+<a id="a34819020692e33777fec59082269e8b4"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a34819020692e33777fec59082269e8b4">&#9670;&nbsp;</a></span>getDiffPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -818,7 +816,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getDiffPts </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getDiffPts </td>
           <td>(</td>
           <td class="paramtype">Key &amp;&#160;</td>
           <td class="paramname"><em>var</em></td><td>)</td>
@@ -838,14 +836,14 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00270">270</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;    {</div><div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> <span class="keywordtype">id</span> = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22">diffPtsMap</a>[var];</div><div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#ab2888b033a29de3af48d377dc2fe70aa">getActualPts</a>(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_a444bc59754b4c365327b7ef44baadcd2"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData::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#l00323">PersistentPointsToDS.h:323</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_1PersistentDiffPTData_html_ac54339952e2734a6affdaa543fb3ed22"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#ac54339952e2734a6affdaa543fb3ed22">SVF::PersistentDiffPTData::diffPtsMap</a></div><div class="ttdeci">KeyToIDMap diffPtsMap</div><div class="ttdoc">Diff points-to to be propagated. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00327">PersistentPointsToDS.h:327</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="a9982ecf42416756a0729a28e8713cfed"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9982ecf42416756a0729a28e8713cfed">&#9670;&nbsp;</a></span>getPts()</h2>
+<a id="ab1246073bd0e0395528f8ec53281e315"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab1246073bd0e0395528f8ec53281e315">&#9670;&nbsp;</a></span>getPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -856,7 +854,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getPts </td>
+          <td class="memname">const DataSet&amp; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -879,8 +877,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a7a12f89c0de40dbcb5fe48219a7c121b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7a12f89c0de40dbcb5fe48219a7c121b">&#9670;&nbsp;</a></span>getRevPts()</h2>
+<a id="a7c34a171565b7eb45a54b6a8336a321d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7c34a171565b7eb45a54b6a8336a321d">&#9670;&nbsp;</a></span>getRevPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -891,7 +889,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual const KeySet&amp; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::getRevPts </td>
+          <td class="memname">const KeySet&amp; <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -915,8 +913,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="add8c649853678b6c7acfa4217f1b7ee0"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#add8c649853678b6c7acfa4217f1b7ee0">&#9670;&nbsp;</a></span>remapAllPts()</h2>
+<a id="ac21d6571ec53a01ee93e0383e4afef78"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac21d6571ec53a01ee93e0383e4afef78">&#9670;&nbsp;</a></span>remapAllPts()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -927,9 +925,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::remapAllPts </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -947,12 +944,12 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 
 <p class="definition">Definition at line <a class="el" href="PersistentPointsToDS_8h_source.html#l00260">260</a> of file <a class="el" href="PersistentPointsToDS_8h_source.html">PersistentPointsToDS.h</a>.</p>
 <div class="fragment"><div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;    {</div><div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;        <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a89c4e8c8edcc6744f298e90d721a0745">remapAllPts</a>();</div><div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_a444bc59754b4c365327b7ef44baadcd2"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData::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#l00323">PersistentPointsToDS.h:323</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="a9cc43f58ea3be1b7fbc7df7cfe965c3c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9cc43f58ea3be1b7fbc7df7cfe965c3c">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/2]</span></h2>
+<a id="ac8cb860b427962be8c6e1f17e5f0fc21"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac8cb860b427962be8c6e1f17e5f0fc21">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[1/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -963,7 +960,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -996,8 +993,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="aa9aac7ff120abf87e7edfe233691f00f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#aa9aac7ff120abf87e7edfe233691f00f">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/2]</span></h2>
+<a id="af6ccac71f0232e46fef1da82cba01959"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af6ccac71f0232e46fef1da82cba01959">&#9670;&nbsp;</a></span>unionPts() <span class="overload">[2/2]</span></h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1008,7 +1005,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::unionPts </td>
+          <td class="memname">bool <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</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>
@@ -1041,8 +1038,8 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 </div><!-- fragment -->
 </div>
 </div>
-<a id="adb2c450f2c93fbf630d91b8c2697fa06"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#adb2c450f2c93fbf630d91b8c2697fa06">&#9670;&nbsp;</a></span>updatePropaPtsMap()</h2>
+<a id="aa8c5694bcbf884bee43875433abc03c9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa8c5694bcbf884bee43875433abc03c9">&#9670;&nbsp;</a></span>updatePropaPtsMap()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -1053,7 +1050,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">virtual void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updatePropaPtsMap </td>
+          <td class="memname">void <a class="el" href="classSVF_1_1PersistentDiffPTData.html">SVF::PersistentDiffPTData</a>&lt; Key, KeySet, Data, DataSet &gt;::updatePropaPtsMap </td>
           <td>(</td>
           <td class="paramtype">Key &amp;&#160;</td>
           <td class="paramname"><em>src</em>, </td>
@@ -1084,7 +1081,7 @@ template&lt;typename Key , typename KeySet , typename Data , typename DataSet &g
 <div class="fragment"><div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;    {</div><div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> dstId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[dst];</div><div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;        <a class="code" href="namespaceSVF.html#ae545a88267bd2246de827cf590675aca">PointsToID</a> srcId = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[src];</div><div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        <a class="code" href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">propaPtsMap</a>[dst] = <a class="code" href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">ptCache</a>.<a class="code" href="classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494">intersectPts</a>(dstId, srcId);</div><div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;    }</div><div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_a444bc59754b4c365327b7ef44baadcd2"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2">SVF::PersistentDiffPTData::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#l00323">PersistentPointsToDS.h:323</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_abffb5c9cfe1e306ce524ef1dc5ff18ad"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#abffb5c9cfe1e306ce524ef1dc5ff18ad">SVF::PersistentDiffPTData::propaPtsMap</a></div><div class="ttdeci">KeyToIDMap propaPtsMap</div><div class="ttdoc">Points-to already propagated. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00329">PersistentPointsToDS.h:329</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_1PersistentPointsToCache_html_a17d33558208c19019e541ee167009494"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494">SVF::PersistentPointsToCache::intersectPts</a></div><div class="ttdeci">PointsToID intersectPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Intersects lhs and rhs (lhs AND rhs) and returns the intersection&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00236">PersistentPointsToCache.h:236</a></div></div>
+<div class="ttc" id="classSVF_1_1PersistentPointsToCache_html_a17d33558208c19019e541ee167009494"><div class="ttname"><a href="classSVF_1_1PersistentPointsToCache.html#a17d33558208c19019e541ee167009494">SVF::PersistentPointsToCache::intersectPts</a></div><div class="ttdeci">PointsToID intersectPts(PointsToID lhs, PointsToID rhs)</div><div class="ttdoc">Intersects lhs and rhs (lhs AND rhs) and returns the intersection&amp;#39;s ID. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToCache_8h_source.html#l00235">PersistentPointsToCache.h:235</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>