svf-tools 1.0.310 → 1.0.314

package/SVF-doxygen/html/html/PersistentPointsToDS_8h_source.html

@@ -89,7 +89,7 @@ $(function() {
 <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#l00183">PersistentPointsToDS.h:183</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_a76ae2ef87bc32c2f6466e7bc2dfad726"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a76ae2ef87bc32c2f6466e7bc2dfad726">SVF::PersistentDiffPTData::getDiffPts</a></div><div class="ttdeci">virtual const DataSet &amp; getDiffPts(Key &amp;var) override</div><div class="ttdoc">Get diff points to. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00260">PersistentPointsToDS.h:260</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a2adcebb6cf561eb00e3e05d486c86a9c"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a2adcebb6cf561eb00e3e05d486c86a9c">SVF::PersistentVersionedPTData::getVersionedKeyRevPts</a></div><div class="ttdeci">virtual const VersionedKeySet &amp; getVersionedKeyRevPts(const Data &amp;data) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00830">PersistentPointsToDS.h:830</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#l00080">PersistentPointsToCache.h:80</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#l00086">PersistentPointsToCache.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_ac563829c0d6d091c905bfe16580ceb47"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#ac563829c0d6d091c905bfe16580ceb47">SVF::PersistentVersionedPTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00810">PersistentPointsToDS.h:810</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a85e0aec789ea945bd4cfa9e29189d1b4"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a85e0aec789ea945bd4cfa9e29189d1b4">SVF::PersistentDFPTData::PersistentDFPTData</a></div><div class="ttdeci">PersistentDFPTData(PersistentPointsToCache&lt; DataSet &gt; &amp;cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDataFlow)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00336">PersistentPointsToDS.h:336</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a9414aeb024e2c367b9777522aadd5d83"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a9414aeb024e2c367b9777522aadd5d83">SVF::PersistentPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const Key &amp;dstKey, const DataSet &amp;srcData) override</div><div class="ttdoc">Performs pts(dstVar) = pts(dstVar) U srcDataSet. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00075">PersistentPointsToDS.h:75</a></div></div>
@@ -105,7 +105,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a50c3d871edb13ac5b3f0d625deb6449a"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a50c3d871edb13ac5b3f0d625deb6449a">SVF::PersistentDFPTData::getRevPts</a></div><div class="ttdeci">virtual const KeySet &amp; getRevPts(const Data &amp;) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00353">PersistentPointsToDS.h:353</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_af64c6a2c0a1b2044fac56a69e9db7cff"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#af64c6a2c0a1b2044fac56a69e9db7cff">SVF::PersistentDFPTData::clearPts</a></div><div class="ttdeci">virtual void clearPts(const Key &amp;var, const Data &amp;element) override</div><div class="ttdoc">Clears element from the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00374">PersistentPointsToDS.h:374</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a4e896ec87d07e5b75401de4367d67458"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a4e896ec87d07e5b75401de4367d67458">SVF::PersistentPTData::classof</a></div><div class="ttdeci">static bool classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00135">PersistentPointsToDS.h:135</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#l00103">PersistentPointsToCache.h:103</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#l00109">PersistentPointsToCache.h:109</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#l00313">PersistentPointsToDS.h:313</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_ac4b8dc40514b50a77565a385b9a13ca5"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#ac4b8dc40514b50a77565a385b9a13ca5">SVF::PersistentVersionedPTData::unionPts</a></div><div class="ttdeci">virtual bool unionPts(const VersionedKey &amp;dstVar, const DataSet &amp;srcDataSet) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00865">PersistentPointsToDS.h:865</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_a9982ecf42416756a0729a28e8713cfed"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a9982ecf42416756a0729a28e8713cfed">SVF::PersistentDiffPTData::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#l00214">PersistentPointsToDS.h:214</a></div></div>
@@ -113,7 +113,7 @@ $(function() {
 <div class="ttc" id="SVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afc28b40eea7bad5276bbab30749d598b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afc28b40eea7bad5276bbab30749d598b">SVF::PersistentDFPTData::getDFInPtIdRef</a></div><div class="ttdeci">PointsToID &amp; getDFInPtIdRef(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00546">PersistentPointsToDS.h:546</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a5e8036d18088ed272ab052b5cd6ef1ce"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a5e8036d18088ed272ab052b5cd6ef1ce">SVF::PersistentIncDFPTData::clear</a></div><div class="ttdeci">virtual void clear() override</div><div class="ttdoc">Clears all points-to sets as if nothing is stored. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00702">PersistentPointsToDS.h:702</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#l00324">PersistentPointsToCache.h:324</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#l00330">PersistentPointsToCache.h:330</a></div></div>
 <div class="ttc" id="classSVF_1_1DFPTData_html"><div class="ttname"><a href="classSVF_1_1DFPTData.html">SVF::DFPTData</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00160">AbstractPointsToDS.h:160</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_ae42379dbabbd66dfd91e305673788ed3"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#ae42379dbabbd66dfd91e305673788ed3">SVF::PersistentDiffPTData::computeDiffPts</a></div><div class="ttdeci">virtual bool computeDiffPts(Key &amp;var, const DataSet &amp;all) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00266">PersistentPointsToDS.h:266</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_aff3437089686869faa772c44bca753b6"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#aff3437089686869faa772c44bca753b6">SVF::PersistentPTData::clearFullPts</a></div><div class="ttdeci">virtual void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00099">PersistentPointsToDS.h:99</a></div></div>
@@ -139,7 +139,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a656434f7b67aabf25f6dba400d95f2bb"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a656434f7b67aabf25f6dba400d95f2bb">SVF::PersistentIncDFPTData::classof</a></div><div class="ttdeci">static bool classof(const PersistentIncDFPTData&lt; Key, KeySet, Data, DataSet &gt; *)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00711">PersistentPointsToDS.h:711</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a10221452ea6ffed4ae51a9c6f9dc1e93"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a10221452ea6ffed4ae51a9c6f9dc1e93">SVF::PersistentPTData::clearPts</a></div><div class="ttdeci">virtual void clearPts(const Key &amp;var, const Data &amp;element) override</div><div class="ttdoc">Clears element from the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00085">PersistentPointsToDS.h:85</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_ac008ee5f7e4d286f9e76d85989358305"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305">SVF::PersistentDiffPTData::RevPtsMap</a></div><div class="ttdeci">BasePersPTData::RevPtsMap RevPtsMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00199">PersistentPointsToDS.h:199</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#l00069">PersistentPointsToCache.h:69</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#l00075">PersistentPointsToCache.h:75</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a67a72d34b62884dee72e0b48b07a7e9f"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a67a72d34b62884dee72e0b48b07a7e9f">SVF::PersistentDFPTData::updateAllDFInFromOut</a></div><div class="ttdeci">virtual bool updateAllDFInFromOut(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdoc">Union (IN[dstLoc::dstVar], OUT[srcLoc:srcVar]. There is no flag check, unlike the above...</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00447">PersistentPointsToDS.h:447</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#l00185">PersistentPointsToDS.h:185</a></div></div>
 <div class="ttc" id="classSVF_1_1PTData_html"><div class="ttname"><a href="classSVF_1_1PTData.html">SVF::PTData</a></div><div class="ttdef"><b>Definition:</b> <a href="AbstractPointsToDS_8h_source.html#l00040">AbstractPointsToDS.h:40</a></div></div>
@@ -148,11 +148,11 @@ $(function() {
 <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#l00144">PersistentPointsToDS.h:144</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html">SVF::PersistentDFPTData</a></div><div class="ttdoc">DFPTData backed by a PersistentPointsToCache. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00016">PersistentPointsToDS.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_ae4b558e119c7e3fae25a0b4509422c87"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#ae4b558e119c7e3fae25a0b4509422c87">SVF::PersistentDiffPTData::clearFullPts</a></div><div class="ttdeci">virtual void clearFullPts(const Key &amp;var) override</div><div class="ttdoc">Fully clears the points-to set of var. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00245">PersistentPointsToDS.h:245</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#l00095">PersistentPointsToCache.h:95</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#l00101">PersistentPointsToCache.h:101</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_aa9f6b38595cabbb583c52217188457e8"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#aa9f6b38595cabbb583c52217188457e8">SVF::PersistentIncDFPTData::setVarDFOutSetUpdated</a></div><div class="ttdeci">void setVarDFOutSetUpdated(LocID loc, const Key &amp;var)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00757">PersistentPointsToDS.h:757</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a7751d9831519f8021626630dce499b1a"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a7751d9831519f8021626630dce499b1a">SVF::PersistentIncDFPTData::BasePTData</a></div><div class="ttdeci">PTData&lt; Key, KeySet, Data, DataSet &gt; BasePTData</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00573">PersistentPointsToDS.h:573</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_aafa09ff01060e43f08278963179eec30"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#aafa09ff01060e43f08278963179eec30">SVF::PersistentVersionedPTData::getRevPts</a></div><div class="ttdeci">virtual const KeySet &amp; getRevPts(const Data &amp;data) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00825">PersistentPointsToDS.h:825</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#l00158">PersistentPointsToCache.h:158</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#l00164">PersistentPointsToCache.h:164</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a815a7c54c1533f16c3efd0796044afc2"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a815a7c54c1533f16c3efd0796044afc2">SVF::PersistentIncDFPTData::clearAllDFOutUpdatedVar</a></div><div class="ttdeci">virtual void clearAllDFOutUpdatedVar(LocID loc) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00690">PersistentPointsToDS.h:690</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_a18f90b2f4e54b47c4d6f2d50886a4411"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#a18f90b2f4e54b47c4d6f2d50886a4411">SVF::PersistentDiffPTData::PersistentDiffPTData</a></div><div class="ttdeci">PersistentDiffPTData(PersistentPointsToCache&lt; DataSet &gt; &amp;cache, bool reversePT=true, PTDataTy ty=PTDataTy::PersDiff)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00202">PersistentPointsToDS.h:202</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a495fede1f68c53956df3c033ef349940"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a495fede1f68c53956df3c033ef349940">SVF::PersistentIncDFPTData::PersistentIncDFPTData</a></div><div class="ttdeci">PersistentIncDFPTData(PersistentPointsToCache&lt; DataSet &gt; &amp;cache, bool reversePT=true, PTDataTy ty=BasePTData::PersIncDataFlow)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00584">PersistentPointsToDS.h:584</a></div></div>
@@ -258,7 +258,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a66a9367f0b965d18be8bb1247e1c2548"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a66a9367f0b965d18be8bb1247e1c2548">SVF::PersistentPTData::~PersistentPTData</a></div><div class="ttdeci">virtual ~PersistentPTData()</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00041">PersistentPointsToDS.h:41</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a47c2fbf8b959aae3166b9757b12880a7"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a47c2fbf8b959aae3166b9757b12880a7">SVF::PersistentIncDFPTData::classof</a></div><div class="ttdeci">static bool classof(const PTData&lt; Key, KeySet, Data, DataSet &gt; *ptd)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00716">PersistentPointsToDS.h:716</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_abce6fa91fed789ef25146440ee10872b"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#abce6fa91fed789ef25146440ee10872b">SVF::PersistentIncDFPTData::BasePersDFPTData</a></div><div class="ttdeci">PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt; BasePersDFPTData</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00576">PersistentPointsToDS.h:576</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#l00217">PersistentPointsToCache.h:217</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#l00223">PersistentPointsToCache.h:223</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>