svf-tools 1.0.855 → 1.0.857

package/SVF-doxygen/html/classSVF_1_1CFBasicBlockGWTO.html

@@ -66,459 +66,211 @@ $(function() {
 </div><!-- top -->
 <div class="header">
   <div class="summary">
-<a href="#nested-classes">Classes</a> &#124;
 <a href="#pub-types">Public Types</a> &#124;
 <a href="#pub-methods">Public Member Functions</a> &#124;
-<a href="#pro-types">Protected Types</a> &#124;
-<a href="#pro-methods">Protected Member Functions</a> &#124;
-<a href="#pro-attribs">Protected Attributes</a> &#124;
-<a href="#friends">Friends</a> &#124;
 <a href="classSVF_1_1CFBasicBlockGWTO-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">SVF::CFBasicBlockGWTO Class Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
 
-<p><code>#include &lt;<a class="el" href="WTO_8h_source.html">WTO.h</a>&gt;</code></p>
+<p><code>#include &lt;<a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::CFBasicBlockGWTO:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classSVF_1_1CFBasicBlockGWTO.png" usemap="#SVF::CFBasicBlockGWTO_map" alt=""/>
+  <map id="SVF::CFBasicBlockGWTO_map" name="SVF::CFBasicBlockGWTO_map">
+<area href="classSVF_1_1WTO.html" alt="SVF::WTO&lt; CFBasicBlockGraph &gt;" shape="rect" coords="0,0,209,24"/>
+  </map>
+</div></div>
 <table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="nested-classes"></a>
-Classes</h2></td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html">TailBuilder</a></td></tr>
-<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Visitor to build the tails of each head/loop.  <a href="classSVF_1_1CFBasicBlockGWTO_1_1TailBuilder.html#details">More...</a><br /></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html">WTOCycleDepthBuilder</a></td></tr>
-<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Visitor to build the WTO cycle getCDN of each node.  <a href="classSVF_1_1CFBasicBlockGWTO_1_1WTOCycleDepthBuilder.html#details">More...</a><br /></td></tr>
-<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-types"></a>
 Public Types</h2></td></tr>
-<tr class="memitem:acc7a69f2e4d44bda34a84ed68667b803"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">CFBasicBlockGWTOCycleDepth</a></td></tr>
-<tr class="separator:acc7a69f2e4d44bda34a84ed68667b803"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ada27aa4f9b577c7f7cef09e9936327f2"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a></td></tr>
-<tr class="separator:ada27aa4f9b577c7f7cef09e9936327f2"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac767b7bdc3ee6f7e73fc36fa2d1e2745"><td class="memItemLeft" align="right" valign="top">typedef WTOCompRefList::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">Iterator</a></td></tr>
-<tr class="separator:ac767b7bdc3ee6f7e73fc36fa2d1e2745"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78a298146b9c8c3af09ac9744b9043ca"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">Base</a></td></tr>
+<tr class="separator:a78a298146b9c8c3af09ac9744b9043ca"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad35362561a58036a5bed5184908adc03"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt;::<a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad35362561a58036a5bed5184908adc03">CFBasicBlockGWTONode</a></td></tr>
+<tr class="separator:ad35362561a58036a5bed5184908adc03"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; CFBasicBlockGraph &gt;</a></td></tr>
+<tr class="memitem:a78e43eb435fb7f5ee47670f10c6e67f2 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> ::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a></td></tr>
+<tr class="separator:a78e43eb435fb7f5ee47670f10c6e67f2 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a620d528ac72c17913b462acedb8e88c3 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> ::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a620d528ac72c17913b462acedb8e88c3">EdgeT</a></td></tr>
+<tr class="separator:a620d528ac72c17913b462acedb8e88c3 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae2cde12ccd4206b7ace44bc2146c792e inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a></td></tr>
+<tr class="separator:ae2cde12ccd4206b7ace44bc2146c792e inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a43bd515dd7ea9ae1f56b79d29cfdc00c inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOComponent.html">WTOComponent</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a></td></tr>
+<tr class="separator:a43bd515dd7ea9ae1f56b79d29cfdc00c inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a96f37d843d4bd7c2b30cfc5bc59cf90d inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTONode.html">WTONode</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a></td></tr>
+<tr class="separator:a96f37d843d4bd7c2b30cfc5bc59cf90d inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a71a0d4afca77f59db4829c7b39419429 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WTOCycle.html">WTOCycle</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a></td></tr>
+<tr class="separator:a71a0d4afca77f59db4829c7b39419429 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7be430782b325bbb92d9fd014e9c68c0 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a></td></tr>
+<tr class="separator:a7be430782b325bbb92d9fd014e9c68c0 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a49ea9544fc55c3de1b3aebde1ba69470 inherit pub_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef WTOComponentRefList::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a></td></tr>
+<tr class="memdesc:a49ea9544fc55c3de1b3aebde1ba69470 inherit pub_types_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Iterator over the components.  <a href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">More...</a><br /></td></tr>
+<tr class="separator:a49ea9544fc55c3de1b3aebde1ba69470 inherit pub_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
 Public Member Functions</h2></td></tr>
-<tr class="memitem:ab4049975aad5b59c31bb5501ff7465c8"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">CFBasicBlockGWTO</a> ()</td></tr>
-<tr class="separator:ab4049975aad5b59c31bb5501ff7465c8"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af60b932f1b5ffce5a249feb22d7da133"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#af60b932f1b5ffce5a249feb22d7da133">CFBasicBlockGWTO</a> (<a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *graph, const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *entry)</td></tr>
-<tr class="separator:af60b932f1b5ffce5a249feb22d7da133"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae18fdfe0b879c329930e9c9404aaf7a4"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae18fdfe0b879c329930e9c9404aaf7a4">CFBasicBlockGWTO</a> (const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;other)=default</td></tr>
-<tr class="separator:ae18fdfe0b879c329930e9c9404aaf7a4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a96ee9b2b82f959b27020b5207bcc86db"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a96ee9b2b82f959b27020b5207bcc86db">CFBasicBlockGWTO</a> (<a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&amp;other)=default</td></tr>
-<tr class="separator:a96ee9b2b82f959b27020b5207bcc86db"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4041183a3671e35c6b0723e76a34a4f3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4041183a3671e35c6b0723e76a34a4f3">operator=</a> (const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;other)=default</td></tr>
-<tr class="separator:a4041183a3671e35c6b0723e76a34a4f3"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a7d8243d86f5d98716770ec8f250ddf48"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a7d8243d86f5d98716770ec8f250ddf48">operator=</a> (<a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&amp;other)=default</td></tr>
-<tr class="separator:a7d8243d86f5d98716770ec8f250ddf48"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae611a47e1f7c41dba63577a1435b56bd"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae611a47e1f7c41dba63577a1435b56bd">~CFBasicBlockGWTO</a> ()</td></tr>
-<tr class="separator:ae611a47e1f7c41dba63577a1435b56bd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a62021e77023442dc809f6441cd3692c5"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">begin</a> () const</td></tr>
-<tr class="separator:a62021e77023442dc809f6441cd3692c5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad915ed46be9ae3dbd7ee8227c0dee40d"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">end</a> () const</td></tr>
-<tr class="separator:ad915ed46be9ae3dbd7ee8227c0dee40d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ade2b2aa77bba3781ab921d5c36eb881b"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ade2b2aa77bba3781ab921d5c36eb881b">isHead</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node) const</td></tr>
-<tr class="separator:ade2b2aa77bba3781ab921d5c36eb881b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac2fdb330a81c28cae01858952d237c7e"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac2fdb330a81c28cae01858952d237c7e">headBegin</a> () const</td></tr>
-<tr class="separator:ac2fdb330a81c28cae01858952d237c7e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a822077820c188463603f8968c4535a60"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a822077820c188463603f8968c4535a60">headEnd</a> () const</td></tr>
-<tr class="separator:a822077820c188463603f8968c4535a60"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a4fb40a0bed7cad99e9be5480455a6a71"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a4fb40a0bed7cad99e9be5480455a6a71">getTails</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node) const</td></tr>
-<tr class="separator:a4fb40a0bed7cad99e9be5480455a6a71"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a47b0a759cac2b4264b8c01dbe9f1c63f"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">CFBasicBlockGWTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">getWTOCycleDepth</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
-<tr class="memdesc:a47b0a759cac2b4264b8c01dbe9f1c63f"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the wto-cycle-depth of the given node.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">More...</a><br /></td></tr>
-<tr class="separator:a47b0a759cac2b4264b8c01dbe9f1c63f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a646f67339a7751f0e10ea42143e6894d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d">inNodeToCycleDepth</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
-<tr class="memdesc:a646f67339a7751f0e10ea42143e6894d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Whether the given node is in the node to cycle getCDN.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a646f67339a7751f0e10ea42143e6894d">More...</a><br /></td></tr>
-<tr class="separator:a646f67339a7751f0e10ea42143e6894d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:afd0400cf19450143fa53b3a017e8a3cd"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd">accept</a> (<a class="el" href="classSVF_1_1WTOVisitor.html">WTOVisitor</a> *v)</td></tr>
-<tr class="memdesc:afd0400cf19450143fa53b3a017e8a3cd"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accept the given visitor.  <a href="classSVF_1_1CFBasicBlockGWTO.html#afd0400cf19450143fa53b3a017e8a3cd">More...</a><br /></td></tr>
-<tr class="separator:afd0400cf19450143fa53b3a017e8a3cd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2b918d80839deaf3e1b1fa9fe984dbec"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2b918d80839deaf3e1b1fa9fe984dbec">toString</a> () const</td></tr>
-<tr class="separator:a2b918d80839deaf3e1b1fa9fe984dbec"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-types"></a>
-Protected Types</h2></td></tr>
-<tr class="memitem:a1e6c7cb2b79de62cbad8d29980d5cf38"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; const <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html">CFBasicBlockGWTOComp</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a></td></tr>
-<tr class="separator:a1e6c7cb2b79de62cbad8d29980d5cf38"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2a453341c33faac3e74bb54d8da6db18"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html">CFBasicBlockGWTOComp</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18">WTOCompRefSet</a></td></tr>
-<tr class="separator:a2a453341c33faac3e74bb54d8da6db18"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3c454131bb83a95d23070d0d732e4e5f"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, const <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a3c454131bb83a95d23070d0d732e4e5f">NodeRefToWTOCycleMap</a></td></tr>
-<tr class="separator:a3c454131bb83a95d23070d0d732e4e5f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a8ebe4f04e2c73a441e58b2e0533a75a5"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a8ebe4f04e2c73a441e58b2e0533a75a5">NodeRefToNodeRefSetMap</a></td></tr>
-<tr class="separator:a8ebe4f04e2c73a441e58b2e0533a75a5"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a19ae57653ecb3c74d030bed48327ed0e"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a></td></tr>
-<tr class="separator:a19ae57653ecb3c74d030bed48327ed0e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae675544cc2cfc61ef9e37c4f20fa6109"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae675544cc2cfc61ef9e37c4f20fa6109">NodeRefToCycleDepthNumber</a></td></tr>
-<tr class="separator:ae675544cc2cfc61ef9e37c4f20fa6109"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ae4fd19b6216a43afdac4edae42f22a26"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">CFBasicBlockNodes</a></td></tr>
-<tr class="separator:ae4fd19b6216a43afdac4edae42f22a26"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a1cb3ad13956ab175c4c16bd9c856de47"><td class="memItemLeft" align="right" valign="top">typedef std::shared_ptr&lt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">CFBasicBlockGWTOCycleDepth</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47">CFBasicBlockGWTOCycleDepthPtr</a></td></tr>
-<tr class="separator:a1cb3ad13956ab175c4c16bd9c856de47"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac63d14c8e4957217f71f507d05f3ec5a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47">CFBasicBlockGWTOCycleDepthPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac63d14c8e4957217f71f507d05f3ec5a">NodeRefToWTOCycleDepthPtr</a></td></tr>
-<tr class="separator:ac63d14c8e4957217f71f507d05f3ec5a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
-Protected Member Functions</h2></td></tr>
-<tr class="memitem:a6cc2cb7b203e16b9cc8f5e121f39bd9f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">build</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *entry)</td></tr>
-<tr class="separator:a6cc2cb7b203e16b9cc8f5e121f39bd9f"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a0f3ba7dd8271cf960bba22a4dc38d02c"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
-<tr class="memdesc:a0f3ba7dd8271cf960bba22a4dc38d02c"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get the cycle depth number of the given node.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">More...</a><br /></td></tr>
-<tr class="separator:a0f3ba7dd8271cf960bba22a4dc38d02c"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a49d0128828b44df0a8631dd193ed8898"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> &amp;Depth)</td></tr>
-<tr class="memdesc:a49d0128828b44df0a8631dd193ed8898"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set the cycle depth number of the given node.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">More...</a><br /></td></tr>
-<tr class="separator:a49d0128828b44df0a8631dd193ed8898"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad8d9315b18c019bada948380f8a4bb35"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">pop</a> ()</td></tr>
-<tr class="memdesc:ad8d9315b18c019bada948380f8a4bb35"><td class="mdescLeft">&#160;</td><td class="mdescRight">Pop a node from the stack.  <a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">More...</a><br /></td></tr>
-<tr class="separator:ad8d9315b18c019bada948380f8a4bb35"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad9665cea2ec92371ecab7e86f7ac2923"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">push</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
-<tr class="memdesc:ad9665cea2ec92371ecab7e86f7ac2923"><td class="mdescLeft">&#160;</td><td class="mdescRight">Push a node on the stack.  <a href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">More...</a><br /></td></tr>
-<tr class="separator:ad9665cea2ec92371ecab7e86f7ac2923"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:acab6d0c92dc8e03a97cc78b060a624c4"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html">CFBasicBlockGWTONode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">newNode</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node)</td></tr>
-<tr class="separator:acab6d0c92dc8e03a97cc78b060a624c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a01822119935bdbe665743b13b4f2380e"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">newCycle</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node, const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> &amp;partition)</td></tr>
-<tr class="separator:a01822119935bdbe665743b13b4f2380e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9dd4ed2f3347d529163a60e0386ea11d"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node)</td></tr>
-<tr class="memdesc:a9dd4ed2f3347d529163a60e0386ea11d"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create the cycle component for the given node.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">More...</a><br /></td></tr>
-<tr class="separator:a9dd4ed2f3347d529163a60e0386ea11d"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:af7351af6e43b593b9915ed2a2d0d16fb"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> &amp;partition)</td></tr>
-<tr class="memdesc:af7351af6e43b593b9915ed2a2d0d16fb"><td class="mdescLeft">&#160;</td><td class="mdescRight">Main algorithm to build WTO.  <a href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">More...</a><br /></td></tr>
-<tr class="separator:af7351af6e43b593b9915ed2a2d0d16fb"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a50fa3b82172788c5e963d723b27900ba"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">buildNodeToWTOCycleDepth</a> ()</td></tr>
-<tr class="memdesc:a50fa3b82172788c5e963d723b27900ba"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build the node to WTO cycle depth table.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">More...</a><br /></td></tr>
-<tr class="separator:a50fa3b82172788c5e963d723b27900ba"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a371c7416c88df3c0b70addf9b88b305a"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">build_tails</a> ()</td></tr>
-<tr class="memdesc:a371c7416c88df3c0b70addf9b88b305a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build the tails for each cycle.  <a href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">More...</a><br /></td></tr>
-<tr class="separator:a371c7416c88df3c0b70addf9b88b305a"><td class="memSeparator" colspan="2">&#160;</td></tr>
-</table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-attribs"></a>
-Protected Attributes</h2></td></tr>
-<tr class="memitem:add361ba0493a8fc9e9b08a4076a8e171"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a></td></tr>
-<tr class="separator:add361ba0493a8fc9e9b08a4076a8e171"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ac70fb325200079c4ffee90e1666a3694"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18">WTOCompRefSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a></td></tr>
-<tr class="separator:ac70fb325200079c4ffee90e1666a3694"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab9fa2e63665b25c8fb771e92dc9b19dc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a3c454131bb83a95d23070d0d732e4e5f">NodeRefToWTOCycleMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a></td></tr>
-<tr class="separator:ab9fa2e63665b25c8fb771e92dc9b19dc"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:abb5b72dbfa6f00bf952f1b71deb48598"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a8ebe4f04e2c73a441e58b2e0533a75a5">NodeRefToNodeRefSetMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a></td></tr>
-<tr class="separator:abb5b72dbfa6f00bf952f1b71deb48598"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ada96b743fb0fd92f5f2c539130404187"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac63d14c8e4957217f71f507d05f3ec5a">NodeRefToWTOCycleDepthPtr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a></td></tr>
-<tr class="separator:ada96b743fb0fd92f5f2c539130404187"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a84e542a2dc10c8d7e306b0134c66c02e"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae675544cc2cfc61ef9e37c4f20fa6109">NodeRefToCycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a></td></tr>
-<tr class="separator:a84e542a2dc10c8d7e306b0134c66c02e"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a6f04a2b3e141e0b4df24ec6cfdf79532"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a></td></tr>
-<tr class="separator:a6f04a2b3e141e0b4df24ec6cfdf79532"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a97fb5b5dff4b1b08ee6fb09876630303"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">CFBasicBlockNodes</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a></td></tr>
-<tr class="separator:a97fb5b5dff4b1b08ee6fb09876630303"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad00addfd46be014c35a6ffbc9333d7f3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a></td></tr>
-<tr class="separator:ad00addfd46be014c35a6ffbc9333d7f3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aaf6d07ea25bb4e84fe63e2053331782b"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#aaf6d07ea25bb4e84fe63e2053331782b">CFBasicBlockGWTO</a> (<a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *graph, const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node)</td></tr>
+<tr class="separator:aaf6d07ea25bb4e84fe63e2053331782b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:adebaf71337c65c3072a7364cbd660761"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#adebaf71337c65c3072a7364cbd660761">forEachSuccessor</a> (const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *node, std::function&lt; void(const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *)&gt; func) const override</td></tr>
+<tr class="separator:adebaf71337c65c3072a7364cbd660761"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; CFBasicBlockGraph &gt;</a></td></tr>
+<tr class="memitem:a7757a14d821963ad5ee03da0b542f8fb inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb">WTO</a> (<a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *graph, const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *entry)</td></tr>
+<tr class="memdesc:a7757a14d821963ad5ee03da0b542f8fb inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Compute the weak topological order of the given graph.  <a href="classSVF_1_1WTO.html#a7757a14d821963ad5ee03da0b542f8fb">More...</a><br /></td></tr>
+<tr class="separator:a7757a14d821963ad5ee03da0b542f8fb inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8455eb5252fb82df098af03ebca76044 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">WTO</a> (const <a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;other)=default</td></tr>
+<tr class="memdesc:a8455eb5252fb82df098af03ebca76044 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">No copy constructor.  <a href="classSVF_1_1WTO.html#a8455eb5252fb82df098af03ebca76044">More...</a><br /></td></tr>
+<tr class="separator:a8455eb5252fb82df098af03ebca76044 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0a8be6a1d8bd92d38eec429f68ce0414 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">WTO</a> (<a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&amp;other)=default</td></tr>
+<tr class="memdesc:a0a8be6a1d8bd92d38eec429f68ce0414 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move constructor.  <a href="classSVF_1_1WTO.html#a0a8be6a1d8bd92d38eec429f68ce0414">More...</a><br /></td></tr>
+<tr class="separator:a0a8be6a1d8bd92d38eec429f68ce0414 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acbaef3d6d8053a3b7ab2fa6e7fefacb1 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">operator=</a> (const <a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;other)=default</td></tr>
+<tr class="memdesc:acbaef3d6d8053a3b7ab2fa6e7fefacb1 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">No copy assignment operator.  <a href="classSVF_1_1WTO.html#acbaef3d6d8053a3b7ab2fa6e7fefacb1">More...</a><br /></td></tr>
+<tr class="separator:acbaef3d6d8053a3b7ab2fa6e7fefacb1 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad37e15c788927e0e2b4759f527b0476b inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">operator=</a> (<a class="el" href="classSVF_1_1WTO.html">WTO</a> &amp;&amp;other)=default</td></tr>
+<tr class="memdesc:ad37e15c788927e0e2b4759f527b0476b inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Move assignment operator.  <a href="classSVF_1_1WTO.html#ad37e15c788927e0e2b4759f527b0476b">More...</a><br /></td></tr>
+<tr class="separator:ad37e15c788927e0e2b4759f527b0476b inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78828eb753f5a27848256d383cf57b5e inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">~WTO</a> ()</td></tr>
+<tr class="memdesc:a78828eb753f5a27848256d383cf57b5e inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="classSVF_1_1WTO.html#a78828eb753f5a27848256d383cf57b5e">More...</a><br /></td></tr>
+<tr class="separator:a78828eb753f5a27848256d383cf57b5e inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a13e9082913aa4a14065687ccdd47642d inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a13e9082913aa4a14065687ccdd47642d">begin</a> () const</td></tr>
+<tr class="separator:a13e9082913aa4a14065687ccdd47642d inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a22b67a51964cb1d7882aab7e74b026f2 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a49ea9544fc55c3de1b3aebde1ba69470">Iterator</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">end</a> () const</td></tr>
+<tr class="memdesc:a22b67a51964cb1d7882aab7e74b026f2 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the components.  <a href="classSVF_1_1WTO.html#a22b67a51964cb1d7882aab7e74b026f2">More...</a><br /></td></tr>
+<tr class="separator:a22b67a51964cb1d7882aab7e74b026f2 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a605c2cb15b3c3ff2581d5f2d0a4719a7 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a605c2cb15b3c3ff2581d5f2d0a4719a7">isHead</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node) const</td></tr>
+<tr class="separator:a605c2cb15b3c3ff2581d5f2d0a4719a7 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a62a6ee6d3894861a0fb74309d2951e16 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a62a6ee6d3894861a0fb74309d2951e16">headBegin</a> () const</td></tr>
+<tr class="separator:a62a6ee6d3894861a0fb74309d2951e16 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ace35f97608d342cae7cda7936816f624 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">NodeRefToWTOCycleMap::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">headEnd</a> () const</td></tr>
+<tr class="memdesc:ace35f97608d342cae7cda7936816f624 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">End iterator over the components.  <a href="classSVF_1_1WTO.html#ace35f97608d342cae7cda7936816f624">More...</a><br /></td></tr>
+<tr class="separator:ace35f97608d342cae7cda7936816f624 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa50fbcbff0e3aa30bce2ba1b810e8ca8 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#aa50fbcbff0e3aa30bce2ba1b810e8ca8">cycleDepth</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="memdesc:aa50fbcbff0e3aa30bce2ba1b810e8ca8 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the cycleDepth of the given node.  <a href="classSVF_1_1WTO.html#aa50fbcbff0e3aa30bce2ba1b810e8ca8">More...</a><br /></td></tr>
+<tr class="separator:aa50fbcbff0e3aa30bce2ba1b810e8ca8 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1e331c472a19616ccef9f8230a8724fb inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">in_cycleDepth_table</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="memdesc:a1e331c472a19616ccef9f8230a8724fb inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the cycleDepth of the given node.  <a href="classSVF_1_1WTO.html#a1e331c472a19616ccef9f8230a8724fb">More...</a><br /></td></tr>
+<tr class="separator:a1e331c472a19616ccef9f8230a8724fb inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af2ac6543be66a6ca5911f49f16c341c4 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">accept</a> (<a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt; <a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> &gt; &amp;v)</td></tr>
+<tr class="memdesc:af2ac6543be66a6ca5911f49f16c341c4 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Accept the given visitor.  <a href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">More...</a><br /></td></tr>
+<tr class="separator:af2ac6543be66a6ca5911f49f16c341c4 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2245875350c4a72f826d998f02f5e796 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">toString</a> () const</td></tr>
+<tr class="memdesc:a2245875350c4a72f826d998f02f5e796 inherit pub_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Dump the order, for debugging purpose.  <a href="classSVF_1_1WTO.html#a2245875350c4a72f826d998f02f5e796">More...</a><br /></td></tr>
+<tr class="separator:a2245875350c4a72f826d998f02f5e796 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a12d50323eaa2d40925699232beb37747 inherit pub_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a12d50323eaa2d40925699232beb37747">init</a> ()</td></tr>
+<tr class="separator:a12d50323eaa2d40925699232beb37747 inherit pub_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="friends"></a>
-Friends</h2></td></tr>
-<tr class="memitem:a622b439ca78cc523abe308b26daa337b"><td class="memItemLeft" align="right" valign="top">std::ostream &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a622b439ca78cc523abe308b26daa337b">operator&lt;&lt;</a> (std::ostream &amp;o, const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;<a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a>)</td></tr>
-<tr class="separator:a622b439ca78cc523abe308b26daa337b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pro_types_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pro_types_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Protected Types inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; CFBasicBlockGraph &gt;</a></td></tr>
+<tr class="memitem:ac1a8ef3c15d484dc4f593b7d737e7de9 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef std::list&lt; <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a></td></tr>
+<tr class="separator:ac1a8ef3c15d484dc4f593b7d737e7de9 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a928688b5f1e2111311262ccd936b1ca9 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a></td></tr>
+<tr class="separator:a928688b5f1e2111311262ccd936b1ca9 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9103af81d0c21787dcc96188ea243d0a inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a></td></tr>
+<tr class="separator:a9103af81d0c21787dcc96188ea243d0a inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae652de9cb9fca45b8cb6c08606d7971a inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a7be430782b325bbb92d9fd014e9c68c0">NodeRefList</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae652de9cb9fca45b8cb6c08606d7971a">NodeRefTONodeRefListMap</a></td></tr>
+<tr class="separator:ae652de9cb9fca45b8cb6c08606d7971a inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a54890e9212acbff3ccd28d674f86e9e7 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a></td></tr>
+<tr class="separator:a54890e9212acbff3ccd28d674f86e9e7 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a93a5b48c93dc4f01f50040e71c5aeada inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a></td></tr>
+<tr class="separator:a93a5b48c93dc4f01f50040e71c5aeada inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab35eabe45c6b944b26532fbe630cd019 inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef std::vector&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a></td></tr>
+<tr class="separator:ab35eabe45c6b944b26532fbe630cd019 inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8022c9a6ebc62ed292698f07ab93bafe inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef std::shared_ptr&lt; <a class="el" href="classSVF_1_1WTO.html#ae2cde12ccd4206b7ace44bc2146c792e">GraphTWTOCycleDepth</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a></td></tr>
+<tr class="separator:a8022c9a6ebc62ed292698f07ab93bafe inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4d7362b707ea6013811db5ffa80aeb0b inherit pro_types_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt; const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *, <a class="el" href="classSVF_1_1WTO.html#a8022c9a6ebc62ed292698f07ab93bafe">WTOCycleDepthPtr</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a></td></tr>
+<tr class="separator:a4d7362b707ea6013811db5ffa80aeb0b inherit pro_types_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; CFBasicBlockGraph &gt;</a></td></tr>
+<tr class="memitem:a65d2ed9e7306392ce0b82ac018f0cdea inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a65d2ed9e7306392ce0b82ac018f0cdea">forEachSuccessor</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, std::function&lt; void(const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *)&gt; func) const</td></tr>
+<tr class="separator:a65d2ed9e7306392ce0b82ac018f0cdea inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a92034688db3f67feb6e997d4c03f769f inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">getCDN</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>) const</td></tr>
+<tr class="memdesc:a92034688db3f67feb6e997d4c03f769f inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Return the depth-first number of the given node.  <a href="classSVF_1_1WTO.html#a92034688db3f67feb6e997d4c03f769f">More...</a><br /></td></tr>
+<tr class="separator:a92034688db3f67feb6e997d4c03f769f inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7fc78de450f2cb6cbed8aa6856638ad1 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">setCDN</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, const <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a> &amp;dfn)</td></tr>
+<tr class="memdesc:a7fc78de450f2cb6cbed8aa6856638ad1 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Set the depth-first number of the given node.  <a href="classSVF_1_1WTO.html#a7fc78de450f2cb6cbed8aa6856638ad1">More...</a><br /></td></tr>
+<tr class="separator:a7fc78de450f2cb6cbed8aa6856638ad1 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae6655b82c9137b960eac07631897de82 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">pop</a> ()</td></tr>
+<tr class="memdesc:ae6655b82c9137b960eac07631897de82 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Pop a node from the stack.  <a href="classSVF_1_1WTO.html#ae6655b82c9137b960eac07631897de82">More...</a><br /></td></tr>
+<tr class="separator:ae6655b82c9137b960eac07631897de82 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9a67c7812a890ee4ff9cd470f947bf86 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">push</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *<a class="el" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>)</td></tr>
+<tr class="memdesc:a9a67c7812a890ee4ff9cd470f947bf86 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Push a node on the stack.  <a href="classSVF_1_1WTO.html#a9a67c7812a890ee4ff9cd470f947bf86">More...</a><br /></td></tr>
+<tr class="separator:a9a67c7812a890ee4ff9cd470f947bf86 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2ce51d9a57e8a353aa23d14dce933c9a inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a2ce51d9a57e8a353aa23d14dce933c9a">newNode</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node)</td></tr>
+<tr class="separator:a2ce51d9a57e8a353aa23d14dce933c9a inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aee55e23a1994d4daa29f21a608a1ca69 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#aee55e23a1994d4daa29f21a608a1ca69">newCycle</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, const <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;partition)</td></tr>
+<tr class="separator:aee55e23a1994d4daa29f21a608a1ca69 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8dc175362f4dbbf158e1fe03745f1ce7 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">virtual const <a class="el" href="classSVF_1_1WTO.html#a71a0d4afca77f59db4829c7b39419429">WTOCycleT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">component</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node)</td></tr>
+<tr class="memdesc:a8dc175362f4dbbf158e1fe03745f1ce7 inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Create the cycle component for the given node.  <a href="classSVF_1_1WTO.html#a8dc175362f4dbbf158e1fe03745f1ce7">More...</a><br /></td></tr>
+<tr class="separator:a8dc175362f4dbbf158e1fe03745f1ce7 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a56259113c30312e5052d0d8c0d4d6b77 inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a56259113c30312e5052d0d8c0d4d6b77">visit</a> (const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *node, <a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a> &amp;partition)</td></tr>
+<tr class="separator:a56259113c30312e5052d0d8c0d4d6b77 inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:abf8ab42831098184ce972aa6664fcb8a inherit pro_methods_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">buildNodeToDepth</a> ()</td></tr>
+<tr class="memdesc:abf8ab42831098184ce972aa6664fcb8a inherit pro_methods_classSVF_1_1WTO"><td class="mdescLeft">&#160;</td><td class="mdescRight">Build the node to WTO cycle depth table.  <a href="classSVF_1_1WTO.html#abf8ab42831098184ce972aa6664fcb8a">More...</a><br /></td></tr>
+<tr class="separator:abf8ab42831098184ce972aa6664fcb8a inherit pro_methods_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_attribs_classSVF_1_1WTO"><td colspan="2" onclick="javascript:toggleInherit('pro_attribs_classSVF_1_1WTO')"><img src="closed.png" alt="-"/>&#160;Protected Attributes inherited from <a class="el" href="classSVF_1_1WTO.html">SVF::WTO&lt; CFBasicBlockGraph &gt;</a></td></tr>
+<tr class="memitem:a15ecb3d149a88c93318133314d010954 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const typedef <a class="el" href="classSVF_1_1WTO.html#a43bd515dd7ea9ae1f56b79d29cfdc00c">WTOComponentT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a15ecb3d149a88c93318133314d010954">WTOComponentPtr</a></td></tr>
+<tr class="separator:a15ecb3d149a88c93318133314d010954 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acbc503aa22e6d9bf2f6406fc45ebbab1 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#ac1a8ef3c15d484dc4f593b7d737e7de9">WTOComponentRefList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#acbc503aa22e6d9bf2f6406fc45ebbab1">_components</a></td></tr>
+<tr class="separator:acbc503aa22e6d9bf2f6406fc45ebbab1 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a649f1a93b6fd51553f6e144f2fe99542 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a928688b5f1e2111311262ccd936b1ca9">WTOComponentRefSet</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a649f1a93b6fd51553f6e144f2fe99542">_allComponents</a></td></tr>
+<tr class="separator:a649f1a93b6fd51553f6e144f2fe99542 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5752288fb686b9ef5d6c8edc0cee6348 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a9103af81d0c21787dcc96188ea243d0a">NodeRefToWTOCycleMap</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a5752288fb686b9ef5d6c8edc0cee6348">headRefToCycle</a></td></tr>
+<tr class="separator:a5752288fb686b9ef5d6c8edc0cee6348 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab6eebbf5ab6f6c3ee157e22da10620e9 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a4d7362b707ea6013811db5ffa80aeb0b">NodeRefToWTOCycleDepthPtr</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ab6eebbf5ab6f6c3ee157e22da10620e9">_nodeToDepth</a></td></tr>
+<tr class="separator:ab6eebbf5ab6f6c3ee157e22da10620e9 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a54d8c25df36b0c44d52369c4294a1ed8 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a93a5b48c93dc4f01f50040e71c5aeada">NodeRefToCycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a54d8c25df36b0c44d52369c4294a1ed8">_nodeToCDN</a></td></tr>
+<tr class="separator:a54d8c25df36b0c44d52369c4294a1ed8 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af3e699fe03e5072f057cf162aefe8c12 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#a54890e9212acbff3ccd28d674f86e9e7">CycleDepthNumber</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#af3e699fe03e5072f057cf162aefe8c12">_num</a></td></tr>
+<tr class="separator:af3e699fe03e5072f057cf162aefe8c12 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a333df66435d9c4444ff7f729ca9d0050 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1WTO.html#ab35eabe45c6b944b26532fbe630cd019">Stack</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a333df66435d9c4444ff7f729ca9d0050">_stack</a></td></tr>
+<tr class="separator:a333df66435d9c4444ff7f729ca9d0050 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae8e57cc333199bc8b5aaff0a825eed47 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a></td></tr>
+<tr class="separator:ae8e57cc333199bc8b5aaff0a825eed47 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5853e7a33044635877b8f07de05ff047 inherit pro_attribs_classSVF_1_1WTO"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1WTO.html#a78e43eb435fb7f5ee47670f10c6e67f2">NodeT</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1WTO.html#a5853e7a33044635877b8f07de05ff047">_entry</a></td></tr>
+<tr class="separator:a5853e7a33044635877b8f07de05ff047 inherit pro_attribs_classSVF_1_1WTO"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
-<div class="textblock"><p>Weak topological order for CFBasicBlockG </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00464">464</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
+<div class="textblock">
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockGWTO_8h_source.html#l00045">45</a> of file <a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a>.</p>
 </div><h2 class="groupheader">Member Typedef Documentation</h2>
