npm - svf-tools - Versions diffs - 1.0.270 → 1.0.274 - Mend

svf-tools 1.0.270 → 1.0.274

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (126) hide show

package/SVF-doxygen/html/html/functions_func.html CHANGED Viewed

@@ -71,13 +71,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#af6fa424cd7518b330a6017839a789bf6">SVF::SVFGOPT</a>
 </li>
 <li>ActualINSVFGNode()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a87c09762ee4041068e6ab946ad626c15">SVF::ActualINSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa32f5275f25d39d97b5047352858c326">SVF::ActualINSVFGNode</a>
 </li>
 <li>actualOutOfIndCS()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a79c435e456474b41e4402c2c9c269fc9">SVF::SVFGOPT</a>
 </li>
 <li>ActualOUTSVFGNode()
-: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a179a2aab9b5e81a0aed7611dc89de6ea">SVF::ActualOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#acca65d56457f7c4c7f7b30bf4b3e78d0">SVF::ActualOUTSVFGNode</a>
 </li>
 <li>ActualParmVFGNode()
 : <a class="el" href="classSVF_1_1ActualParmVFGNode.html#ace169bed651f146af4237b407bfab64d">SVF::ActualParmVFGNode</a>
@@ -86,10 +86,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ActualRetVFGNode.html#adc425f00b03e7a59725161ce1a78b349">SVF::ActualRetVFGNode</a>
 </li>
 <li>addActualINSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#aeb28ef81c525e96113a9d25417660bfd">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ab6dfac64a363550ef51df246849a13aa">SVF::SVFG</a>
 </li>
 <li>addActualOUTSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#a7c9675943c20c2ca42779f1cf91cb06d">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#acc0c102c3773b7d8abb23959fb64ffa4">SVF::SVFG</a>
 </li>
 <li>addActualParms()
 : <a class="el" href="classSVF_1_1CallBlockNode.html#accb3aa1ea4667f594f2623660239fb38">SVF::CallBlockNode</a>
@@ -332,10 +332,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a6e2ebab64fd01e40e7100162fe544b04">SVF::ThreadCallGraph</a>
 </li>
 <li>addFormalINSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#a5936a637df12548f1f7e5f1ecfb5cd0d">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#aee7cd64ac52d2ae930ab527325a77a30">SVF::SVFG</a>
 </li>
 <li>addFormalOUTSVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#a56111524c2dd12c260e6efc11c463886">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#ae54becb2073591bce004f820cd13b1ca">SVF::SVFG</a>
 </li>
 <li>addFormalParms()
 : <a class="el" href="classSVF_1_1FunEntryBlockNode.html#ac1a828ebeeab311c73485ffc7b0e5867">SVF::FunEntryBlockNode</a>
@@ -497,7 +497,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab28428444170091d2c65572263b9f40b">SVF::LockAnalysis</a>
 </li>
 <li>addIntraMSSAPHISVFGNode()
-: <a class="el" href="classSVF_1_1SVFG.html#a57f191467850d66c71e1b9768e11fb57">SVF::SVFG</a>
+: <a class="el" href="classSVF_1_1SVFG.html#a0554abe7c072b66ab24a900284646572">SVF::SVFG</a>
 </li>
 <li>addIntraPHIVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a85dc35e83a5699382ead67728e94273c">SVF::VFG</a>

package/SVF-doxygen/html/html/functions_func_f.html CHANGED Viewed

