svf-tools 1.0.855 → 1.0.857

package/SVF-doxygen/html/functions_func_~.html

@@ -112,12 +112,6 @@ $(function() {
 <li>~CFBasicBlockGraph()
 : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#af025ac00db2493720d8170fb08f237d4">SVF::CFBasicBlockGraph</a>
 </li>
-<li>~CFBasicBlockGWTO()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae611a47e1f7c41dba63577a1435b56bd">SVF::CFBasicBlockGWTO</a>
-</li>
-<li>~CFBasicBlockGWTOComp()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#aeed5f13a504b5348e10801de7d20f50c">SVF::CFBasicBlockGWTOComp</a>
-</li>
 <li>~CFLBase()
 : <a class="el" href="classSVF_1_1CFLBase.html#a9bcd55546fc9ec1fbbac2b257ffa3243">SVF::CFLBase</a>
 </li>
@@ -580,11 +574,17 @@ $(function() {
 <li>~WPASolver()
 : <a class="el" href="classSVF_1_1WPASolver.html#a99571af72e62bcf535a05095835bddfb">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>~WTOCycleDepth()
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a9d23c459bac6e9f3b64ec0233065ba61">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+<li>~WTO()
+: <a class="el" href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">SVF::WTO&lt; GraphT &gt;</a>
 </li>
-<li>~WTOVisitor()
-: <a class="el" href="classSVF_1_1WTOVisitor.html#af970a9f973fb8fbf6640a5bde15a8a40">SVF::WTOVisitor</a>
+<li>~WTOComponent()
+: <a class="el" href="classSVF_1_1WTOComponent.html#a7e5a6a71bd7d7ff1d39c1a8f2395c351">SVF::WTOComponent&lt; GraphT &gt;</a>
+</li>
+<li>~WTOComponentVisitor()
+: <a class="el" href="classSVF_1_1WTOComponentVisitor.html#a89da4723a4218e42ccfe142db1322097">SVF::WTOComponentVisitor&lt; GraphT &gt;</a>
+</li>
+<li>~WTOCycleDepth()
+: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a1208cd4c5a880905df4031bf610bd0bb">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>~Z3Expr()
 : <a class="el" href="classSVF_1_1Z3Expr.html#ab7310d0e1e92a0150fde7c7aae961f9d">SVF::Z3Expr</a>

package/SVF-doxygen/html/functions_g.html

@@ -655,7 +655,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDG.html#a61c0aa5c27014d3e20d7d6ec6ace9216">SVF::CDG</a>
 </li>
 <li>getCDN()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>getCFBasicBlockEdge()
 : <a class="el" href="classSVF_1_1CFBasicBlockGraph.html#a5feb9a73d517a2be4eac0d7dddfedef8">SVF::CFBasicBlockGraph</a>
@@ -1627,12 +1627,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymState.html#a2916e86763235f565f2a3276631d0d30">SVF::SymState</a>
 </li>
 <li>getKind()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a906097ba3f14728a1e3e0f7f8d8218a6">SVF::CFBasicBlockGWTOComp</a>
-, <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
+: <a class="el" href="classSVF_1_1CommonCHGraph.html#adf2a02fff9d7dd9fc9d92121e5e28f8b">SVF::CommonCHGraph</a>
 , <a class="el" href="classSVF_1_1PTACallGraph.html#ac6a294ec1c88862c8f7d54000f04e1f7">SVF::PTACallGraph</a>
 , <a class="el" href="classSVF_1_1SVFType.html#a4bc7962d519c1c0380b5a6a144c91c51">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SVFValue.html#a2ba3206a8461ef82713264e235128826">SVF::SVFValue</a>
 , <a class="el" href="classSVF_1_1VFG.html#ad63c3c11162ba107a6338fb24f9018d7">SVF::VFG</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#acb129a6e7dc72b347f21325fbfe970b1">SVF::WTOComponent&lt; GraphT &gt;</a>
 </li>
 <li>getKindToAttrsMap()
 : <a class="el" href="classSVF_1_1CFLGraphBuilder.html#aa3fb91f78b5d9e2c0eb24e4986a5926c">SVF::CFLGraphBuilder</a>
@@ -2251,7 +2251,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFInstruction.html#a51c967b9e808b077562fbf25a04bafdc">SVF::SVFInstruction</a>
 </li>
 <li>getPredMap()
-: <a class="el" href="classSVF_1_1POCRSolver.html#a9cb6c06d4e9ede63c22637d9a230a584">SVF::POCRSolver</a>
+: <a class="el" href="classSVF_1_1POCRSolver.html#a585aa205c1da08d33aac52552a8a1a75">SVF::POCRSolver</a>
 </li>
 <li>getPreds()
 : <a class="el" href="classSVF_1_1POCRSolver.html#a7445cae0169e04f898798a75aa737177">SVF::POCRSolver</a>
@@ -2331,7 +2331,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1PersistentDFPTData.html#a2adbaa59c46d611a448594b74745e986">SVF::PersistentDFPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentDiffPTData.html#ab1246073bd0e0395528f8ec53281e315">SVF::PersistentDiffPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1PersistentPTData.html#a82621bb9b53ccb479cb7278df9a4e366">SVF::PersistentPTData&lt; Key, KeySet, Data, DataSet &gt;</a>
-, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#abcfcbbb3fab89b89168409c1f714e1ed">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
+, <a class="el" href="classSVF_1_1PersistentVersionedPTData.html#ae705d46ac78d39f0779c0bf05e39f8b3">SVF::PersistentVersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#a4dfb43679e9fa794ebad99b6584c32ec">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1PTData.html#a9ae6037637d8b9acb323333f491f4a7d">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1Steensgaard.html#adbcb9af660ab9bb0202bd32342280486">SVF::Steensgaard</a>
@@ -2345,7 +2345,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MutablePTData.html#a8838058efe94b62553bb5416fdc2ec5b">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
 <li>getPtsSubSetMap()
-: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ad0640ef6e02d9a90964ca495c0fd8f53">SVF::IntraDisjointMRG</a>
+: <a class="el" href="classSVF_1_1IntraDisjointMRG.html#ae3c857c056f4e6e863843bafba7fdea1">SVF::IntraDisjointMRG</a>
 </li>
 <li>getRangeLimitFromType()
 : <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#afbb9ff1f2c47d2afda117bf63a80a1a7">SVF::SVFIR2ItvExeState</a>
@@ -2641,7 +2641,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1POCRSolver.html#aac57a7a39ba314e5f16977848417e652">SVF::POCRSolver</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>getSuccs()
 : <a class="el" href="classSVF_1_1POCRSolver.html#ac3ee0745b684b851c3bac9b55bcbb7b9">SVF::POCRSolver</a>
@@ -2659,7 +2659,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#a25821b0feeb3b08e00ec9d444520b727">SVF::LLVMModuleSet</a>
 </li>
 <li>getSVFFunction()
-: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a6ff4127e778810f613e594782643ad22">SVF::LLVMModuleSet</a>
+: <a class="el" href="classSVF_1_1LLVMModuleSet.html#a50fc24901350df9db890ba16a9b87e33">SVF::LLVMModuleSet</a>
 , <a class="el" href="classSVF_1_1SVFModule.html#afdb11f5fcbb6e7ed2689e3387bb78850">SVF::SVFModule</a>
 </li>
 <li>getSVFG()
@@ -2746,14 +2746,11 @@ $(function() {
 <li>getSymbolInfo()
 : <a class="el" href="classSVF_1_1IRGraph.html#a9f7c24325d897b598d6b989fdc4aae1e">SVF::IRGraph</a>
 </li>
-<li>getTails()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">SVF::CFBasicBlockGWTO</a>
-</li>
 <li>getTaskDataAtHareParForSite()
 : <a class="el" href="classSVF_1_1ThreadAPI.html#a8c6617f2df59ff166b13242060707013">SVF::ThreadAPI</a>
 </li>
 <li>getTaskFuncAtHareParForSite()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#ab15b12637a557b53b92e9087eaf66cd6">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#ae72d7dcd1e0836e5d1c5a2c682abe31c">SVF::ThreadAPI</a>
 </li>
 <li>getTCG()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a8ad9b8cb0e6300b2ffc55244e53cece6">SVF::ForkJoinAnalysis</a>
@@ -2767,7 +2764,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#a6ac3c91742a6e9088c4e9cf1b7d2f42e">SVF::TCT</a>
 </li>
 <li>getTCTNode()
-: <a class="el" href="classSVF_1_1TCT.html#aac9d98a33fbaa6defa3f847d0bbe76d6">SVF::TCT</a>
+: <a class="el" href="classSVF_1_1TCT.html#a7b4ad0b052e1f8b6869733eef15f4e4d">SVF::TCT</a>
 </li>
 <li>getTCTNodeNum()
 : <a class="el" href="classSVF_1_1TCT.html#af03bfeae7e09a9f62d96ba59632e588f">SVF::TCT</a>
@@ -2844,7 +2841,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1DCHNode.html#ac77edc44c3c5acc185c27c018837d066">SVF::DCHNode</a>
 </li>
 <li>getTypeInfo()
-: <a class="el" href="classSVF_1_1SVFType.html#af25ae6ae537f65f96917a66ce1bb3cf1">SVF::SVFType</a>
+: <a class="el" href="classSVF_1_1SVFType.html#a05850c17c2dbe42e5602dc8c9a70f3bd">SVF::SVFType</a>
 , <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5dc699aa85fe879eb4b2c9109cf3030d">SVF::SymbolTableInfo</a>
 </li>
 <li>getTypeLocSetsMap()
@@ -2853,9 +2850,6 @@ $(function() {
 <li>getTypeOfElement()
 : <a class="el" href="classSVF_1_1SVFArrayType.html#a28da1169748e38b891133b76568a2759">SVF::SVFArrayType</a>
 </li>
-<li>getTypeSystem()
-: <a class="el" href="classSVF_1_1PointerAnalysis.html#ae615dd279fbf681e3c15e7209e3adfbe">SVF::PointerAnalysis</a>
-</li>
 <li>getUnaryOPVFGNode()
 : <a class="el" href="classSVF_1_1VFG.html#a1ba67eb17437a1a47c230614c1e3d9fd">SVF::VFG</a>
 </li>
@@ -2993,10 +2987,6 @@ $(function() {
 : <a class="el" href="classSVF_1_1CallSite.html#a9b04a0f24be915a6e124106060225a3d">SVF::CallSite</a>
 , <a class="el" href="classSVF_1_1SVFVirtualCallInst.html#a0a012c8124abb103852e081fd5dead7a">SVF::SVFVirtualCallInst</a>
 </li>
-<li>getWTOCycleDepth()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#a0efb4902bc6933e28b042edf6fc3f94c">SVF::CFBasicBlockGWTO::TailBuilder</a>
-</li>
 <li>getYield()
 : <a class="el" href="classSVF_1_1VersionedFlowSensitive.html#a01a199e9fdb5759c7f78ee344dbc413c">SVF::VersionedFlowSensitive</a>
 </li>
@@ -3130,6 +3120,9 @@ $(function() {
 <li>graphSize()
 : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a309cc7faf9df46d2c9bfeaa2bdcd4601">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; * &gt;</a>
 </li>
+<li>GraphTWTOCycleDepth
+: <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">SVF::WTO&lt; GraphT &gt;</a>
+</li>
 <li>Graphtxt
 : <a class="el" href="classSVF_1_1Options.html#a53f783c80f368bcdca6c7620229d6f8e">SVF::Options</a>
 </li>

package/SVF-doxygen/html/functions_h.html

@@ -503,7 +503,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ICFG.html#a29fb70d6638765ce291c5a8a11fbea64">SVF::ICFG</a>
 </li>
 <li>hasThreadJoinEdge()
-: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a5f7c92af1a4ce33e4746f5b65c9c8421">SVF::ThreadCallGraph</a>
+: <a class="el" href="classSVF_1_1ThreadCallGraph.html#a98214e970762f43d0e9ad719961b4021">SVF::ThreadCallGraph</a>
 </li>
 <li>hasThreadStmtSet()
 : <a class="el" href="classSVF_1_1MHP.html#a27d031e9c7c4706d7ee1750668e83b99">SVF::MHP</a>
@@ -532,19 +532,22 @@ $(function() {
 <li>HBPair
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019">SVF::ForkJoinAnalysis</a>
 </li>
-<li>head()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#aba6a1249015322f073e05fcf089da801">SVF::CFBasicBlockGWTOCycle</a>
-, <a class="el" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">SVF::List&lt; Data &gt;</a>
+<li>head
+: <a class="el" href="classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a">SVF::List&lt; Data &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycle.html#ace60ecb07603681de5c3020d0d3c5079">SVF::WTOCycle&lt; GraphT &gt;</a>
 </li>
 <li>headBegin()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>headEnd()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>headmap
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1">SVF::MTASVFGBuilder</a>
 </li>
+<li>headRefToCycle
+: <a class="el" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">SVF::WTO&lt; GraphT &gt;</a>
+</li>
 <li>HEAP_OBJ
 : <a class="el" href="classSVF_1_1ObjTypeInfo.html#a91b41b7ade5871362b77a2ef566b2830a692b4b0df23bad19ea04d18b01bf445c">SVF::ObjTypeInfo</a>
 </li>

package/SVF-doxygen/html/functions_i.html

@@ -162,6 +162,12 @@ $(function() {
 <li>icfgWriter
 : <a class="el" href="classSVF_1_1SVFIRWriter.html#aba5c3c3b62687a28301e9c65555e57f9">SVF::SVFIRWriter</a>
 </li>
+<li>ICFGWTO()
+: <a class="el" href="classSVF_1_1ICFGWTO.html#aa8a472a41196fd7537908665c631dcbb">SVF::ICFGWTO</a>
+</li>
+<li>ICFGWTONode
+: <a class="el" href="classSVF_1_1ICFGWTO.html#aebed373baddc2aa1c74b9e7aff501a2c">SVF::ICFGWTO</a>
+</li>
 <li>ICMP_EQ
 : <a class="el" href="classSVF_1_1CmpStmt.html#ad8e01744bfd98d584661025ce59338acafa5a0ab60aff74a8d653c3f9fac04936">SVF::CmpStmt</a>
 </li>
@@ -256,18 +262,21 @@ $(function() {
 <li>IdxOperandPair
 : <a class="el" href="classSVF_1_1AccessPath.html#a4f482ca73cc6e7b8d946651e2b2ea2ae">SVF::AccessPath</a>
 </li>
-<li>idxOperandPairs
-: <a class="el" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">SVF::AccessPath</a>
-</li>
 <li>IdxOperandPairs
 : <a class="el" href="classSVF_1_1AccessPath.html#a04ca154a70f40999a6a28c505bfd942d">SVF::AccessPath</a>
 </li>
+<li>idxOperandPairs
+: <a class="el" href="classSVF_1_1AccessPath.html#a47855e8ab3bba692f443903b58618229">SVF::AccessPath</a>
+</li>
 <li>IgnoreDeadFun
 : <a class="el" href="classSVF_1_1Options.html#a00f3c4c53e6ade73f7667231c394c5d7">SVF::Options</a>
 </li>
 <li>IN
 : <a class="el" href="classSVF_1_1FlowSensitiveStat.html#ab11996ab5606f51c977b9b1385c13d71ad0b57a5d90c72b67337a68c04ae34739">SVF::FlowSensitiveStat</a>
 </li>
+<li>in_cycleDepth_table()
+: <a class="el" href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">SVF::WTO&lt; GraphT &gt;</a>
+</li>
 <li>inBackwardSlice()
 : <a class="el" href="classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">SVF::ProgSlice</a>
 , <a class="el" href="classSVF_1_1SVFGStat.html#a6e68486e02db81cbbedc942ace3e9590">SVF::SVFGStat</a>
@@ -399,6 +408,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#aec8b923a0da580113a13bf94ffb3ebd7">SVF::RaceResultValidator</a>
 , <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a5771df69ffa75b6103a32c8bd48ef488">SVF::SaberCheckerAPI</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a4535862f26efff9f45236000507932c9">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1WTO.html#a12d50323eaa2d40925699232beb37747">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>initCFBasicBlockGNodes()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a43c0cba051306acc6440f60165b835e6">SVF::CFBasicBlockGBuilder</a>
@@ -516,9 +526,6 @@ $(function() {
 <li>inloop
 : <a class="el" href="classSVF_1_1CxtThread.html#a2066520689094db3c4a88f5a7fc4ec0c">SVF::CxtThread</a>
 </li>
-<li>inNodeToCycleDepth()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d">SVF::CFBasicBlockGWTO</a>
-</li>
 <li>inRecurJoinSites
 : <a class="el" href="classSVF_1_1TCT.html#a1b3872361dc17aaea359db8ce0cc2431">SVF::TCT</a>
 </li>
@@ -1088,7 +1095,7 @@ $(function() {
 , <a class="el" href="classOptionMap.html#a9efba3b88013aa1745f47ab42d71c726">OptionMap&lt; T &gt;</a>
 </li>
 <li>isFClose()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a970676d884d66da9fce00fe5b60c96ba">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a534bfe077af19b111c1b7bc3c5a065e6">SVF::SaberCheckerAPI</a>
 </li>
 <li>isFieldInsenCondMemObj()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#a37a6321f50bef2939b287cc088e76170">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
@@ -1113,7 +1120,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1PCG.html#a767a7ea009067e7f82bb70b29688a144">SVF::PCG</a>
 </li>
 <li>isFOpen()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a50b572a89b800c3520f77d6f1094c066">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a0977378f6f2a782041c97912762deb5f">SVF::SaberCheckerAPI</a>
 </li>
 <li>isForksite()
 : <a class="el" href="classSVF_1_1ThreadCallGraph.html#a07d3db6ffe8d75effd6fbc3856c484fe">SVF::ThreadCallGraph</a>
@@ -1159,7 +1166,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1MHP.html#a6f07427b45991b2d8a3ff21582121d23">SVF::MHP</a>
 </li>
 <li>isHead()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a605c2cb15b3c3ff2581d5f2d0a4719a7">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>isHeadofSpan()
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a5c32c2f5038aab15ec2da50c7c99b405">SVF::MTASVFGBuilder</a>
@@ -1222,7 +1229,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CxtThread.html#a39230596cd1c927353eaaee071eb16c6">SVF::CxtThread</a>
 </li>
 <li>isInLoop()
-: <a class="el" href="classSVF_1_1ICFG.html#ac0600b9ff2521ec2b205dc35c276397d">SVF::ICFG</a>
+: <a class="el" href="classSVF_1_1ICFG.html#ae115e70bf53f25c0ca6b1f22acccf5b5">SVF::ICFG</a>
 , <a class="el" href="classSVF_1_1SVFLoop.html#af2433fcc43f4e22fdf97ca2672a5dfa3">SVF::SVFLoop</a>
 </li>
 <li>isInloop()
@@ -1239,7 +1246,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1LockAnalysis.html#aa759d7cf2aa537a375daef4c637e597e">SVF::LockAnalysis</a>
 </li>
 <li>isInSameCSSpan()
-: <a class="el" href="classSVF_1_1LockAnalysis.html#a1c23ab16b5c7ab5bb482a5828e615bbb">SVF::LockAnalysis</a>
+: <a class="el" href="classSVF_1_1LockAnalysis.html#a8595b976bf60d161561e5494257aa179">SVF::LockAnalysis</a>
 </li>
 <li>isInSameSpan()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#a1c1b63a8bd7449ebeb2c31b0532e9337">SVF::LockAnalysis</a>
@@ -1315,7 +1322,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1TCT.html#ab6c2beac6b9f1e4fc1fdd4d657232389">SVF::TCT</a>
 </li>
 <li>isMemAlloc()
-: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a512741dffe68d4bbb761c5c178ea8c67">SVF::SaberCheckerAPI</a>
+: <a class="el" href="classSVF_1_1SaberCheckerAPI.html#a71cbe5fbf582d0801f604595d3dfb416">SVF::SaberCheckerAPI</a>
 </li>
 <li>isMemcpy()
 : <a class="el" href="classSVF_1_1MTAAnnotator.html#aee9e5ebac543d9a2aab511410b047898">SVF::MTAAnnotator</a>
@@ -1487,12 +1494,12 @@ $(function() {
 <li>isSigned()
 : <a class="el" href="classSVF_1_1SVFIntegerType.html#a535874e5c49f686dd6ae99304ecd6821">SVF::SVFIntegerType</a>
 </li>
-<li>IsSimple
-: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
-</li>
 <li>isSimple()
 : <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">SVF::DefaultDOTGraphTraits</a>
 </li>
+<li>IsSimple
+: <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626">SVF::DefaultDOTGraphTraits</a>
+</li>
 <li>isSingleFieldObj()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a38fd07dd86f6187a7671f9f85565fccc">SVF::ConstraintGraph</a>
 </li>
@@ -1574,23 +1581,23 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#adea2bf196a9717c252f33f2707510d12">SVF::SingleAbsValue</a>
 </li>
 <li>isTailofSpan()
-: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#af8ea2da28e9818d4f9e4e9528997f023">SVF::MTASVFGBuilder</a>
+: <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a9c8681767551575a18ee141f7336db05">SVF::MTASVFGBuilder</a>
 </li>
 <li>isTDAcquire()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ab8376e0cbdff101b7b981141637e3da3">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1ThreadAPI.html#a742161b465774d74306df68a2bbe95e8">SVF::ThreadAPI</a>
 </li>
 <li>isTDBarWait()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#af3aa58dc83dca382162df67c12169585">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a62a5d4709eb9f1e4e9dd20b87dac8c42">SVF::ThreadAPI</a>
 </li>
 <li>isTDExit()
-: <a class="el" href="classSVF_1_1ThreadAPI.html#a22d6c0cf0ba19af0661b106a8859024f">SVF::ThreadAPI</a>
+: <a class="el" href="classSVF_1_1ThreadAPI.html#a3e175d985de53d0aadb026168e8a1a0e">SVF::ThreadAPI</a>
 </li>
 <li>isTDFork()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a66965759d876309c64faf4b755afc2a7">SVF::ForkJoinAnalysis</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a6039a72839e5eaf27c4c19c2e8316321">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1MHP.html#a7af8320c524acaf3cf004ff37f9b4e42">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a4bacbfb6648de8196217c83b5d73b876">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a261eb3c2f7e44a81edf4feddfc65a3cc">SVF::ThreadAPI</a>
 </li>
 <li>isTDJoin()
 : <a class="el" href="classSVF_1_1ForkJoinAnalysis.html#a97151d74790b2853249d0cc94bb0904f">SVF::ForkJoinAnalysis</a>
@@ -1599,7 +1606,7 @@ $(function() {
 </li>
 <li>isTDRelease()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#ad1184e1c2d583fa0b03bd1892152925a">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1ThreadAPI.html#a1d5c84fd83e120820bfb3458e0231fdf">SVF::ThreadAPI</a>
+, <a class="el" href="classSVF_1_1ThreadAPI.html#a1bba2e9df7a74e7e2f728267ff4bfe0f">SVF::ThreadAPI</a>
 </li>
 <li>isTemplate()
 : <a class="el" href="classSVF_1_1CHNode.html#aff23fda93401c60422a4a5a08d77d749">SVF::CHNode</a>
@@ -1708,7 +1715,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>iter_adaptor_base()
-: <a class="el" href="classSVF_1_1iter__adaptor__base.html#aae17978dbc68365513742c0ed6dd6e77">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
+: <a class="el" href="classSVF_1_1iter__adaptor__base.html#ad3e91fd59221ddbdc889bc081159f611">SVF::iter_adaptor_base&lt; DerivedT, WrappedIteratorT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;</a>
 </li>
 <li>iter_facade_base
 : <a class="el" href="classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6">SVF::iter_facade_base&lt; DerivedT, IteratorCategoryT, T, DifferenceTypeT, PointerT, ReferenceT &gt;::ReferenceProxy</a>
@@ -1723,13 +1730,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CDG.html#a2d92bee17875c2959a7fc657fd3498c8">SVF::CDG</a>
 , <a class="el" href="classSVF_1_1CDGNode.html#a3fa53ec2c78c57d8c5853c5b223c43f0">SVF::CDGNode</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockEdge.html#a00cb890f5d3b51654bc7fe98d19406a4">SVF::CFBasicBlockEdge</a>
-</li>
-<li>Iterator
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html#af4f9d44087dceb6c028abf585b5a6d5b">SVF::CFBasicBlockGWTOCycle</a>
-</li>
-<li>iterator
-: <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode</a>
+, <a class="el" href="classSVF_1_1CFBasicBlockNode.html#ad33fdf14d9334bd468d9eb541e0e8a31">SVF::CFBasicBlockNode</a>
 , <a class="el" href="classSVF_1_1CondPointsToSet.html#a76d4c06b04161738351a813ae406aa83">SVF::CondPointsToSet&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1CondStdSet.html#a6d82b5ddafa28542ce65adb0cc56cdce">SVF::CondStdSet&lt; Element &gt;</a>
 , <a class="el" href="classSVF_1_1ConstraintNode.html#a19ebc316f4fa0246debb1ca61c2b2f3f">SVF::ConstraintNode</a>
@@ -1749,7 +1750,9 @@ $(function() {
 , <a class="el" href="classSVF_1_1VFGNode.html#a8b320525e5a0ed93030d578030761124">SVF::VFGNode</a>
 </li>
 <li>Iterator
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a57a181856416fa5fe6b513c279a6c788">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
+: <a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycle.html#ad0a2a2bb4c2d6eafaedbf04ced31243d">SVF::WTOCycle&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#a375803014eebb65532a843eee6d9a690">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>iterator_category
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a3b33f7857169d26e1b90fbaa593e79ef">SVF::CoreBitVector::CoreBitVectorIterator</a>

package/SVF-doxygen/html/functions_l.html

@@ -238,12 +238,12 @@ $(function() {
 <li>loadsToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a0d8229b1f0b8428708e923d19096e4ba">SVF::MRGenerator</a>
 </li>
-<li>loadsToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
-</li>
 <li>LoadsToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#acfadd565b5c978c9417e059b3ea7588c">SVF::MRGenerator</a>
 </li>
+<li>loadsToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#af47e15d6b8c15d547a718f3577513975">SVF::MRGenerator</a>
+</li>
 <li>loadTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#aab4f70210eb1e6447a24697d3b459067">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/functions_n.html

@@ -109,10 +109,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#ada4902d6ee3ad2d37e31c710a36dcc74">SVF::SaberCondAllocator</a>
 </li>
 <li>newCycle()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>newNode()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>newPointsToId()
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#a52ec4a787a199bb4d7553e8bafa9c127">SVF::PersistentPointsToCache&lt; Data &gt;</a>
@@ -137,12 +137,6 @@ $(function() {
 : <a class="el" href="structprintbuffer.html#aa2a7966b71dc3535e4e3789c33ec5368">printbuffer</a>
 </li>
 <li>Node
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html#a83d5f4a0d2c4efc9840d30f1a1c3b300aaf4f363db1d83aea6168413b9530b392">SVF::CFBasicBlockGWTOComp</a>
-</li>
-<li>node()
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html#ab0b71fd36e24dcc7ff4f5489a5ee1444">SVF::CFBasicBlockGWTONode</a>
-</li>
-<li>Node
 : <a class="el" href="classSVF_1_1List.html#a4eba65b40d347ea80e2427320eb9c5a1">SVF::List&lt; Data &gt;</a>
 </li>
 <li>node
@@ -151,6 +145,10 @@ $(function() {
 <li>Node()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a6458c27c625add944fcb8a3ef7b536a6">SVF::SCCDetection&lt; GraphType &gt;</a>
 , <a class="el" href="classSVF_1_1WPASolver.html#a5fd488d74e04aa9e66ca4eb42c6dbbf4">SVF::WPASolver&lt; GraphType &gt;</a>
+, <a class="el" href="classSVF_1_1WTOComponent.html#a3c2b9ef6ae6a3d47b0bba929f12560f7ae6153e626f0cd77b3560511ef845c14d">SVF::WTOComponent&lt; GraphT &gt;</a>
+</li>
+<li>node()
+: <a class="el" href="classSVF_1_1WTONode.html#aae0fe6c5464535f41f4723c23615e5cd">SVF::WTONode&lt; GraphT &gt;</a>
 </li>
 <li>Node_Index()
 : <a class="el" href="classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c">SVF::SCCDetection&lt; GraphType &gt;</a>
@@ -227,22 +225,20 @@ $(function() {
 , <a class="el" href="classSVF_1_1GraphWriter.html#ac2141c33c4075610f8253287ee4ff0c6">SVF::GraphWriter&lt; GraphType &gt;</a>
 </li>
 <li>NodeRefList
-: <a class="el" href="classSVF_1_1WTOCycleDepth.html#a39e8c68176dac40715f6b1595bca489b">SVF::WTOCycleDepth&lt; NodeRef &gt;</a>
-</li>
-<li>NodeRefSet
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#af4c6d0f992a1844aa21a6d26be66b34c">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
 </li>
 <li>NodeRefToCycleDepthNumber
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae675544cc2cfc61ef9e37c4f20fa6109">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">SVF::WTO&lt; GraphT &gt;</a>
 </li>
-<li>NodeRefToNodeRefSetMap
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a8ebe4f04e2c73a441e58b2e0533a75a5">SVF::CFBasicBlockGWTO</a>
+<li>NodeRefTONodeRefListMap
+: <a class="el" href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>NodeRefToWTOCycleDepthPtr
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac63d14c8e4957217f71f507d05f3ec5a">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>NodeRefToWTOCycleMap
-: <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a3c454131bb83a95d23070d0d732e4e5f">SVF::CFBasicBlockGWTO</a>
+: <a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">SVF::WTO&lt; GraphT &gt;</a>
 </li>
 <li>nodes_begin()
 : <a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ac330110a7b79adfda646f45433eac3ec">SVF::GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; * &gt;</a>
@@ -265,6 +261,12 @@ $(function() {
 <li>NodeStrides
 : <a class="el" href="classSVF_1_1AndersenSFR.html#ae81c9716b434f0f1e372d0ddf7003910">SVF::AndersenSFR</a>
 </li>
+<li>NodeT
+: <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">SVF::WTO&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycle.html#a1c4a4a2387abd60e1fa1d4cee6b83b55">SVF::WTOCycle&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTOCycleDepth.html#ac1a815006184b8a54a1390832f929630">SVF::WTOCycleDepth&lt; GraphT &gt;</a>
+, <a class="el" href="classSVF_1_1WTONode.html#a65738a32240777ce6ded22d2c4adbaf8">SVF::WTONode&lt; GraphT &gt;</a>
+</li>
 <li>nodeToDPItemsMap
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a5f4f97bc480e899004b0432a78fd94a4">SVF::SrcSnkDDA</a>
 </li>
@@ -290,18 +292,18 @@ $(function() {
 <li>nodeToRepMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ab1b5ee9202bd9f5d738f9850b42a45d2">SVF::ConstraintGraph</a>
 </li>
-<li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
-</li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#ac7d24753491a9bab39a13b32bb65f139">SVF::ConstraintGraph</a>
 </li>
 <li>nodeToSubsMap
-: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+: <a class="el" href="classSVF_1_1ConstraintGraph.html#af91f1027cd5de591ae40865f691c5f60">SVF::ConstraintGraph</a>
 </li>
 <li>NodeToSubsMap
 : <a class="el" href="classSVF_1_1Steensgaard.html#a45d49eef110e3bc15509a2020be38453">SVF::Steensgaard</a>
 </li>
+<li>nodeToSubsMap
+: <a class="el" href="classSVF_1_1Steensgaard.html#aca87fc74b6acb096a7165f105b14854b">SVF::Steensgaard</a>
+</li>
 <li>NodeType
 : <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a853ab084e6697910121f897ab43bca04">SVF::DOTGraphTraits&lt; CFLGraph * &gt;</a>
 , <a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#aa655d045996275ad355298fb23d5ffc2">SVF::DOTGraphTraits&lt; CHGraph * &gt;</a>
@@ -338,7 +340,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375acfd0a194af0da66162545f0089eb4baa">SVF::ConstraintEdge</a>
 </li>
 <li>NormalGepCGEdge()
-: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a511d6bd2061e0ca441fc80abbf6075f7">SVF::NormalGepCGEdge</a>
+: <a class="el" href="classSVF_1_1NormalGepCGEdge.html#a9e97410a915059752d8ad86fdbd8df7c">SVF::NormalGepCGEdge</a>
 </li>
 <li>normalize()
 : <a class="el" href="classSVF_1_1CFGNormalizer.html#a937b65bca67692e4c6507d2b6d5fb567">SVF::CFGNormalizer</a>
@@ -391,7 +393,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a8d8f9e91b62b94d876f34066de7944d4">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>NumericLiteral()
-: <a class="el" href="classSVF_1_1NumericLiteral.html#a85e42942640e81bc8587f9e0ed96f58b">SVF::NumericLiteral</a>
+: <a class="el" href="classSVF_1_1NumericLiteral.html#a68e409232bf4bf0bbd688e36e8f526ee">SVF::NumericLiteral</a>
 </li>
 <li>NumGtIntRegions
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639">SVF::NodeIDAllocator::Clusterer</a>