-<a id="acc7a69f2e4d44bda34a84ed68667b803"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acc7a69f2e4d44bda34a84ed68667b803">&#9670;&nbsp;</a></span>CFBasicBlockGWTOCycleDepth</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1WTOCycleDepth.html">WTOCycleDepth</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>*&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">SVF::CFBasicBlockGWTO::CFBasicBlockGWTOCycleDepth</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00468">468</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a1cb3ad13956ab175c4c16bd9c856de47"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1cb3ad13956ab175c4c16bd9c856de47">&#9670;&nbsp;</a></span>CFBasicBlockGWTOCycleDepthPtr</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef std::shared_ptr&lt;<a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">CFBasicBlockGWTOCycleDepth</a>&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47">SVF::CFBasicBlockGWTO::CFBasicBlockGWTOCycleDepthPtr</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00480">480</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ae4fd19b6216a43afdac4edae42f22a26"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae4fd19b6216a43afdac4edae42f22a26">&#9670;&nbsp;</a></span>CFBasicBlockNodes</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef std::vector&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">SVF::CFBasicBlockGWTO::CFBasicBlockNodes</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00479">479</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a19ae57653ecb3c74d030bed48327ed0e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a19ae57653ecb3c74d030bed48327ed0e">&#9670;&nbsp;</a></span>CycleDepthNumber</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">SVF::CFBasicBlockGWTO::CycleDepthNumber</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00477">477</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ac767b7bdc3ee6f7e73fc36fa2d1e2745"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac767b7bdc3ee6f7e73fc36fa2d1e2745">&#9670;&nbsp;</a></span>Iterator</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef WTOCompRefList::const_iterator <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">SVF::CFBasicBlockGWTO::Iterator</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00484">484</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ada27aa4f9b577c7f7cef09e9936327f2"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ada27aa4f9b577c7f7cef09e9936327f2">&#9670;&nbsp;</a></span>NodeRefSet</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">SVF::CFBasicBlockGWTO::NodeRefSet</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00469">469</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ae675544cc2cfc61ef9e37c4f20fa6109"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae675544cc2cfc61ef9e37c4f20fa6109">&#9670;&nbsp;</a></span>NodeRefToCycleDepthNumber</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae675544cc2cfc61ef9e37c4f20fa6109">SVF::CFBasicBlockGWTO::NodeRefToCycleDepthNumber</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00478">478</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a8ebe4f04e2c73a441e58b2e0533a75a5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a8ebe4f04e2c73a441e58b2e0533a75a5">&#9670;&nbsp;</a></span>NodeRefToNodeRefSetMap</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a>&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a8ebe4f04e2c73a441e58b2e0533a75a5">SVF::CFBasicBlockGWTO::NodeRefToNodeRefSetMap</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00475">475</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ac63d14c8e4957217f71f507d05f3ec5a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac63d14c8e4957217f71f507d05f3ec5a">&#9670;&nbsp;</a></span>NodeRefToWTOCycleDepthPtr</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1cb3ad13956ab175c4c16bd9c856de47">CFBasicBlockGWTOCycleDepthPtr</a>&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac63d14c8e4957217f71f507d05f3ec5a">SVF::CFBasicBlockGWTO::NodeRefToWTOCycleDepthPtr</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00481">481</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a3c454131bb83a95d23070d0d732e4e5f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a3c454131bb83a95d23070d0d732e4e5f">&#9670;&nbsp;</a></span>NodeRefToWTOCycleMap</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">Map</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *, const <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a> *&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a3c454131bb83a95d23070d0d732e4e5f">SVF::CFBasicBlockGWTO::NodeRefToWTOCycleMap</a></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00474">474</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a1e6c7cb2b79de62cbad8d29980d5cf38"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1e6c7cb2b79de62cbad8d29980d5cf38">&#9670;&nbsp;</a></span>WTOCompRefList</h2>
+<a id="a78a298146b9c8c3af09ac9744b9043ca"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a78a298146b9c8c3af09ac9744b9043ca">&#9670;&nbsp;</a></span>Base</h2>
 
 <div class="memitem">
 <div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">typedef std::list&lt;const <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html">CFBasicBlockGWTOComp</a> *&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">SVF::CFBasicBlockGWTO::WTOCompRefList</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1WTO.html">WTO</a>&lt;<a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">SVF::CFBasicBlockGWTO::Base</a></td>
         </tr>
       </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00472">472</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockGWTO_8h_source.html#l00048">48</a> of file <a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a>.</p>
 
 </div>
 </div>