@@ -140,13 +140,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6eeec9fa475316f52689728a1af7bd05">SVF::SVFGOPT</a>
 </li>
 <li>FormalINSVFGNode()
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a0614472524b36f3a9b5bd2fa8c1428d6">SVF::FormalINSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a109121a6d83e2c3b09bd3e4de0e61fa8">SVF::FormalINSVFGNode</a>
 </li>
 <li>formalOutOfAddressTakenFunc()
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a86cb63258b49077587d44ba45d023f02">SVF::SVFGOPT</a>
 </li>
 <li>FormalOUTSVFGNode()
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#aa96f36893822b1c9898cee5c5946fbfa">SVF::FormalOUTSVFGNode</a>
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#aeab06b16f89bb9a50d4812d3d50791dc">SVF::FormalOUTSVFGNode</a>
 </li>
 <li>FormalParmVFGNode()
 : <a class="el" href="classSVF_1_1FormalParmVFGNode.html#a4f51e718a8519f6edcee627cdd51b272">SVF::FormalParmVFGNode</a>

package/SVF-doxygen/html/html/functions_func_g.html CHANGED Viewed

@@ -295,9 +295,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31">SVF::RetBlockNode</a>
 , <a class="el" href="classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3">SVF::TCT</a>
 </li>
-<li>getCallCHI()
-: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a83e97bb3480d328b40dd10e2aee16d81">SVF::ActualOUTSVFGNode</a>
-</li>
 <li>getCalledFunction()
 : <a class="el" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">SVF::CallSite</a>
 </li>
