svf-tools 1.0.284 → 1.0.285

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

@@ -88,13 +88,13 @@ $(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#l00159">PersistentPointsToDS.h:159</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#l00231">PersistentPointsToDS.h:231</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#l00758">PersistentPointsToDS.h:758</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#l00071">PersistentPointsToCache.h:71</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#l00070">PersistentPointsToCache.h:70</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#l00738">PersistentPointsToDS.h:738</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#l00302">PersistentPointsToDS.h:302</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#l00074">PersistentPointsToDS.h:74</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_afa828c0db9c030584e379e86cf0a25a9"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#afa828c0db9c030584e379e86cf0a25a9">SVF::PersistentDFPTData::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#l00345">PersistentPointsToDS.h:345</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_ad9ccba048d0c749d1c2cafc517f78181"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#ad9ccba048d0c749d1c2cafc517f78181">SVF::PersistentDFPTData::~PersistentDFPTData</a></div><div class="ttdeci">virtual ~PersistentDFPTData()</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00305">PersistentPointsToDS.h:305</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#l00246">SVFUtil.h:246</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#l00289">SVFUtil.h:289</a></div></div>
 <div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDiffPTData_html_afb53f0b47cdad94379c3a4895980be9c"><div class="ttname"><a href="classSVF_1_1PersistentDiffPTData.html#afb53f0b47cdad94379c3a4895980be9c">SVF::PersistentDiffPTData::classof</a></div><div class="ttdeci">static bool classof(const PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt; *)</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00267">PersistentPointsToDS.h:267</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a61b44f6d63cca013da2b278f47298473"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a61b44f6d63cca013da2b278f47298473">SVF::PersistentVersionedPTData::atPTData</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt; atPTData</div><div class="ttdoc">PTData for VersionedKeys (address-taken objects, generally). </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00841">PersistentPointsToDS.h:841</a></div></div>
@@ -104,7 +104,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#l00319">PersistentPointsToDS.h:319</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#l00340">PersistentPointsToDS.h:340</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#l00111">PersistentPointsToDS.h:111</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#l00094">PersistentPointsToCache.h:94</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#l00093">PersistentPointsToCache.h:93</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#l00279">PersistentPointsToDS.h:279</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#l00190">PersistentPointsToDS.h:190</a></div></div>
 <div class="ttc" id="SVFUtil_8h_html"><div class="ttname"><a href="SVFUtil_8h.html">SVFUtil.h</a></div></div>
@@ -146,11 +146,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#l00120">PersistentPointsToDS.h:120</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#l00015">PersistentPointsToDS.h:15</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#l00221">PersistentPointsToDS.h:221</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#l00086">PersistentPointsToCache.h:86</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#l00085">PersistentPointsToCache.h:85</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#l00685">PersistentPointsToDS.h:685</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#l00501">PersistentPointsToDS.h:501</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#l00753">PersistentPointsToDS.h:753</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#l00149">PersistentPointsToCache.h:149</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#l00148">PersistentPointsToCache.h:148</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#l00618">PersistentPointsToDS.h:618</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#l00178">PersistentPointsToDS.h:178</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#l00512">PersistentPointsToDS.h:512</a></div></div>
@@ -219,7 +219,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_ad4586331863d67e78c54d919694b58db"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#ad4586331863d67e78c54d919694b58db">SVF::PersistentVersionedPTData::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#l00726">PersistentPointsToDS.h:726</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_ad449df82589efb4c40affb5fdc46f479"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#ad449df82589efb4c40affb5fdc46f479">SVF::PersistentIncDFPTData::removeVarFromDFInUpdatedSet</a></div><div class="ttdeci">void removeVarFromDFInUpdatedSet(LocID loc, const Key &amp;var)</div><div class="ttdoc">Remove var from loc&amp;#39;s IN updated set. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00661">PersistentPointsToDS.h:661</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentDFPTData_html_a76d8a4f907269e9980f39c531806e96b"><div class="ttname"><a href="classSVF_1_1PersistentDFPTData.html#a76d8a4f907269e9980f39c531806e96b">SVF::PersistentDFPTData::LocID</a></div><div class="ttdeci">BaseDFPTData::LocID LocID</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00298">PersistentPointsToDS.h:298</a></div></div>
-<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aee74719d33695e4da6fee5fc83f745d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9">SVF::SVFUtil::removeKey</a></div><div class="ttdeci">void removeKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Removes an element from a Set/CondSet (or anything implementing ::erase). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00259">SVFUtil.h:259</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_aee74719d33695e4da6fee5fc83f745d9"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#aee74719d33695e4da6fee5fc83f745d9">SVF::SVFUtil::removeKey</a></div><div class="ttdeci">void removeKey(const Key &amp;key, KeySet &amp;keySet)</div><div class="ttdoc">Removes an element from a Set/CondSet (or anything implementing ::erase). </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00302">SVFUtil.h:302</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentIncDFPTData_html_a5b015e6801e4320e45e7942f9db82a42"><div class="ttname"><a href="classSVF_1_1PersistentIncDFPTData.html#a5b015e6801e4320e45e7942f9db82a42">SVF::PersistentIncDFPTData::updateDFInFromIn</a></div><div class="ttdeci">virtual bool updateDFInFromIn(LocID srcLoc, const Key &amp;srcVar, LocID dstLoc, const Key &amp;dstVar) override</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00517">PersistentPointsToDS.h:517</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentVersionedPTData_html_a2ee473a1654b7d134a602268a2b70248"><div class="ttname"><a href="classSVF_1_1PersistentVersionedPTData.html#a2ee473a1654b7d134a602268a2b70248">SVF::PersistentVersionedPTData::VersionedKeyToIDMap</a></div><div class="ttdeci">PersistentPTData&lt; VersionedKey, VersionedKeySet, Data, DataSet &gt;::KeyToIDMap VersionedKeyToIDMap</div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00731">PersistentPointsToDS.h:731</a></div></div>
 <div class="ttc" id="classSVF_1_1PersistentPTData_html_a916017f2cc924b10e72120d1d87afd34"><div class="ttname"><a href="classSVF_1_1PersistentPTData.html#a916017f2cc924b10e72120d1d87afd34">SVF::PersistentPTData::getRevPts</a></div><div class="ttdeci">virtual const KeySet &amp; getRevPts(const Data &amp;data) override</div><div class="ttdoc">Get reverse points-to set of a datum. </div><div class="ttdef"><b>Definition:</b> <a href="PersistentPointsToDS_8h_source.html#l00054">PersistentPointsToDS.h:54</a></div></div>
@@ -247,7 +247,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#l00040">PersistentPointsToDS.h:40</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#l00644">PersistentPointsToDS.h:644</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#l00504">PersistentPointsToDS.h:504</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#l00208">PersistentPointsToCache.h:208</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#l00207">PersistentPointsToCache.h:207</a></div></div>
 </div><!-- fragment --></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>

package/SVF-doxygen/html/html/PointerAnalysisImpl_8cpp.html

@@ -66,10 +66,10 @@ $(function() {
 <div class="title">PointerAnalysisImpl.cpp File Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
-<div class="textblock"><code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
-<code>#include &quot;<a class="el" href="PointerAnalysisImpl_8h_source.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</code><br />
+<div class="textblock"><code>#include &quot;<a class="el" href="PointerAnalysisImpl_8h_source.html">MemoryModel/PointerAnalysisImpl.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="CPPUtil_8h_source.html">SVF-FE/CPPUtil.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="DCHG_8h_source.html">SVF-FE/DCHG.h</a>&quot;</code><br />
+<code>#include &quot;<a class="el" href="Options_8h_source.html">Util/Options.h</a>&quot;</code><br />
 <code>#include &quot;<a class="el" href="IRAnnotator_8h_source.html">Util/IRAnnotator.h</a>&quot;</code><br />
 <code>#include &lt;fstream&gt;</code><br />
 <code>#include &lt;sstream&gt;</code><br />