-<a id="a2a453341c33faac3e74bb54d8da6db18"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2a453341c33faac3e74bb54d8da6db18">&#9670;&nbsp;</a></span>WTOCompRefSet</h2>
+<a id="ad35362561a58036a5bed5184908adc03"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad35362561a58036a5bed5184908adc03">&#9670;&nbsp;</a></span>CFBasicBlockGWTONode</h2>
 
 <div class="memitem">
 <div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt;const <a class="el" href="classSVF_1_1CFBasicBlockGWTOComp.html">CFBasicBlockGWTOComp</a> *&gt; <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18">SVF::CFBasicBlockGWTO::WTOCompRefSet</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1WTOComponentVisitor.html">WTOComponentVisitor</a>&lt;<a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>&gt;::<a class="el" href="classSVF_1_1WTO.html#a96f37d843d4bd7c2b30cfc5bc59cf90d">WTONodeT</a> <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ad35362561a58036a5bed5184908adc03">SVF::CFBasicBlockGWTO::CFBasicBlockGWTONode</a></td>
         </tr>
       </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00473">473</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockGWTO_8h_source.html#l00050">50</a> of file <a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a>.</p>
 
 </div>
 </div>
 <h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
-<a id="ab4049975aad5b59c31bb5501ff7465c8"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab4049975aad5b59c31bb5501ff7465c8">&#9670;&nbsp;</a></span>CFBasicBlockGWTO() <span class="overload">[1/4]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">explicit</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00498">498</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a>(0) {}</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="af60b932f1b5ffce5a249feb22d7da133"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af60b932f1b5ffce5a249feb22d7da133">&#9670;&nbsp;</a></span>CFBasicBlockGWTO() <span class="overload">[2/4]</span></h2>
+<a id="aaf6d07ea25bb4e84fe63e2053331782b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aaf6d07ea25bb4e84fe63e2053331782b">&#9670;&nbsp;</a></span>CFBasicBlockGWTO()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -536,7 +288,7 @@ Friends</h2></td></tr>
           <td class="paramkey"></td>
           <td></td>
           <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>entry</em>&#160;</td>