@@ -357,9 +354,6 @@ $(function() {
 <li>getCallInstToCallGraphEdgesMap()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629">SVF::PTACallGraph</a>
 </li>
-<li>getCallMU()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a1a4123d33d6679f4d755bd80d5864338">SVF::ActualINSVFGNode</a>
-</li>
 <li>getCallSite()
 : <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">SVF::ActualINSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">SVF::ActualOUTSVFGNode</a>
@@ -793,9 +787,6 @@ $(function() {
 <li>getElemNumStridePairVect()
 : <a class="el" href="classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020">SVF::FieldInfo</a>
 </li>
-<li>getEntryChi()
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a0513488897639a039aca803d046e512a">SVF::FormalINSVFGNode</a>
-</li>
 <li>getEntryNode()
 : <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
@@ -969,12 +960,18 @@ $(function() {
 <li>getFunEntryICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925">SVF::ICFG</a>
 </li>
+<li>getFunEntryNode()
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25">SVF::FormalINSVFGNode</a>
+</li>
 <li>getFunExitBlockNode()
 : <a class="el" href="classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb">SVF::ICFG</a>
 </li>
 <li>getFunExitICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19">SVF::ICFG</a>
 </li>
+<li>getFunExitNode()
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3">SVF::FormalOUTSVFGNode</a>
+</li>
 <li>getFunMRSet()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879">SVF::MRGenerator</a>
 </li>
@@ -1081,6 +1078,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438">SVF::CondExpr</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
+<li>getID()
+: <a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer</a>
+</li>
 <li>getIDFSet()
 : <a class="el" href="classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22">SVF::IteratedDominanceFrontier</a>
 </li>
@@ -1413,13 +1413,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">SVF::IntraDisjointMRG</a>
 </li>
 <li>getMRVer()
-: <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">SVF::IndirectSVFGEdge</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">SVF::ActualOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">SVF::FormalINSVFGNode</a>
+, <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">SVF::FormalOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">SVF::IndirectSVFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18">SVF::IntraMSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">SVF::MSSAMU&lt; Cond &gt;</a>
 </li>
 <li>getMSSA()
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1846,12 +1852,12 @@ $(function() {
 <li>getRes()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3">SVF::MSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode</a>
 </li>
 <li>getResVer()
 : <a class="el" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>getRet()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode</a>
@@ -1863,11 +1869,8 @@ $(function() {
 <li>getRetICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
-<li>getRetMU()
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a9c87808fceeb4b2166a7301c0b2c988d">SVF::FormalOUTSVFGNode</a>
-</li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1889,7 +1892,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2012,7 +2015,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2054,10 +2057,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1MemObj.html#ad7f7de744715c3acaf3d48822865c87b">SVF::MemObj</a>
 </li>
 <li>getTaskDataAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a58cf56e35be873a5a26c5eb0d9b5c9b3">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2212,9 +2215,6 @@ $(function() {
 <li>getVarsForType()
 : <a class="el" href="classSVF_1_1TypeSystem.html#a4e0aa8f26c1a7c51706acbba3f6642b8">SVF::TypeSystem</a>
 </li>
-<li>getVer()
-: <a class="el" href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">SVF::MSSAMU&lt; Cond &gt;</a>
-</li>
 <li>getVersion()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a08fbc3ede8007689dcde37d56003650e">SVF::VersionedFlowSensitive</a>
@@ -2283,10 +2283,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a6ea3f8e2aa85ea588735514c0b6ff255">SVF::VersionedFlowSensitive</a>
 </li>
 <li>global_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a4dc32c583d29d74d052eaa5665b0b70e">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#af81c6deed3978562f83f120119c6aad2">SVF::SVFModule</a>
 </li>
 <li>global_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a8a34164634d6ad9a7b76175907c8c44b">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#afa9068e662918f6649d5ca25340a3ae2">SVF::SVFModule</a>
 </li>
 <li>GlobalBlockNode()
 : <a class="el" href="classSVF_1_1GlobalBlockNode.html#a233fceb667e517862fd97d50832a4d7e">SVF::GlobalBlockNode</a>

package/SVF-doxygen/html/html/functions_func_i.html CHANGED Viewed

@@ -281,7 +281,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraIndSVFGEdge.html#ab2b1f7610737c6f0a5a94b8a7e629110">SVF::IntraIndSVFGEdge</a>
 </li>
 <li>IntraMSSAPHISVFGNode()
-: <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a043a27cd82b2eb92d7c82641c719ad82">SVF::IntraMSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d">SVF::IntraMSSAPHISVFGNode</a>
 </li>
 <li>IntraPHIVFGNode()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3">SVF::IntraPHIVFGNode</a>

package/SVF-doxygen/html/html/functions_func_m.html CHANGED Viewed

@@ -232,7 +232,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSAPHI.html#aee5c6d2b7e3985b9fa1802c66f74fab1">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>MSSAPHISVFGNode()
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ab7848321c1ab4bc8d9fefb1f2391d73c">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>MTA()
 : <a class="el" href="classSVF_1_1MTA.html#ab25d605ed6040a9ad6ed6fcec4e8d338">SVF::MTA</a>

package/SVF-doxygen/html/html/functions_func_o.html CHANGED Viewed

@@ -272,6 +272,7 @@ $(function() {
 <li>opVerBegin()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">SVF::MSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369">SVF::PHIVFGNode</a>
@@ -280,6 +281,7 @@ $(function() {
 <li>opVerEnd()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf">SVF::MSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
@@ -290,10 +292,10 @@ $(function() {
 , <a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager</a>
 </li>
 <li>OutEdgeBegin()
-: <a class="el" href="classSVF_1_1GenericNode.html#a50219c203fb5a8a44fe22428699f26e7">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#aa4f103330118c8976bf95e4bf53416eb">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>OutEdgeEnd()
-: <a class="el" href="classSVF_1_1GenericNode.html#ace88b6c7561f61f747ff08f61e2c18bc">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
+: <a class="el" href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
 <li>outgoingAddrEdges()
 : <a class="el" href="classSVF_1_1ConstraintNode.html#ae5acdc3bd73974b6972b60fb3df5e0ea">SVF::ConstraintNode</a>

package/SVF-doxygen/html/html/functions_g.html CHANGED Viewed

@@ -371,9 +371,6 @@ $(function() {
 , <a class="el" href="classSVF_1_1RetBlockNode.html#a6f47c3169f64fb7637b544ec1faf6f31">SVF::RetBlockNode</a>
 , <a class="el" href="classSVF_1_1TCT.html#a60a74209bd04b2c42fadee5c31e527d3">SVF::TCT</a>
 </li>
-<li>getCallCHI()
-: <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a83e97bb3480d328b40dd10e2aee16d81">SVF::ActualOUTSVFGNode</a>
-</li>
 <li>getCalledFunction()
 : <a class="el" href="classSVF_1_1CallSite.html#ae9b0172e29199f2a938d7cf9e42241cf">SVF::CallSite</a>
 </li>
@@ -433,9 +430,6 @@ $(function() {
 <li>getCallInstToCallGraphEdgesMap()
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a368306a46d84ccc6d07d94833aded629">SVF::PTACallGraph</a>
 </li>
-<li>getCallMU()
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a1a4123d33d6679f4d755bd80d5864338">SVF::ActualINSVFGNode</a>
-</li>
 <li>getCallSite()
 : <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aaf7e2a52f8e70bb5dda80b3616f207aa">SVF::ActualINSVFGNode</a>
 , <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a929e15d57bc95e6314be714ae0034c0c">SVF::ActualOUTSVFGNode</a>
@@ -869,9 +863,6 @@ $(function() {
 <li>getElemNumStridePairVect()
 : <a class="el" href="classSVF_1_1FieldInfo.html#adb7b7aca7740ae0dcec583d3fbbbf020">SVF::FieldInfo</a>
 </li>
-<li>getEntryChi()
-: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a0513488897639a039aca803d046e512a">SVF::FormalINSVFGNode</a>
-</li>
 <li>getEntryNode()
 : <a class="el" href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a>
 , <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867">llvm::GraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a>
@@ -1045,12 +1036,18 @@ $(function() {
 <li>getFunEntryICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a5d75af18ed4228b89a4bb4e2b0b97925">SVF::ICFG</a>
 </li>
+<li>getFunEntryNode()
+: <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a9772743379ba322ed5b95f32ae39cf25">SVF::FormalINSVFGNode</a>
+</li>
 <li>getFunExitBlockNode()
 : <a class="el" href="classSVF_1_1ICFG.html#aa33426d57dc150956902945a17a29bcb">SVF::ICFG</a>
 </li>
 <li>getFunExitICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#a63479291b885344630ebf024d537ac19">SVF::ICFG</a>
 </li>
+<li>getFunExitNode()
+: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a844cc5b0a88501ba6e3a5a0bbce72fb3">SVF::FormalOUTSVFGNode</a>
+</li>
 <li>getFunMRSet()
 : <a class="el" href="classSVF_1_1MRGenerator.html#a64ba36ddcd304f6543e416c552763879">SVF::MRGenerator</a>
 </li>
@@ -1157,6 +1154,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondExpr.html#adef8b04d84d8882a2db68e5acab20438">SVF::CondExpr</a>
 , <a class="el" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; NodeTy, EdgeTy &gt;</a>
 </li>
+<li>getID()
+: <a class="el" href="classSVF_1_1MRVer.html#a45b70add039a7f134e8d44bfc6b8f0bc">SVF::MRVer</a>
+</li>
 <li>getIDFSet()
 : <a class="el" href="classSVF_1_1IteratedDominanceFrontier.html#a9469ee9a9a7712a261076c9a747b6a22">SVF::IteratedDominanceFrontier</a>
 </li>
@@ -1489,13 +1489,19 @@ $(function() {
 : <a class="el" href="classSVF_1_1IntraDisjointMRG.html#a9caabaac320e8a28bb7176f8da285f1f">SVF::IntraDisjointMRG</a>
 </li>
 <li>getMRVer()
-: <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">SVF::IndirectSVFGEdge</a>
+: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#aa92b36228a6f42496984cfea32f3415c">SVF::ActualINSVFGNode</a>
+, <a class="el" href="classSVF_1_1ActualOUTSVFGNode.html#a3e3a14a042d75e5613eb049a9eb4fac5">SVF::ActualOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1FormalINSVFGNode.html#a07e23637c89164add5fc3ea52b250735">SVF::FormalINSVFGNode</a>
+, <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#ad2e841a18b777220c2b13f38289d6168">SVF::FormalOUTSVFGNode</a>
+, <a class="el" href="classSVF_1_1IndirectSVFGEdge.html#ac08d8b88c44881d87c1299d18c943ace">SVF::IndirectSVFGEdge</a>
+, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a9d4b2b8d343796bb465cc5a138eb3f18">SVF::IntraMSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAMU.html#ad120dfc87b90b26649bcd8d0c0d3ca80">SVF::MSSAMU&lt; Cond &gt;</a>
 </li>
 <li>getMSSA()
 : <a class="el" href="classSVF_1_1SVFG.html#a49a910bc4ea6e98d1584e74a018badc9">SVF::SVFG</a>
 </li>
 <li>getMUSet()
-: <a class="el" href="classSVF_1_1MemSSA.html#aea0fc1d2e5407f86e0211d8e253fa24e">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a59392ba4cc987f5fefa4eca0ebe411fe">SVF::MemSSA</a>
 </li>
 <li>getMutDFPTDataTy()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#acbb979edee9427efa2a7c0dbd881c483">SVF::BVDataPTAImpl</a>
@@ -1922,12 +1928,12 @@ $(function() {
 <li>getRes()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#a1fa8795102bc6c1d6bac1b55b7542eea">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#aa972ecfb264d447fecf0326037bbccbe">SVF::CmpVFGNode</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a771568239e438c8a823ef7da49a9ebc3">SVF::MSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#abd54e567a0826bbec277302e0c4f78a2">SVF::PHIVFGNode</a>
 , <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae7947adec032ed072c50cf49f9d12259">SVF::UnaryOPVFGNode</a>
 </li>
 <li>getResVer()
 : <a class="el" href="classSVF_1_1MSSADEF.html#a21cb532396180e0b6bab515c52bec282">SVF::MSSADEF</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9ea963b7773c7d0b42ccf81e58a54a50">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>getRet()
 : <a class="el" href="classSVF_1_1FormalRetVFGNode.html#a62a894e71fcf7a3db19c0488d96a7262">SVF::FormalRetVFGNode</a>
@@ -1939,11 +1945,8 @@ $(function() {
 <li>getRetICFGNode()
 : <a class="el" href="classSVF_1_1ICFG.html#ae3bd3bf29b3dac286b93be22cbb60b2c">SVF::ICFG</a>
 </li>
-<li>getRetMU()
-: <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a9c87808fceeb4b2166a7301c0b2c988d">SVF::FormalOUTSVFGNode</a>
-</li>
 <li>getRetParmAtJoinedSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ad1c595f7b15a2d3079b9e9200c84f7d7">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a5439ef32c909b02c83cbd30eb0a0fe12">SVF::ThreadAPI</a>
 </li>
 <li>getRetSite()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a2a4c2d573b43f005ae668bffc7fc911d">SVF::ProgSlice</a>
@@ -1965,7 +1968,7 @@ $(function() {
 </li>
 <li>getRevPts()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a58113943e4e7144d94d26991dcc8bcc7">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#aa266eef30817c557882de19aefe135a9">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a0da0602c5b260afaba4bef1abcbcf7b3">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDFPTData.html#a2f98940bd8266ad37a975c6d30d948b4">SVF::MutableDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutableDiffPTData.html#ad9bd6762fc6525afaed4a6c6da63688d">SVF::MutableDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1MutablePTData.html#a36aa05b8f5c308035315d6df7036c096">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
@@ -2088,7 +2091,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ade6a90ed5e0a9e8615bafec54d9d1d73">SVF::ConstraintGraph</a>
 </li>
 <li>getSuccNodes()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a7033805052c8fae5cd0104fdd9e345c0">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a8164ae39b494115142767abc29cebd53">SVF::MTASVFGBuilder</a>
 </li>
 <li>getSVFFun()
 : <a class="el" href="classSVF_1_1PCG.html#ac7dd2bbd4274a5e3a6427f3b674f99ba">SVF::PCG</a>
@@ -2133,7 +2136,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ThreadAPI.html#aee8fac6281a95d8a519add100e8887d1">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#afeedd6e518af76fa9e7142af8899b2f5">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a282d6aeab91135af4cab8195d67badf6">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2288,9 +2291,6 @@ $(function() {
 <li>getVarsForType()
 : <a class="el" href="classSVF_1_1TypeSystem.html#a4e0aa8f26c1a7c51706acbba3f6642b8">SVF::TypeSystem</a>
 </li>
-<li>getVer()
-: <a class="el" href="classSVF_1_1MSSAMU.html#a9c701be3646f4a04fa7f71a82e6b2f5f">SVF::MSSAMU&lt; Cond &gt;</a>
-</li>
 <li>getVersion()
 : <a class="el" href="classSVF_1_1DummyVersionPropSVFGNode.html#af9f0eaf33502af1533dd1244a383d561">SVF::DummyVersionPropSVFGNode</a>
 , <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a08fbc3ede8007689dcde37d56003650e">SVF::VersionedFlowSensitive</a>

package/SVF-doxygen/html/html/functions_i.html CHANGED Viewed

@@ -387,12 +387,12 @@ $(function() {
 <li>Inst2LabelMap
 : <a class="el" href="classSVF_1_1PAGEdge.html#aea1cb2d45d301eea27d451241fa8ddd1">SVF::PAGEdge</a>
 </li>
-<li>Inst2PAGEdgesMap
-: <a class="el" href="classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7">SVF::PAG</a>
-</li>
 <li>inst2PAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#ace643a606d59eb972d0f55590745bd5f">SVF::PAG</a>
 </li>
+<li>Inst2PAGEdgesMap
+: <a class="el" href="classSVF_1_1PAG.html#a8fb39e9156bb5cf07dc2329bfcfcd6f7">SVF::PAG</a>
+</li>
 <li>inst2PTAPAGEdgesMap
 : <a class="el" href="classSVF_1_1PAG.html#a925ccfc7169d5c03bffbe945dedc90b6">SVF::PAG</a>
 </li>
@@ -562,7 +562,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1Options.html#a1bc10a5947bf3912c6f22e094ccac464">SVF::Options</a>
 </li>
 <li>IntraMSSAPHISVFGNode()
-: <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a043a27cd82b2eb92d7c82641c719ad82">SVF::IntraMSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#abe0faa3d40bf16ac0937324035d3323d">SVF::IntraMSSAPHISVFGNode</a>
 </li>
 <li>IntraPHIVFGNode()
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a65222075e49bb88601a6f1ac51cdace3">SVF::IntraPHIVFGNode</a>

package/SVF-doxygen/html/html/functions_m.html CHANGED Viewed

@@ -559,7 +559,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1MSSAPHI.html#aee5c6d2b7e3985b9fa1802c66f74fab1">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>MSSAPHISVFGNode()
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ab7848321c1ab4bc8d9fefb1f2391d73c">SVF::MSSAPHISVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#aec8a372f9024af27a87c5b43e4dc633d">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>MSSAVarToDefMap
 : <a class="el" href="classSVF_1_1SVFG.html#aafa1b445bd3578daaba8f82e517745f1">SVF::SVFG</a>
@@ -583,10 +583,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ae0cbe965ddbc511fb10e87fe8ae3912f">SVF::MTASVFGBuilder</a>
 , <a class="el" href="classSVF_1_1SVFG.html#ac0e43f4a2043538c9046f95826caa725">SVF::SVFG</a>
 </li>
-<li>mu
-: <a class="el" href="classSVF_1_1ActualINSVFGNode.html#a04adf013b9a50583841b2cf62f978295">SVF::ActualINSVFGNode</a>
-, <a class="el" href="classSVF_1_1FormalOUTSVFGNode.html#a14445344f2354b4752807642c4401c10">SVF::FormalOUTSVFGNode</a>
-</li>
 <li>MU
 : <a class="el" href="classSVF_1_1MemSSA.html#a2b4f3b19b32ac61dd1932faa82b93d8b">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#a7f4deffe7e13352b8c13eab110c834cc">SVF::SVFG</a>

package/SVF-doxygen/html/html/functions_o.html CHANGED Viewed

@@ -332,12 +332,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a74c50cfaf788a828a4fc97eba703ec4e">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a90e4c4ead1cbdca01c0be801a68b005b">SVF::CondStdSet&lt; Element &gt;</a>
 </li>
-<li>OPIncomingBBs
-: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
-</li>
 <li>opIncomingBBs
 : <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a73f39a488ad82300010abd18afe247a4">SVF::IntraPHIVFGNode</a>
 </li>
+<li>OPIncomingBBs
+: <a class="el" href="classSVF_1_1IntraPHIVFGNode.html#a66928f6cc755bd2a048804d00f859a80">SVF::IntraPHIVFGNode</a>
+</li>
 <li>OpIt
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#aa3fd4dca27e09df9ee726879624ae47e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
@@ -356,6 +356,7 @@ $(function() {
 <li>opVerBegin()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#adaff45c46c4cc8158bd3147d304deab5">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#a78fb624f0ca9ff16e6a8e5fd1c384904">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#aff4e88ef6569d3c4f29b532d610cd2b9">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a940f9afa26bf54c7175276ea27003c2f">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#ace39549f7e300cb4a0ac7b8506a8632a">SVF::MSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#a2e00f6d582aa4ac9aa116cc6d5c79369">SVF::PHIVFGNode</a>
@@ -364,6 +365,7 @@ $(function() {
 <li>opVerEnd()
 : <a class="el" href="classSVF_1_1BinaryOPVFGNode.html#aed5a32d1a145df7007ba7d934e4c2bd4">SVF::BinaryOPVFGNode</a>
 , <a class="el" href="classSVF_1_1CmpVFGNode.html#ae5ba94ffae500168f0e5c1b1ce78af9c">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1IntraMSSAPHISVFGNode.html#a5e78faceb497b0f3cb6f8f1a9fc4f799">SVF::IntraMSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1MSSAPHI.html#a2a49ad9d2eedf1dea98d725b13878d88">SVF::MSSAPHI&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a33ec42a011781bbb63dce6dbe5f88bdf">SVF::MSSAPHISVFGNode</a>
 , <a class="el" href="classSVF_1_1PHIVFGNode.html#add18c60773871744123d12a037e78e20">SVF::PHIVFGNode</a>
@@ -380,27 +382,25 @@ $(function() {
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1CmpVFGNode.html#aae30d80fd848d62467476d21c691573c">SVF::CmpVFGNode</a>
+, <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1MSSAPHI.html#a622892bb1c3c151e646ae1a46838c3ba">SVF::MSSAPHI&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
 </li>
 <li>opVers
-: <a class="el" href="classSVF_1_1MSSAPHI.html#abdabd6dff67cd59622f18d48e8b34271">SVF::MSSAPHI&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
-</li>
-<li>OPVers
-: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a300f37203eb84fc57e005c27ce0422fb">SVF::MSSAPHISVFGNode</a>
-</li>
-<li>opVers
-: <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
+: <a class="el" href="classSVF_1_1MSSAPHISVFGNode.html#a9c327923ab939e06877441ebde5c1139">SVF::MSSAPHISVFGNode</a>
+, <a class="el" href="classSVF_1_1PHIVFGNode.html#a08ccd55d0fb6ce33f69959349008daca">SVF::PHIVFGNode</a>
 </li>
 <li>OPVers
 : <a class="el" href="classSVF_1_1PHIVFGNode.html#a44ba5254e5f4def007c99916cd58668c">SVF::PHIVFGNode</a>
-, <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
 </li>
 <li>opVers
 : <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#ae6fdb5759a0dfeb0635ffd758b752dc1">SVF::UnaryOPVFGNode</a>
 </li>
+<li>OPVers
+: <a class="el" href="classSVF_1_1UnaryOPVFGNode.html#af96b598342bbcbcd739e2603acfc5a41">SVF::UnaryOPVFGNode</a>
+</li>
 <li>OR()
 : <a class="el" href="classSVF_1_1BranchCondManager.html#a7f3fa5e90c08950099ff6f05e96ecb9c">SVF::BranchCondManager</a>
 , <a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">SVF::CondManager</a>

package/SVF-doxygen/html/html/functions_p.html CHANGED Viewed

@@ -201,12 +201,12 @@ $(function() {
 <li>PAGPrint
 : <a class="el" href="classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80">SVF::Options</a>
 </li>
-<li>pagReadFromTxt
-: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
-</li>
 <li>pagReadFromTXT()
 : <a class="el" href="classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570">SVF::SVFModule</a>
 </li>
+<li>pagReadFromTxt
+: <a class="el" href="classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f">SVF::SVFModule</a>
+</li>
 <li>pairheadmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e">SVF::MTASVFGBuilder</a>
 </li>
@@ -422,12 +422,12 @@ $(function() {
 <li>PHI
 : <a class="el" href="classSVF_1_1MemSSA.html#a8e948ea7778158107657fdd8195530e1">SVF::MemSSA</a>
 </li>
-<li>PHINodeMap
-: <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
-</li>
 <li>phiNodeMap
 : <a class="el" href="classSVF_1_1PAG.html#af3158e346a519beca6aebf6c9092efc0">SVF::PAG</a>
 </li>
+<li>PHINodeMap
+: <a class="el" href="classSVF_1_1PAG.html#aaf91fa0a5807355e276eeaeee0638aea">SVF::PAG</a>
+</li>
 <li>PHISet
 : <a class="el" href="classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f">SVF::MemSSA</a>
 , <a class="el" href="classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05">SVF::SVFG</a>
@@ -891,13 +891,11 @@ $(function() {
 </li>
 <li>PTAVector
 : <a class="el" href="classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
 </li>
 <li>ptaVector
 : <a class="el" href="classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446">SVF::WPAPass</a>
 </li>
-<li>PTAVector
-: <a class="el" href="classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e">SVF::WPAPass</a>
-</li>
 <li>PTBackingType
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a">SVF::BVDataPTAImpl</a>
 </li>
@@ -953,18 +951,18 @@ $(function() {
 <li>PTRONLYSVFG_OPT
 : <a class="el" href="classSVF_1_1VFG.html#ac2e2f555975063da3fa1932ac35802c6a8ed0b9aea88fbbbe91f33301bea0c9dd">SVF::VFG</a>
 </li>
-<li>ptrToBVPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
-</li>
 <li>PtrToBVPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#aba828ca8e2aa2bd71b78be8b45a48c9b">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
-<li>ptrToCPtsMap
-: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
+<li>ptrToBVPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a30b9ee7b1dcd04285f92cf7accd05b2e">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
 <li>PtrToCPtsMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a5043e9d9255d31777d038c48c809bb09">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>
+<li>ptrToCPtsMap
+: <a class="el" href="classSVF_1_1CondPTAImpl.html#a61167fcdb2005090de1b38e53450431a">SVF::CondPTAImpl&lt; Cond &gt;</a>
+</li>
 <li>PtrToNSMap
 : <a class="el" href="classSVF_1_1CondPTAImpl.html#a838c3f2be39d278072f7a9df7c0bcb4d">SVF::CondPTAImpl&lt; Cond &gt;</a>
 </li>