+          <td class="paramname"><em>node</em>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -551,16 +303,16 @@ Friends</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00500">500</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;                                                                                       : <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a>(0), <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>(graph)</div>
-<div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;    {</div>
-<div class="line"><a name="l00502"></a><span class="lineno">  502</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">build</a>(entry);</div>
-<div class="line"><a name="l00503"></a><span class="lineno">  503</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockGWTO_8h_source.html#l00052">52</a> of file <a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;        : <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">Base</a>(graph, node)</div>
+<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;    {</div>
+<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;    }</div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="ae18fdfe0b879c329930e9c9404aaf7a4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae18fdfe0b879c329930e9c9404aaf7a4">&#9670;&nbsp;</a></span>CFBasicBlockGWTO() <span class="overload">[3/4]</span></h2>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="adebaf71337c65c3072a7364cbd660761"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#adebaf71337c65c3072a7364cbd660761">&#9670;&nbsp;</a></span>forEachSuccessor()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -569,1273 +321,61 @@ Friends</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO </td>
+          <td class="memname">void SVF::CFBasicBlockGWTO::forEachSuccessor </td>
           <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&#160;</td>
-          <td class="paramname"><em>other</em></td><td>)</td>
-          <td></td>
+          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
+          <td class="paramname"><em>node</em>, </td>
         </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">default</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-</div>
-</div>
-<a id="a96ee9b2b82f959b27020b5207bcc86db"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a96ee9b2b82f959b27020b5207bcc86db">&#9670;&nbsp;</a></span>CFBasicBlockGWTO() <span class="overload">[4/4]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
         <tr>
-          <td class="memname">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&amp;&#160;</td>
-          <td class="paramname"><em>other</em></td><td>)</td>
+          <td class="paramkey"></td>
           <td></td>
+          <td class="paramtype">std::function&lt; void(const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *)&gt;&#160;</td>
+          <td class="paramname"><em>func</em>&#160;</td>
         </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">default</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-</div>
-</div>
-<a id="ae611a47e1f7c41dba63577a1435b56bd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ae611a47e1f7c41dba63577a1435b56bd">&#9670;&nbsp;</a></span>~CFBasicBlockGWTO()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
         <tr>
-          <td class="memname">SVF::CFBasicBlockGWTO::~CFBasicBlockGWTO </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
           <td></td>
+          <td>)</td>
+          <td></td><td> const</td>
         </tr>
       </table>
   </td>
   <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">override</span></span>  </td>
   </tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00513">513</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00514"></a><span class="lineno">  514</span>&#160;    {</div>
-<div class="line"><a name="l00515"></a><span class="lineno">  515</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a>: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a>)</div>
-<div class="line"><a name="l00516"></a><span class="lineno">  516</span>&#160;        {</div>
-<div class="line"><a name="l00517"></a><span class="lineno">  517</span>&#160;            <span class="keyword">delete</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a>;</div>
-<div class="line"><a name="l00518"></a><span class="lineno">  518</span>&#160;        }</div>
-<div class="line"><a name="l00519"></a><span class="lineno">  519</span>&#160;    }</div>
+<p class="definition">Definition at line <a class="el" href="CFBasicBlockGWTO_8h_source.html#l00058">58</a> of file <a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;    {</div>
+<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">const</span> <span class="keyword">auto</span>* callNode =</div>
+<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;                    SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node-&gt;getICFGNodes().front()))</div>
+<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;        {</div>
+<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;            <span class="keyword">const</span> CFBasicBlockNode* succ = <a class="code" href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">_graph</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(</div>
+<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;                                               callNode-&gt;getRetICFGNode()-&gt;getId());</div>
+<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;            func(succ);</div>
+<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;        }</div>
+<div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;        <span class="keywordflow">else</span></div>
+<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;        {</div>
+<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span>&amp; e : node-&gt;getOutEdges())</div>
+<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;            {</div>
+<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;                <span class="keywordflow">if</span> (e-&gt;getICFGEdge() &amp;&amp;</div>
+<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;                        (!e-&gt;getICFGEdge()-&gt;isIntraCFGEdge() ||</div>
+<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;                         node-&gt;getFunction() != e-&gt;getDstNode()-&gt;getFunction()))</div>
+<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;                    <span class="keywordflow">continue</span>;</div>
+<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                func(e-&gt;getDstNode());</div>
+<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            }</div>
+<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;        }</div>
+<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;    }</div>
 </div><!-- fragment -->
-</div>
-</div>
-<h2 class="groupheader">Member Function Documentation</h2>
-<a id="afd0400cf19450143fa53b3a017e8a3cd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#afd0400cf19450143fa53b3a017e8a3cd">&#9670;&nbsp;</a></span>accept()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::CFBasicBlockGWTO::accept </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1WTOVisitor.html">WTOVisitor</a> *&#160;</td>
-          <td class="paramname"><em>v</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Accept the given visitor. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00570">570</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00571"></a><span class="lineno">  571</span>&#160;    {</div>
-<div class="line"><a name="l00572"></a><span class="lineno">  572</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;c: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>)</div>
-<div class="line"><a name="l00573"></a><span class="lineno">  573</span>&#160;        {</div>
-<div class="line"><a name="l00574"></a><span class="lineno">  574</span>&#160;            c-&gt;accept(v);</div>
-<div class="line"><a name="l00575"></a><span class="lineno">  575</span>&#160;        }</div>
-<div class="line"><a name="l00576"></a><span class="lineno">  576</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a62021e77023442dc809f6441cd3692c5"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a62021e77023442dc809f6441cd3692c5">&#9670;&nbsp;</a></span>begin()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">Iterator</a> SVF::CFBasicBlockGWTO::begin </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00521">521</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00522"></a><span class="lineno">  522</span>&#160;    {</div>
-<div class="line"><a name="l00523"></a><span class="lineno">  523</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>.cbegin();</div>
-<div class="line"><a name="l00524"></a><span class="lineno">  524</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a6cc2cb7b203e16b9cc8f5e121f39bd9f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6cc2cb7b203e16b9cc8f5e121f39bd9f">&#9670;&nbsp;</a></span>build()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::CFBasicBlockGWTO::build </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>entry</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00604">604</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00605"></a><span class="lineno">  605</span>&#160;    {</div>
-<div class="line"><a name="l00606"></a><span class="lineno">  606</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(entry, <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>);</div>
-<div class="line"><a name="l00607"></a><span class="lineno">  607</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.clear();</div>
-<div class="line"><a name="l00608"></a><span class="lineno">  608</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.clear();</div>
-<div class="line"><a name="l00609"></a><span class="lineno">  609</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">buildNodeToWTOCycleDepth</a>();</div>
-<div class="line"><a name="l00610"></a><span class="lineno">  610</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">build_tails</a>();</div>
-<div class="line"><a name="l00611"></a><span class="lineno">  611</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a371c7416c88df3c0b70addf9b88b305a"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a371c7416c88df3c0b70addf9b88b305a">&#9670;&nbsp;</a></span>build_tails()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">virtual void SVF::CFBasicBlockGWTO::build_tails </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Build the tails for each cycle. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00880">880</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00881"></a><span class="lineno">  881</span>&#160;    {</div>
-<div class="line"><a name="l00882"></a><span class="lineno">  882</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">const</span> <span class="keyword">auto</span> &amp;head: <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>)</div>
-<div class="line"><a name="l00883"></a><span class="lineno">  883</span>&#160;        {</div>
-<div class="line"><a name="l00884"></a><span class="lineno">  884</span>&#160;            <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a> tails;</div>
-<div class="line"><a name="l00885"></a><span class="lineno">  885</span>&#160;            TailBuilder builder(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>, <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>, tails, head.first, <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">getWTOCycleDepth</a>(head.first));</div>
-<div class="line"><a name="l00886"></a><span class="lineno">  886</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = head.second-&gt;begin(), eit = head.second-&gt;end(); it != eit; ++it)</div>
-<div class="line"><a name="l00887"></a><span class="lineno">  887</span>&#160;            {</div>
-<div class="line"><a name="l00888"></a><span class="lineno">  888</span>&#160;                (*it)-&gt;accept(&amp;builder);</div>
-<div class="line"><a name="l00889"></a><span class="lineno">  889</span>&#160;            }</div>
-<div class="line"><a name="l00890"></a><span class="lineno">  890</span>&#160;            <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a>.emplace(head.first, tails);</div>
-<div class="line"><a name="l00891"></a><span class="lineno">  891</span>&#160;        }</div>
-<div class="line"><a name="l00892"></a><span class="lineno">  892</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a50fa3b82172788c5e963d723b27900ba"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a50fa3b82172788c5e963d723b27900ba">&#9670;&nbsp;</a></span>buildNodeToWTOCycleDepth()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::CFBasicBlockGWTO::buildNodeToWTOCycleDepth </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Build the node to WTO cycle depth table. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00870">870</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00871"></a><span class="lineno">  871</span>&#160;    {</div>
-<div class="line"><a name="l00872"></a><span class="lineno">  872</span>&#160;        WTOCycleDepthBuilder builder(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>);</div>
-<div class="line"><a name="l00873"></a><span class="lineno">  873</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">begin</a>(), et = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">end</a>(); it != et; ++it)</div>
-<div class="line"><a name="l00874"></a><span class="lineno">  874</span>&#160;        {</div>
-<div class="line"><a name="l00875"></a><span class="lineno">  875</span>&#160;            (*it)-&gt;accept(&amp;builder);</div>
-<div class="line"><a name="l00876"></a><span class="lineno">  876</span>&#160;        }</div>
-<div class="line"><a name="l00877"></a><span class="lineno">  877</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a9dd4ed2f3347d529163a60e0386ea11d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a9dd4ed2f3347d529163a60e0386ea11d">&#9670;&nbsp;</a></span>component()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a>* SVF::CFBasicBlockGWTO::component </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>node</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Create the cycle component for the given node. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00766">766</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00767"></a><span class="lineno">  767</span>&#160;    {</div>
-<div class="line"><a name="l00768"></a><span class="lineno">  768</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> partition;</div>
-<div class="line"><a name="l00769"></a><span class="lineno">  769</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">const</span> CallICFGNode* callNode = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node-&gt;getICFGNodes().front()))</div>
-<div class="line"><a name="l00770"></a><span class="lineno">  770</span>&#160;        {</div>
-<div class="line"><a name="l00771"></a><span class="lineno">  771</span>&#160;            <span class="keyword">const</span> CFBasicBlockNode *succ = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(callNode-&gt;getRetICFGNode()-&gt;getId());</div>
-<div class="line"><a name="l00772"></a><span class="lineno">  772</span>&#160;            <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ) == 0)</div>
-<div class="line"><a name="l00773"></a><span class="lineno">  773</span>&#160;            {</div>
-<div class="line"><a name="l00774"></a><span class="lineno">  774</span>&#160;                <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
-<div class="line"><a name="l00775"></a><span class="lineno">  775</span>&#160;            }</div>
-<div class="line"><a name="l00776"></a><span class="lineno">  776</span>&#160;        }</div>
-<div class="line"><a name="l00777"></a><span class="lineno">  777</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00778"></a><span class="lineno">  778</span>&#160;        {</div>
-<div class="line"><a name="l00779"></a><span class="lineno">  779</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = node-&gt;getOutEdges().begin(), et = node-&gt;getOutEdges().end(); it != et; ++it)</div>
-<div class="line"><a name="l00780"></a><span class="lineno">  780</span>&#160;            {</div>
-<div class="line"><a name="l00781"></a><span class="lineno">  781</span>&#160;                <span class="keywordflow">if</span>((*it)-&gt;getICFGEdge() &amp;&amp; !(*it)-&gt;getICFGEdge()-&gt;isIntraCFGEdge()) <span class="keywordflow">continue</span>;</div>
-<div class="line"><a name="l00782"></a><span class="lineno">  782</span>&#160;                <span class="keyword">const</span> CFBasicBlockNode *succ = (*it)-&gt;getDstNode();</div>
-<div class="line"><a name="l00783"></a><span class="lineno">  783</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ) == 0)</div>
-<div class="line"><a name="l00784"></a><span class="lineno">  784</span>&#160;                {</div>
-<div class="line"><a name="l00785"></a><span class="lineno">  785</span>&#160;                    <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
-<div class="line"><a name="l00786"></a><span class="lineno">  786</span>&#160;                }</div>
-<div class="line"><a name="l00787"></a><span class="lineno">  787</span>&#160;            }</div>
-<div class="line"><a name="l00788"></a><span class="lineno">  788</span>&#160;        }</div>
-<div class="line"><a name="l00789"></a><span class="lineno">  789</span>&#160;        <span class="keyword">const</span> CFBasicBlockGWTOCycle *ptr = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">newCycle</a>(node, partition);</div>
-<div class="line"><a name="l00790"></a><span class="lineno">  790</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.emplace(node, ptr);</div>
-<div class="line"><a name="l00791"></a><span class="lineno">  791</span>&#160;        <span class="keywordflow">return</span> ptr;</div>
-<div class="line"><a name="l00792"></a><span class="lineno">  792</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="ad915ed46be9ae3dbd7ee8227c0dee40d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad915ed46be9ae3dbd7ee8227c0dee40d">&#9670;&nbsp;</a></span>end()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac767b7bdc3ee6f7e73fc36fa2d1e2745">Iterator</a> SVF::CFBasicBlockGWTO::end </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00526">526</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00527"></a><span class="lineno">  527</span>&#160;    {</div>
-<div class="line"><a name="l00528"></a><span class="lineno">  528</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">_components</a>.cend();</div>
-<div class="line"><a name="l00529"></a><span class="lineno">  529</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a0f3ba7dd8271cf960bba22a4dc38d02c"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a0f3ba7dd8271cf960bba22a4dc38d02c">&#9670;&nbsp;</a></span>getCDN()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> SVF::CFBasicBlockGWTO::getCDN </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>n</em></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Get the cycle depth number of the given node. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00713">713</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00714"></a><span class="lineno">  714</span>&#160;    {</div>
-<div class="line"><a name="l00715"></a><span class="lineno">  715</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
-<div class="line"><a name="l00716"></a><span class="lineno">  716</span>&#160;        <span class="keywordflow">if</span> (it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.end())</div>
-<div class="line"><a name="l00717"></a><span class="lineno">  717</span>&#160;        {</div>
-<div class="line"><a name="l00718"></a><span class="lineno">  718</span>&#160;            <span class="keywordflow">return</span> it-&gt;second;</div>
-<div class="line"><a name="l00719"></a><span class="lineno">  719</span>&#160;        }</div>
-<div class="line"><a name="l00720"></a><span class="lineno">  720</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00721"></a><span class="lineno">  721</span>&#160;        {</div>
-<div class="line"><a name="l00722"></a><span class="lineno">  722</span>&#160;            <span class="keywordflow">return</span> 0;</div>
-<div class="line"><a name="l00723"></a><span class="lineno">  723</span>&#160;        }</div>
-<div class="line"><a name="l00724"></a><span class="lineno">  724</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a4fb40a0bed7cad99e9be5480455a6a71"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4fb40a0bed7cad99e9be5480455a6a71">&#9670;&nbsp;</a></span>getTails()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">NodeRefSet</a>&amp; SVF::CFBasicBlockGWTO::getTails </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>node</em></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00546">546</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;    {</div>
-<div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a>.find(node);</div>
-<div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;        assert(it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">_headToTails</a>.end() &amp;&amp; <span class="stringliteral">&quot;node not found&quot;</span>);</div>
-<div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;        <span class="keywordflow">return</span> it-&gt;second;</div>
-<div class="line"><a name="l00551"></a><span class="lineno">  551</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a47b0a759cac2b4264b8c01dbe9f1c63f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a47b0a759cac2b4264b8c01dbe9f1c63f">&#9670;&nbsp;</a></span>getWTOCycleDepth()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#acc7a69f2e4d44bda34a84ed68667b803">CFBasicBlockGWTOCycleDepth</a>&amp; SVF::CFBasicBlockGWTO::getWTOCycleDepth </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>n</em></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Get the wto-cycle-depth of the given node. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00555">555</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;    {</div>
-<div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
-<div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;        assert(it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.end() &amp;&amp; <span class="stringliteral">&quot;node not found&quot;</span>);</div>
-<div class="line"><a name="l00559"></a><span class="lineno">  559</span>&#160;        <span class="keywordflow">return</span> *(it-&gt;second);</div>
-<div class="line"><a name="l00560"></a><span class="lineno">  560</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="ac2fdb330a81c28cae01858952d237c7e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac2fdb330a81c28cae01858952d237c7e">&#9670;&nbsp;</a></span>headBegin()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">NodeRefToWTOCycleMap::const_iterator SVF::CFBasicBlockGWTO::headBegin </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00536">536</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00537"></a><span class="lineno">  537</span>&#160;    {</div>
-<div class="line"><a name="l00538"></a><span class="lineno">  538</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.cbegin();</div>
-<div class="line"><a name="l00539"></a><span class="lineno">  539</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a822077820c188463603f8968c4535a60"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a822077820c188463603f8968c4535a60">&#9670;&nbsp;</a></span>headEnd()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">NodeRefToWTOCycleMap::const_iterator SVF::CFBasicBlockGWTO::headEnd </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00541">541</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00542"></a><span class="lineno">  542</span>&#160;    {</div>
-<div class="line"><a name="l00543"></a><span class="lineno">  543</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.cend();</div>
-<div class="line"><a name="l00544"></a><span class="lineno">  544</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a646f67339a7751f0e10ea42143e6894d"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a646f67339a7751f0e10ea42143e6894d">&#9670;&nbsp;</a></span>inNodeToCycleDepth()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::CFBasicBlockGWTO::inNodeToCycleDepth </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>n</em></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Whether the given node is in the node to cycle getCDN. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00563">563</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    {</div>
-<div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;        <span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.find(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
-<div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;        <span class="keywordflow">return</span> it != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">_nodeToDepth</a>.end();</div>
-<div class="line"><a name="l00567"></a><span class="lineno">  567</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="ade2b2aa77bba3781ab921d5c36eb881b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ade2b2aa77bba3781ab921d5c36eb881b">&#9670;&nbsp;</a></span>isHead()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">bool SVF::CFBasicBlockGWTO::isHead </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>node</em></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00531">531</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00532"></a><span class="lineno">  532</span>&#160;    {</div>
-<div class="line"><a name="l00533"></a><span class="lineno">  533</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.find(node) != <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">_headToCycle</a>.end();</div>
-<div class="line"><a name="l00534"></a><span class="lineno">  534</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a01822119935bdbe665743b13b4f2380e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a01822119935bdbe665743b13b4f2380e">&#9670;&nbsp;</a></span>newCycle()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockGWTOCycle.html">CFBasicBlockGWTOCycle</a>* SVF::CFBasicBlockGWTO::newCycle </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>node</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> &amp;&#160;</td>
-          <td class="paramname"><em>partition</em>&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00758">758</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00759"></a><span class="lineno">  759</span>&#160;    {</div>
-<div class="line"><a name="l00760"></a><span class="lineno">  760</span>&#160;        <span class="keyword">const</span> CFBasicBlockGWTOCycle *ptr = <span class="keyword">new</span> CFBasicBlockGWTOCycle(node, <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(partition));</div>
-<div class="line"><a name="l00761"></a><span class="lineno">  761</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a>.insert(ptr);</div>
-<div class="line"><a name="l00762"></a><span class="lineno">  762</span>&#160;        <span class="keywordflow">return</span> ptr;</div>
-<div class="line"><a name="l00763"></a><span class="lineno">  763</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="acab6d0c92dc8e03a97cc78b060a624c4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#acab6d0c92dc8e03a97cc78b060a624c4">&#9670;&nbsp;</a></span>newNode()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockGWTONode.html">CFBasicBlockGWTONode</a>* SVF::CFBasicBlockGWTO::newNode </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>node</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00751">751</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00752"></a><span class="lineno">  752</span>&#160;    {</div>
-<div class="line"><a name="l00753"></a><span class="lineno">  753</span>&#160;        <span class="keyword">const</span> CFBasicBlockGWTONode *ptr = <span class="keyword">new</span> CFBasicBlockGWTONode(node);</div>
-<div class="line"><a name="l00754"></a><span class="lineno">  754</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">_allComponents</a>.insert(ptr);</div>
-<div class="line"><a name="l00755"></a><span class="lineno">  755</span>&#160;        <span class="keywordflow">return</span> ptr;</div>
-<div class="line"><a name="l00756"></a><span class="lineno">  756</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a7d8243d86f5d98716770ec8f250ddf48"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a7d8243d86f5d98716770ec8f250ddf48">&#9670;&nbsp;</a></span>operator=() <span class="overload">[1/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a>&amp; SVF::CFBasicBlockGWTO::operator= </td>
-          <td>(</td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&amp;&#160;</td>
-          <td class="paramname"><em>other</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">default</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-</div>
-</div>
-<a id="a4041183a3671e35c6b0723e76a34a4f3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a4041183a3671e35c6b0723e76a34a4f3">&#9670;&nbsp;</a></span>operator=() <span class="overload">[2/2]</span></h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a>&amp; SVF::CFBasicBlockGWTO::operator= </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&#160;</td>
-          <td class="paramname"><em>other</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">default</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-</div>
-</div>
-<a id="ad8d9315b18c019bada948380f8a4bb35"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad8d9315b18c019bada948380f8a4bb35">&#9670;&nbsp;</a></span>pop()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a>* SVF::CFBasicBlockGWTO::pop </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Pop a node from the stack. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00737">737</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00738"></a><span class="lineno">  738</span>&#160;    {</div>
-<div class="line"><a name="l00739"></a><span class="lineno">  739</span>&#160;        assert(!<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.empty() &amp;&amp; <span class="stringliteral">&quot;empty stack&quot;</span>);</div>
-<div class="line"><a name="l00740"></a><span class="lineno">  740</span>&#160;        <span class="keyword">const</span> CFBasicBlockNode *top = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.back();</div>
-<div class="line"><a name="l00741"></a><span class="lineno">  741</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.pop_back();</div>
-<div class="line"><a name="l00742"></a><span class="lineno">  742</span>&#160;        <span class="keywordflow">return</span> top;</div>
-<div class="line"><a name="l00743"></a><span class="lineno">  743</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="ad9665cea2ec92371ecab7e86f7ac2923"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad9665cea2ec92371ecab7e86f7ac2923">&#9670;&nbsp;</a></span>push()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::CFBasicBlockGWTO::push </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>n</em></td><td>)</td>
-          <td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Push a node on the stack. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00746">746</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00747"></a><span class="lineno">  747</span>&#160;    {</div>
-<div class="line"><a name="l00748"></a><span class="lineno">  748</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">_stack</a>.push_back(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>);</div>
-<div class="line"><a name="l00749"></a><span class="lineno">  749</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a49d0128828b44df0a8631dd193ed8898"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a49d0128828b44df0a8631dd193ed8898">&#9670;&nbsp;</a></span>setCDN()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">void SVF::CFBasicBlockGWTO::setCDN </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>n</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> &amp;&#160;</td>
-          <td class="paramname"><em>Depth</em>&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Set the cycle depth number of the given node. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00727">727</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00728"></a><span class="lineno">  728</span>&#160;    {</div>
-<div class="line"><a name="l00729"></a><span class="lineno">  729</span>&#160;        <span class="keyword">auto</span> res = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">_nodeToCDN</a>.insert(std::make_pair(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, Depth));</div>
-<div class="line"><a name="l00730"></a><span class="lineno">  730</span>&#160;        <span class="keywordflow">if</span> (!res.second)</div>
-<div class="line"><a name="l00731"></a><span class="lineno">  731</span>&#160;        {</div>
-<div class="line"><a name="l00732"></a><span class="lineno">  732</span>&#160;            (res.first)-&gt;second = Depth;</div>
-<div class="line"><a name="l00733"></a><span class="lineno">  733</span>&#160;        }</div>
-<div class="line"><a name="l00734"></a><span class="lineno">  734</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="a2b918d80839deaf3e1b1fa9fe984dbec"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2b918d80839deaf3e1b1fa9fe984dbec">&#9670;&nbsp;</a></span>toString()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::CFBasicBlockGWTO::toString </td>
-          <td>(</td>
-          <td class="paramname"></td><td>)</td>
-          <td> const</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00578">578</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00579"></a><span class="lineno">  579</span>&#160;    {</div>
-<div class="line"><a name="l00580"></a><span class="lineno">  580</span>&#160;        <a class="code" href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">std::string</a> str;</div>
-<div class="line"><a name="l00581"></a><span class="lineno">  581</span>&#160;        std::stringstream rawstr(str);</div>
-<div class="line"><a name="l00582"></a><span class="lineno">  582</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div>
-<div class="line"><a name="l00583"></a><span class="lineno">  583</span>&#160;        <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">begin</a>(), et = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">end</a>(); it != et;)</div>
-<div class="line"><a name="l00584"></a><span class="lineno">  584</span>&#160;        {</div>
-<div class="line"><a name="l00585"></a><span class="lineno">  585</span>&#160;            rawstr &lt;&lt; (*it)-&gt;toString();</div>
-<div class="line"><a name="l00586"></a><span class="lineno">  586</span>&#160;            ++it;</div>
-<div class="line"><a name="l00587"></a><span class="lineno">  587</span>&#160;            <span class="keywordflow">if</span> (it != et)</div>
-<div class="line"><a name="l00588"></a><span class="lineno">  588</span>&#160;            {</div>
-<div class="line"><a name="l00589"></a><span class="lineno">  589</span>&#160;                rawstr &lt;&lt; <span class="stringliteral">&quot;, &quot;</span>;</div>
-<div class="line"><a name="l00590"></a><span class="lineno">  590</span>&#160;            }</div>
-<div class="line"><a name="l00591"></a><span class="lineno">  591</span>&#160;        }</div>
-<div class="line"><a name="l00592"></a><span class="lineno">  592</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;]&quot;</span>;</div>
-<div class="line"><a name="l00593"></a><span class="lineno">  593</span>&#160;        <span class="keywordflow">return</span> rawstr.str();</div>
-<div class="line"><a name="l00594"></a><span class="lineno">  594</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<a id="af7351af6e43b593b9915ed2a2d0d16fb"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#af7351af6e43b593b9915ed2a2d0d16fb">&#9670;&nbsp;</a></span>visit()</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">virtual <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> SVF::CFBasicBlockGWTO::visit </td>
-          <td>(</td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockNode.html">CFBasicBlockNode</a> *&#160;</td>
-          <td class="paramname"><em>node</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> &amp;&#160;</td>
-          <td class="paramname"><em>partition</em>&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p>Main algorithm to build WTO. </p>
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00795">795</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00796"></a><span class="lineno">  796</span>&#160;    {</div>
-<div class="line"><a name="l00797"></a><span class="lineno">  797</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> head(0);</div>
-<div class="line"><a name="l00798"></a><span class="lineno">  798</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> min(0);</div>
-<div class="line"><a name="l00799"></a><span class="lineno">  799</span>&#160;        <span class="keywordtype">bool</span> loop;</div>
-<div class="line"><a name="l00800"></a><span class="lineno">  800</span>&#160; </div>
-<div class="line"><a name="l00801"></a><span class="lineno">  801</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">push</a>(node);</div>
-<div class="line"><a name="l00802"></a><span class="lineno">  802</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a> += <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>(1);</div>
-<div class="line"><a name="l00803"></a><span class="lineno">  803</span>&#160;        head = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">_num</a>;</div>
-<div class="line"><a name="l00804"></a><span class="lineno">  804</span>&#160;        <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a>(node, head);</div>
-<div class="line"><a name="l00805"></a><span class="lineno">  805</span>&#160;        loop = <span class="keyword">false</span>;</div>
-<div class="line"><a name="l00806"></a><span class="lineno">  806</span>&#160;        <span class="keywordflow">if</span> (<span class="keyword">const</span> CallICFGNode* callNode = SVFUtil::dyn_cast&lt;CallICFGNode&gt;(node-&gt;getICFGNodes().front()))</div>
-<div class="line"><a name="l00807"></a><span class="lineno">  807</span>&#160;        {</div>
-<div class="line"><a name="l00808"></a><span class="lineno">  808</span>&#160;            <span class="keyword">const</span> CFBasicBlockNode *succ = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">_graph</a>-&gt;<a class="code" href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">getCFBasicBlockNode</a>(callNode-&gt;getRetICFGNode()-&gt;getId());</div>
-<div class="line"><a name="l00809"></a><span class="lineno">  809</span>&#160;            <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> succ_dfn = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ);</div>
-<div class="line"><a name="l00810"></a><span class="lineno">  810</span>&#160;            <span class="keywordflow">if</span> (succ_dfn == <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>(0))</div>
-<div class="line"><a name="l00811"></a><span class="lineno">  811</span>&#160;            {</div>
-<div class="line"><a name="l00812"></a><span class="lineno">  812</span>&#160;                min = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
-<div class="line"><a name="l00813"></a><span class="lineno">  813</span>&#160;            }</div>
-<div class="line"><a name="l00814"></a><span class="lineno">  814</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00815"></a><span class="lineno">  815</span>&#160;            {</div>
-<div class="line"><a name="l00816"></a><span class="lineno">  816</span>&#160;                min = succ_dfn;</div>
-<div class="line"><a name="l00817"></a><span class="lineno">  817</span>&#160;            }</div>
-<div class="line"><a name="l00818"></a><span class="lineno">  818</span>&#160;            <span class="keywordflow">if</span> (min &lt;= head)</div>
-<div class="line"><a name="l00819"></a><span class="lineno">  819</span>&#160;            {</div>
-<div class="line"><a name="l00820"></a><span class="lineno">  820</span>&#160;                head = min;</div>
-<div class="line"><a name="l00821"></a><span class="lineno">  821</span>&#160;                loop = <span class="keyword">true</span>;</div>
-<div class="line"><a name="l00822"></a><span class="lineno">  822</span>&#160;            }</div>
-<div class="line"><a name="l00823"></a><span class="lineno">  823</span>&#160;        }</div>
-<div class="line"><a name="l00824"></a><span class="lineno">  824</span>&#160;        <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00825"></a><span class="lineno">  825</span>&#160;        {</div>
-<div class="line"><a name="l00826"></a><span class="lineno">  826</span>&#160;            <span class="keywordflow">for</span> (<span class="keyword">auto</span> it = node-&gt;getOutEdges().begin(), et = node-&gt;getOutEdges().end(); it != et; ++it)</div>
-<div class="line"><a name="l00827"></a><span class="lineno">  827</span>&#160;            {</div>
-<div class="line"><a name="l00828"></a><span class="lineno">  828</span>&#160;                <span class="keywordflow">if</span>((*it)-&gt;getICFGEdge() &amp;&amp; !(*it)-&gt;getICFGEdge()-&gt;isIntraCFGEdge()) <span class="keywordflow">continue</span>;</div>
-<div class="line"><a name="l00829"></a><span class="lineno">  829</span>&#160;                <span class="keyword">const</span> CFBasicBlockNode *succ = (*it)-&gt;getDstNode();</div>
-<div class="line"><a name="l00830"></a><span class="lineno">  830</span>&#160;                <span class="keywordflow">if</span> (succ-&gt;getFunction() != node-&gt;getFunction())</div>
-<div class="line"><a name="l00831"></a><span class="lineno">  831</span>&#160;                    <span class="keywordflow">continue</span>;</div>
-<div class="line"><a name="l00832"></a><span class="lineno">  832</span>&#160;                <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> succ_dfn = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(succ);</div>
-<div class="line"><a name="l00833"></a><span class="lineno">  833</span>&#160;                <span class="keywordflow">if</span> (succ_dfn == <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a>(0))</div>
-<div class="line"><a name="l00834"></a><span class="lineno">  834</span>&#160;                {</div>
-<div class="line"><a name="l00835"></a><span class="lineno">  835</span>&#160;                    min = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">visit</a>(succ, partition);</div>
-<div class="line"><a name="l00836"></a><span class="lineno">  836</span>&#160;                }</div>
-<div class="line"><a name="l00837"></a><span class="lineno">  837</span>&#160;                <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00838"></a><span class="lineno">  838</span>&#160;                {</div>
-<div class="line"><a name="l00839"></a><span class="lineno">  839</span>&#160;                    min = succ_dfn;</div>
-<div class="line"><a name="l00840"></a><span class="lineno">  840</span>&#160;                }</div>
-<div class="line"><a name="l00841"></a><span class="lineno">  841</span>&#160;                <span class="keywordflow">if</span> (min &lt;= head)</div>
-<div class="line"><a name="l00842"></a><span class="lineno">  842</span>&#160;                {</div>
-<div class="line"><a name="l00843"></a><span class="lineno">  843</span>&#160;                    head = min;</div>
-<div class="line"><a name="l00844"></a><span class="lineno">  844</span>&#160;                    loop = <span class="keyword">true</span>;</div>
-<div class="line"><a name="l00845"></a><span class="lineno">  845</span>&#160;                }</div>
-<div class="line"><a name="l00846"></a><span class="lineno">  846</span>&#160;            }</div>
-<div class="line"><a name="l00847"></a><span class="lineno">  847</span>&#160;        }</div>
-<div class="line"><a name="l00848"></a><span class="lineno">  848</span>&#160;        <span class="keywordflow">if</span> (head == <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">getCDN</a>(node))</div>
-<div class="line"><a name="l00849"></a><span class="lineno">  849</span>&#160;        {</div>
-<div class="line"><a name="l00850"></a><span class="lineno">  850</span>&#160;            <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a>(node, UINT_MAX);</div>
-<div class="line"><a name="l00851"></a><span class="lineno">  851</span>&#160;            <span class="keyword">const</span> CFBasicBlockNode *element = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">pop</a>();</div>
-<div class="line"><a name="l00852"></a><span class="lineno">  852</span>&#160;            <span class="keywordflow">if</span> (loop)</div>
-<div class="line"><a name="l00853"></a><span class="lineno">  853</span>&#160;            {</div>
-<div class="line"><a name="l00854"></a><span class="lineno">  854</span>&#160;                <span class="keywordflow">while</span> (element != node)</div>
-<div class="line"><a name="l00855"></a><span class="lineno">  855</span>&#160;                {</div>
-<div class="line"><a name="l00856"></a><span class="lineno">  856</span>&#160;                    <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">setCDN</a>(element, 0);</div>
-<div class="line"><a name="l00857"></a><span class="lineno">  857</span>&#160;                    element = <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">pop</a>();</div>
-<div class="line"><a name="l00858"></a><span class="lineno">  858</span>&#160;                }</div>
-<div class="line"><a name="l00859"></a><span class="lineno">  859</span>&#160;                partition.push_front(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">component</a>(node));</div>
-<div class="line"><a name="l00860"></a><span class="lineno">  860</span>&#160;            }</div>
-<div class="line"><a name="l00861"></a><span class="lineno">  861</span>&#160;            <span class="keywordflow">else</span></div>
-<div class="line"><a name="l00862"></a><span class="lineno">  862</span>&#160;            {</div>
-<div class="line"><a name="l00863"></a><span class="lineno">  863</span>&#160;                partition.push_front(<a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">newNode</a>(node));</div>
-<div class="line"><a name="l00864"></a><span class="lineno">  864</span>&#160;            }</div>
-<div class="line"><a name="l00865"></a><span class="lineno">  865</span>&#160;        }</div>
-<div class="line"><a name="l00866"></a><span class="lineno">  866</span>&#160;        <span class="keywordflow">return</span> head;</div>
-<div class="line"><a name="l00867"></a><span class="lineno">  867</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<h2 class="groupheader">Friends And Related Function Documentation</h2>
-<a id="a622b439ca78cc523abe308b26daa337b"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a622b439ca78cc523abe308b26daa337b">&#9670;&nbsp;</a></span>operator&lt;&lt;</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname">std::ostream&amp; operator&lt;&lt; </td>
-          <td>(</td>
-          <td class="paramtype">std::ostream &amp;&#160;</td>
-          <td class="paramname"><em>o</em>, </td>
-        </tr>
-        <tr>
-          <td class="paramkey"></td>
-          <td></td>
-          <td class="paramtype">const <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html">CFBasicBlockGWTO</a> &amp;&#160;</td>
-          <td class="paramname"><em>CFBasicBlockGWTO</em>&#160;</td>
-        </tr>
-        <tr>
-          <td></td>
-          <td>)</td>
-          <td></td><td></td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">friend</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00596">596</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00597"></a><span class="lineno">  597</span>&#160;    {</div>
-<div class="line"><a name="l00598"></a><span class="lineno">  598</span>&#160;        o &lt;&lt; <a class="code" href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">CFBasicBlockGWTO</a>.toString();</div>
-<div class="line"><a name="l00599"></a><span class="lineno">  599</span>&#160;        <span class="keywordflow">return</span> o;</div>
-<div class="line"><a name="l00600"></a><span class="lineno">  600</span>&#160;    }</div>
-</div><!-- fragment -->
-</div>
-</div>
-<h2 class="groupheader">Member Data Documentation</h2>
-<a id="ac70fb325200079c4ffee90e1666a3694"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ac70fb325200079c4ffee90e1666a3694">&#9670;&nbsp;</a></span>_allComponents</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a2a453341c33faac3e74bb54d8da6db18">WTOCompRefSet</a> SVF::CFBasicBlockGWTO::_allComponents</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00488">488</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="add361ba0493a8fc9e9b08a4076a8e171"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#add361ba0493a8fc9e9b08a4076a8e171">&#9670;&nbsp;</a></span>_components</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">WTOCompRefList</a> SVF::CFBasicBlockGWTO::_components</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00487">487</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ad00addfd46be014c35a6ffbc9333d7f3"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ad00addfd46be014c35a6ffbc9333d7f3">&#9670;&nbsp;</a></span>_graph</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGraph.html">CFBasicBlockGraph</a>* SVF::CFBasicBlockGWTO::_graph</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00495">495</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ab9fa2e63665b25c8fb771e92dc9b19dc"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ab9fa2e63665b25c8fb771e92dc9b19dc">&#9670;&nbsp;</a></span>_headToCycle</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a3c454131bb83a95d23070d0d732e4e5f">NodeRefToWTOCycleMap</a> SVF::CFBasicBlockGWTO::_headToCycle</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00489">489</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="abb5b72dbfa6f00bf952f1b71deb48598"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#abb5b72dbfa6f00bf952f1b71deb48598">&#9670;&nbsp;</a></span>_headToTails</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a8ebe4f04e2c73a441e58b2e0533a75a5">NodeRefToNodeRefSetMap</a> SVF::CFBasicBlockGWTO::_headToTails</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00490">490</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a84e542a2dc10c8d7e306b0134c66c02e"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a84e542a2dc10c8d7e306b0134c66c02e">&#9670;&nbsp;</a></span>_nodeToCDN</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae675544cc2cfc61ef9e37c4f20fa6109">NodeRefToCycleDepthNumber</a> SVF::CFBasicBlockGWTO::_nodeToCDN</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00492">492</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="ada96b743fb0fd92f5f2c539130404187"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#ada96b743fb0fd92f5f2c539130404187">&#9670;&nbsp;</a></span>_nodeToDepth</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ac63d14c8e4957217f71f507d05f3ec5a">NodeRefToWTOCycleDepthPtr</a> SVF::CFBasicBlockGWTO::_nodeToDepth</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00491">491</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a6f04a2b3e141e0b4df24ec6cfdf79532"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a6f04a2b3e141e0b4df24ec6cfdf79532">&#9670;&nbsp;</a></span>_num</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">CycleDepthNumber</a> SVF::CFBasicBlockGWTO::_num</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00493">493</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
-</div>
-</div>
-<a id="a97fb5b5dff4b1b08ee6fb09876630303"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a97fb5b5dff4b1b08ee6fb09876630303">&#9670;&nbsp;</a></span>_stack</h2>
-
-<div class="memitem">
-<div class="memproto">
-<table class="mlabels">
-  <tr>
-  <td class="mlabels-left">
-      <table class="memname">
-        <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#ae4fd19b6216a43afdac4edae42f22a26">CFBasicBlockNodes</a> SVF::CFBasicBlockGWTO::_stack</td>
-        </tr>
-      </table>
-  </td>
-  <td class="mlabels-right">
-<span class="mlabels"><span class="mlabel">protected</span></span>  </td>
-  </tr>
-</table>
-</div><div class="memdoc">
-
-<p class="definition">Definition at line <a class="el" href="WTO_8h_source.html#l00494">494</a> of file <a class="el" href="WTO_8h_source.html">WTO.h</a>.</p>
-
 </div>
 </div>
 <hr/>The documentation for this class was generated from the following file:<ul>
-<li>/home/runner/work/SVF/SVF/svf/include/AbstractExecution/<a class="el" href="WTO_8h_source.html">WTO.h</a></li>
+<li>/home/runner/work/SVF/SVF/svf/include/AbstractExecution/<a class="el" href="CFBasicBlockGWTO_8h_source.html">CFBasicBlockGWTO.h</a></li>
 </ul>
 </div><!-- contents -->
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ada27aa4f9b577c7f7cef09e9936327f2"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ada27aa4f9b577c7f7cef09e9936327f2">SVF::CFBasicBlockGWTO::NodeRefSet</a></div><div class="ttdeci">Set&lt; const CFBasicBlockNode * &gt; NodeRefSet</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00469">WTO.h:469</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a19ae57653ecb3c74d030bed48327ed0e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a19ae57653ecb3c74d030bed48327ed0e">SVF::CFBasicBlockGWTO::CycleDepthNumber</a></div><div class="ttdeci">u32_t CycleDepthNumber</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00477">WTO.h:477</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a62021e77023442dc809f6441cd3692c5"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a62021e77023442dc809f6441cd3692c5">SVF::CFBasicBlockGWTO::begin</a></div><div class="ttdeci">Iterator begin() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00521">WTO.h:521</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a84e542a2dc10c8d7e306b0134c66c02e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a84e542a2dc10c8d7e306b0134c66c02e">SVF::CFBasicBlockGWTO::_nodeToCDN</a></div><div class="ttdeci">NodeRefToCycleDepthNumber _nodeToCDN</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00492">WTO.h:492</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a47b0a759cac2b4264b8c01dbe9f1c63f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a47b0a759cac2b4264b8c01dbe9f1c63f">SVF::CFBasicBlockGWTO::getWTOCycleDepth</a></div><div class="ttdeci">const CFBasicBlockGWTOCycleDepth &amp; getWTOCycleDepth(const CFBasicBlockNode *n) const</div><div class="ttdoc">Get the wto-cycle-depth of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00555">WTO.h:555</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a1e6c7cb2b79de62cbad8d29980d5cf38"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a1e6c7cb2b79de62cbad8d29980d5cf38">SVF::CFBasicBlockGWTO::WTOCompRefList</a></div><div class="ttdeci">std::list&lt; const CFBasicBlockGWTOComp * &gt; WTOCompRefList</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00472">WTO.h:472</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a0f3ba7dd8271cf960bba22a4dc38d02c"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a0f3ba7dd8271cf960bba22a4dc38d02c">SVF::CFBasicBlockGWTO::getCDN</a></div><div class="ttdeci">CycleDepthNumber getCDN(const CFBasicBlockNode *n) const</div><div class="ttdoc">Get the cycle depth number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00713">WTO.h:713</a></div></div>
-<div class="ttc" id="acJSON_8cpp_html_ab6e2ea6dc7bd57d1483413449998230a"><div class="ttname"><a href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a></div><div class="ttdeci">cJSON * n</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02558">cJSON.cpp:2558</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a6f04a2b3e141e0b4df24ec6cfdf79532"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6f04a2b3e141e0b4df24ec6cfdf79532">SVF::CFBasicBlockGWTO::_num</a></div><div class="ttdeci">CycleDepthNumber _num</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00493">WTO.h:493</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ab9fa2e63665b25c8fb771e92dc9b19dc"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ab9fa2e63665b25c8fb771e92dc9b19dc">SVF::CFBasicBlockGWTO::_headToCycle</a></div><div class="ttdeci">NodeRefToWTOCycleMap _headToCycle</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00489">WTO.h:489</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_add361ba0493a8fc9e9b08a4076a8e171"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#add361ba0493a8fc9e9b08a4076a8e171">SVF::CFBasicBlockGWTO::_components</a></div><div class="ttdeci">WTOCompRefList _components</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00487">WTO.h:487</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a01822119935bdbe665743b13b4f2380e"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a01822119935bdbe665743b13b4f2380e">SVF::CFBasicBlockGWTO::newCycle</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * newCycle(const CFBasicBlockNode *node, const WTOCompRefList &amp;partition)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00758">WTO.h:758</a></div></div>
-<div class="ttc" id="acJSON_8h_html_ad4c68ea99a26b0a98ad9a79982960458"><div class="ttname"><a href="cJSON_8h.html#ad4c68ea99a26b0a98ad9a79982960458">string</a></div><div class="ttdeci">const char *const string</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8h_source.html#l00172">cJSON.h:172</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad9665cea2ec92371ecab7e86f7ac2923"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad9665cea2ec92371ecab7e86f7ac2923">SVF::CFBasicBlockGWTO::push</a></div><div class="ttdeci">void push(const CFBasicBlockNode *n)</div><div class="ttdoc">Push a node on the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00746">WTO.h:746</a></div></div>
+<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a78a298146b9c8c3af09ac9744b9043ca"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a78a298146b9c8c3af09ac9744b9043ca">SVF::CFBasicBlockGWTO::Base</a></div><div class="ttdeci">WTO&lt; CFBasicBlockGraph &gt; Base</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockGWTO_8h_source.html#l00048">CFBasicBlockGWTO.h:48</a></div></div>
 <div class="ttc" id="aclassSVF_1_1CFBasicBlockGraph_html_a54200b5a7c41c2ba19660da34c295e81"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGraph.html#a54200b5a7c41c2ba19660da34c295e81">SVF::CFBasicBlockGraph::getCFBasicBlockNode</a></div><div class="ttdeci">CFBasicBlockNode * getCFBasicBlockNode(u32_t id) const</div><div class="ttdef"><b>Definition:</b> <a href="CFBasicBlockG_8h_source.html#l00368">CFBasicBlockG.h:368</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a50fa3b82172788c5e963d723b27900ba"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a50fa3b82172788c5e963d723b27900ba">SVF::CFBasicBlockGWTO::buildNodeToWTOCycleDepth</a></div><div class="ttdeci">void buildNodeToWTOCycleDepth()</div><div class="ttdoc">Build the node to WTO cycle depth table.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00870">WTO.h:870</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ac70fb325200079c4ffee90e1666a3694"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ac70fb325200079c4ffee90e1666a3694">SVF::CFBasicBlockGWTO::_allComponents</a></div><div class="ttdeci">WTOCompRefSet _allComponents</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00488">WTO.h:488</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_abb5b72dbfa6f00bf952f1b71deb48598"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#abb5b72dbfa6f00bf952f1b71deb48598">SVF::CFBasicBlockGWTO::_headToTails</a></div><div class="ttdeci">NodeRefToNodeRefSetMap _headToTails</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00490">WTO.h:490</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a97fb5b5dff4b1b08ee6fb09876630303"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a97fb5b5dff4b1b08ee6fb09876630303">SVF::CFBasicBlockGWTO::_stack</a></div><div class="ttdeci">CFBasicBlockNodes _stack</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00494">WTO.h:494</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a371c7416c88df3c0b70addf9b88b305a"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a371c7416c88df3c0b70addf9b88b305a">SVF::CFBasicBlockGWTO::build_tails</a></div><div class="ttdeci">virtual void build_tails()</div><div class="ttdoc">Build the tails for each cycle.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00880">WTO.h:880</a></div></div>
-<div class="ttc" id="anamespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00621">SVFUtil.h:621</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a6cc2cb7b203e16b9cc8f5e121f39bd9f"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO::build</a></div><div class="ttdeci">void build(const CFBasicBlockNode *entry)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00604">WTO.h:604</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad8d9315b18c019bada948380f8a4bb35"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad8d9315b18c019bada948380f8a4bb35">SVF::CFBasicBlockGWTO::pop</a></div><div class="ttdeci">const CFBasicBlockNode * pop()</div><div class="ttdoc">Pop a node from the stack.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00737">WTO.h:737</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_acab6d0c92dc8e03a97cc78b060a624c4"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#acab6d0c92dc8e03a97cc78b060a624c4">SVF::CFBasicBlockGWTO::newNode</a></div><div class="ttdeci">const CFBasicBlockGWTONode * newNode(const CFBasicBlockNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00751">WTO.h:751</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a49d0128828b44df0a8631dd193ed8898"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a49d0128828b44df0a8631dd193ed8898">SVF::CFBasicBlockGWTO::setCDN</a></div><div class="ttdeci">void setCDN(const CFBasicBlockNode *n, const CycleDepthNumber &amp;Depth)</div><div class="ttdoc">Set the cycle depth number of the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00727">WTO.h:727</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_a9dd4ed2f3347d529163a60e0386ea11d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#a9dd4ed2f3347d529163a60e0386ea11d">SVF::CFBasicBlockGWTO::component</a></div><div class="ttdeci">const CFBasicBlockGWTOCycle * component(const CFBasicBlockNode *node)</div><div class="ttdoc">Create the cycle component for the given node.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00766">WTO.h:766</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad00addfd46be014c35a6ffbc9333d7f3"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad00addfd46be014c35a6ffbc9333d7f3">SVF::CFBasicBlockGWTO::_graph</a></div><div class="ttdeci">CFBasicBlockGraph * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00495">WTO.h:495</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ada96b743fb0fd92f5f2c539130404187"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ada96b743fb0fd92f5f2c539130404187">SVF::CFBasicBlockGWTO::_nodeToDepth</a></div><div class="ttdeci">NodeRefToWTOCycleDepthPtr _nodeToDepth</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00491">WTO.h:491</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ab4049975aad5b59c31bb5501ff7465c8"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ab4049975aad5b59c31bb5501ff7465c8">SVF::CFBasicBlockGWTO::CFBasicBlockGWTO</a></div><div class="ttdeci">CFBasicBlockGWTO()</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00498">WTO.h:498</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_ad915ed46be9ae3dbd7ee8227c0dee40d"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#ad915ed46be9ae3dbd7ee8227c0dee40d">SVF::CFBasicBlockGWTO::end</a></div><div class="ttdeci">Iterator end() const</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00526">WTO.h:526</a></div></div>
-<div class="ttc" id="aclassSVF_1_1CFBasicBlockGWTO_html_af7351af6e43b593b9915ed2a2d0d16fb"><div class="ttname"><a href="classSVF_1_1CFBasicBlockGWTO.html#af7351af6e43b593b9915ed2a2d0d16fb">SVF::CFBasicBlockGWTO::visit</a></div><div class="ttdeci">virtual CycleDepthNumber visit(const CFBasicBlockNode *node, WTOCompRefList &amp;partition)</div><div class="ttdoc">Main algorithm to build WTO.</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00795">WTO.h:795</a></div></div>
+<div class="ttc" id="aclassSVF_1_1WTO_html_ae8e57cc333199bc8b5aaff0a825eed47"><div class="ttname"><a href="classSVF_1_1WTO.html#ae8e57cc333199bc8b5aaff0a825eed47">SVF::WTO&lt; CFBasicBlockGraph &gt;::_graph</a></div><div class="ttdeci">CFBasicBlockGraph * _graph</div><div class="ttdef"><b>Definition:</b> <a href="WTO_8h_source.html#l00550">WTO.h:550</a></div></div>
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>
 Generated by &#160;<a href="http://www.doxygen.org/index.html">