svf-tools 1.0.581 → 1.0.583

package/SVF-doxygen/html/html/classSVF_1_1CFLNode.html

@@ -63,7 +63,9 @@ $(function() {
 </div><!-- top -->
 <div class="header">
   <div class="summary">
+<a href="#pub-types">Public Types</a> &#124;
 <a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
 <a href="classSVF_1_1CFLNode-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">SVF::CFLNode Class Reference</div>  </div>
@@ -81,12 +83,48 @@ Inheritance diagram for SVF::CFLNode:</div>
 </map>
  </div></div>
 <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:ade95ad99cb4d89e5eeb5ce7043e80852"><td class="memItemLeft" align="right" valign="top">typedef std::map&lt; <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>, <a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdge::CFLEdgeSetTy</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">CFLEdgeDataTy</a></td></tr>
+<tr class="memdesc:ade95ad99cb4d89e5eeb5ce7043e80852"><td class="mdescLeft">&#160;</td><td class="mdescRight">Different Kind(label) associated edges set.  <a href="#ade95ad99cb4d89e5eeb5ce7043e80852">More...</a><br /></td></tr>
+<tr class="separator:ade95ad99cb4d89e5eeb5ce7043e80852"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GenericNode"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericNode')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;</a></td></tr>
+<tr class="memitem:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a></td></tr>
+<tr class="separator:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a458c626543431b4314f5f4f532eb51de inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a></td></tr>
+<tr class="separator:a458c626543431b4314f5f4f532eb51de inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a></td></tr>
+<tr class="memdesc:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Edge kind.  <a href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">More...</a><br /></td></tr>
+<tr class="separator:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a03c6da4a73c47f84f5c5b47252bc339a inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *, typename <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">EdgeType::equalGEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a></td></tr>
+<tr class="separator:a03c6da4a73c47f84f5c5b47252bc339a inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2f5471985dfe62bc9ded830a693ab153 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef GEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a></td></tr>
+<tr class="separator:a2f5471985dfe62bc9ded830a693ab153 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab6dc1ae41ae23b383f8add474caa7429 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef GEdgeSetTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a></td></tr>
+<tr class="separator:ab6dc1ae41ae23b383f8add474caa7429 inherit pub_types_classSVF_1_1GenericNode"><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:a235dcc5d8115d8450230638ce68070d6"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a235dcc5d8115d8450230638ce68070d6">CFLNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i=0, <a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> k=0)</td></tr>
 <tr class="separator:a235dcc5d8115d8450230638ce68070d6"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:acdb5d04eae48b26bb21f8738c62cd3bf"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#acdb5d04eae48b26bb21f8738c62cd3bf">~CFLNode</a> () override=default</td></tr>
 <tr class="separator:acdb5d04eae48b26bb21f8738c62cd3bf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a38123f7bd5e33fb085d0108bcbdc9729"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdge::CFLEdgeSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a38123f7bd5e33fb085d0108bcbdc9729">getInEdgeWithTy</a> (<a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> s)</td></tr>
+<tr class="separator:a38123f7bd5e33fb085d0108bcbdc9729"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0a1b7384a42cad855bddf881e0e09542"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdge::CFLEdgeSetTy</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a0a1b7384a42cad855bddf881e0e09542">getOutEdgeWithTy</a> (<a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> s)</td></tr>
+<tr class="separator:a0a1b7384a42cad855bddf881e0e09542"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a2c4c59e6c12a2a0efb1d58702c7062c2"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2">addInEdgeWithKind</a> (<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *inEdge, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> s)</td></tr>
+<tr class="separator:a2c4c59e6c12a2a0efb1d58702c7062c2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0d01ba68e875806fa24d7c1369924da5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a0d01ba68e875806fa24d7c1369924da5">addIngoingEdge</a> (<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *inEdge)</td></tr>
+<tr class="separator:a0d01ba68e875806fa24d7c1369924da5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a22578acf04df6b655766f9a9d54f18d5"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5">addOutEdgeWithKind</a> (<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *outEdge, <a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a> s)</td></tr>
+<tr class="separator:a22578acf04df6b655766f9a9d54f18d5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7bea51b304d0aa2f3a9669252ceda46d"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a7bea51b304d0aa2f3a9669252ceda46d">addOutgoingEdge</a> (<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *OutEdge)</td></tr>
+<tr class="separator:a7bea51b304d0aa2f3a9669252ceda46d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a60dfc3e421558eecee5065e8ae5f984a"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a60dfc3e421558eecee5065e8ae5f984a">removeCFLInEdge</a> (<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *inEdge)</td></tr>
+<tr class="separator:a60dfc3e421558eecee5065e8ae5f984a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a821078d812986c488932610063d7509f"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a821078d812986c488932610063d7509f">removeCFLOutEdge</a> (<a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *outEdge)</td></tr>
+<tr class="separator:a821078d812986c488932610063d7509f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1GenericNode"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1GenericNode')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;</a></td></tr>
 <tr class="memitem:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">GenericNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> i, <a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a> k)</td></tr>
 <tr class="memdesc:acdca5baae3e9e4208a60322fec9c9d3f inherit pub_methods_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="classSVF_1_1GenericNode.html#acdca5baae3e9e4208a60322fec9c9d3f">More...</a><br /></td></tr>
@@ -158,27 +196,36 @@ Public Member Functions</h2></td></tr>
 <tr class="memitem:a1880a691130279625e5be6af36e86fc1 inherit pub_methods_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a> (<a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *edge)</td></tr>
 <tr class="separator:a1880a691130279625e5be6af36e86fc1 inherit pub_methods_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
-<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
-Additional Inherited Members</h2></td></tr>
-<tr class="inherit_header pub_types_classSVF_1_1GenericNode"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericNode')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;</a></td></tr>
-<tr class="memitem:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFLNode.html">CFLNode</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ad63e862eb1d1369bd69318fe698e4a22">NodeType</a></td></tr>
-<tr class="separator:ad63e862eb1d1369bd69318fe698e4a22 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a458c626543431b4314f5f4f532eb51de inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a></td></tr>
-<tr class="separator:a458c626543431b4314f5f4f532eb51de inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#ad781b0b14e89773e774072b280658ef3">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">GNodeK</a></td></tr>
-<tr class="memdesc:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="mdescLeft">&#160;</td><td class="mdescRight">Edge kind.  <a href="classSVF_1_1GenericNode.html#a3f20339b5295e11beb0f9adb95c7aa5b">More...</a><br /></td></tr>
-<tr class="separator:a3f20339b5295e11beb0f9adb95c7aa5b inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a03c6da4a73c47f84f5c5b47252bc339a inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a4f21e91ff8eaea5207afe5c60dbd78d7">OrderedSet</a>&lt; <a class="el" href="classSVF_1_1GenericNode.html#a458c626543431b4314f5f4f532eb51de">EdgeType</a> *, typename <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">EdgeType::equalGEdge</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a03c6da4a73c47f84f5c5b47252bc339a">GEdgeSetTy</a></td></tr>
-<tr class="separator:a03c6da4a73c47f84f5c5b47252bc339a inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2f5471985dfe62bc9ded830a693ab153 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef GEdgeSetTy::iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#a2f5471985dfe62bc9ded830a693ab153">iterator</a></td></tr>
-<tr class="separator:a2f5471985dfe62bc9ded830a693ab153 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ab6dc1ae41ae23b383f8add474caa7429 inherit pub_types_classSVF_1_1GenericNode"><td class="memItemLeft" align="right" valign="top">typedef GEdgeSetTy::const_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html#ab6dc1ae41ae23b383f8add474caa7429">const_iterator</a></td></tr>
-<tr class="separator:ab6dc1ae41ae23b383f8add474caa7429 inherit pub_types_classSVF_1_1GenericNode"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
+Private Attributes</h2></td></tr>
+<tr class="memitem:a3a7d1ea890272e9905406638b12bdc30"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">CFLEdgeDataTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">inCFLEdges</a></td></tr>
+<tr class="separator:a3a7d1ea890272e9905406638b12bdc30"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a47eba9df9dc664e56631ecc9b6146b33"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">CFLEdgeDataTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">outCFLEdges</a></td></tr>
+<tr class="separator:a47eba9df9dc664e56631ecc9b6146b33"><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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00074">74</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00076">76</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="ade95ad99cb4d89e5eeb5ce7043e80852"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ade95ad99cb4d89e5eeb5ce7043e80852">&#9670;&nbsp;</a></span>CFLEdgeDataTy</h2>
+
+<div class="memitem">
+<div class="memproto">
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef std::map&lt;<a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>, <a class="el" href="classSVF_1_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdge::CFLEdgeSetTy</a>&gt; <a class="el" href="classSVF_1_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">SVF::CFLNode::CFLEdgeDataTy</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+
+<p>Different Kind(label) associated edges set. </p>
+
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00087">87</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="a235dcc5d8115d8450230638ce68070d6"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a235dcc5d8115d8450230638ce68070d6">&#9670;&nbsp;</a></span>CFLNode()</h2>
 
@@ -213,8 +260,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00077">77</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                                        :</div><div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;        <a class="code" href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">GenericCFLNodeTy</a>(i, k)</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 class="ttc" id="namespaceSVF_html_a1c5f28b91c7c1eeec6ae459b573b2889"><div class="ttname"><a href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">SVF::GenericCFLNodeTy</a></div><div class="ttdeci">GenericNode&lt; CFLNode, CFLEdge &gt; GenericCFLNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00073">CFLGraph.h:73</a></div></div>
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00079">79</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><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;        <a class="code" href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">GenericCFLNodeTy</a>(i, k)</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    {</div><div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;    }</div><div class="ttc" id="namespaceSVF_html_a1c5f28b91c7c1eeec6ae459b573b2889"><div class="ttname"><a href="namespaceSVF.html#a1c5f28b91c7c1eeec6ae459b573b2889">SVF::GenericCFLNodeTy</a></div><div class="ttdeci">GenericNode&lt; CFLNode, CFLEdge &gt; GenericCFLNodeTy</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00075">CFLGraph.h:75</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -241,6 +288,318 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a2c4c59e6c12a2a0efb1d58702c7062c2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2c4c59e6c12a2a0efb1d58702c7062c2">&#9670;&nbsp;</a></span>addInEdgeWithKind()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLNode::addInEdgeWithKind </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td>
+          <td class="paramname"><em>inEdge</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>&#160;</td>
+          <td class="paramname"><em>s</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>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00104">104</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;    {</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        assert(inEdge-&gt;getDstID() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">GenericNode::addIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">inCFLEdges</a>[s].insert(inEdge).second;</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;        <span class="keywordflow">return</span> added1 &amp;&amp; added2;</div><div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a3a7d1ea890272e9905406638b12bdc30"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">SVF::CFLNode::inCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy inCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00090">CFLGraph.h:90</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a93d217b0c9fd8008a2989ca2b4f3fbfb"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a93d217b0c9fd8008a2989ca2b4f3fbfb">SVF::GenericNode::addIncomingEdge</a></div><div class="ttdeci">bool addIncomingEdge(EdgeType *inEdge)</div><div class="ttdoc">Add incoming and outgoing edges. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00279">GenericGraph.h:279</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00169">GenericGraph.h:169</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0d01ba68e875806fa24d7c1369924da5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0d01ba68e875806fa24d7c1369924da5">&#9670;&nbsp;</a></span>addIngoingEdge()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLNode::addIngoingEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td>
+          <td class="paramname"><em>inEdge</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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00113">113</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;    {</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2">addInEdgeWithKind</a>(inEdge, inEdge-&gt;getEdgeKind());</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a2c4c59e6c12a2a0efb1d58702c7062c2"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a2c4c59e6c12a2a0efb1d58702c7062c2">SVF::CFLNode::addInEdgeWithKind</a></div><div class="ttdeci">bool addInEdgeWithKind(CFLEdge *inEdge, GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00104">CFLGraph.h:104</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a22578acf04df6b655766f9a9d54f18d5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a22578acf04df6b655766f9a9d54f18d5">&#9670;&nbsp;</a></span>addOutEdgeWithKind()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLNode::addOutEdgeWithKind </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td>
+          <td class="paramname"><em>outEdge</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>&#160;</td>
+          <td class="paramname"><em>s</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>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00118">118</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;    {</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;        assert(outEdge-&gt;getSrcID() == this-&gt;<a class="code" href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">getId</a>());</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;        <span class="keywordtype">bool</span> added1 = <a class="code" href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">GenericNode::addOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;        <span class="keywordtype">bool</span> added2 = <a class="code" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">outCFLEdges</a>[s].insert(outEdge).second;</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;        <span class="keywordflow">return</span> added1 &amp;&amp; added2;</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a47eba9df9dc664e56631ecc9b6146b33"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode::outCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy outCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00091">CFLGraph.h:91</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ae74283fbc788665296a69e56f334557b"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ae74283fbc788665296a69e56f334557b">SVF::GenericNode::addOutgoingEdge</a></div><div class="ttdeci">bool addOutgoingEdge(EdgeType *outEdge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00283">GenericGraph.h:283</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00169">GenericGraph.h:169</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a7bea51b304d0aa2f3a9669252ceda46d"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7bea51b304d0aa2f3a9669252ceda46d">&#9670;&nbsp;</a></span>addOutgoingEdge()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLNode::addOutgoingEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td>
+          <td class="paramname"><em>OutEdge</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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00127">127</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;    {</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5">addOutEdgeWithKind</a>(OutEdge, OutEdge-&gt;getEdgeKind());</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a22578acf04df6b655766f9a9d54f18d5"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a22578acf04df6b655766f9a9d54f18d5">SVF::CFLNode::addOutEdgeWithKind</a></div><div class="ttdeci">bool addOutEdgeWithKind(CFLEdge *outEdge, GrammarBase::Symbol s)</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00118">CFLGraph.h:118</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a38123f7bd5e33fb085d0108bcbdc9729"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a38123f7bd5e33fb085d0108bcbdc9729">&#9670;&nbsp;</a></span>getInEdgeWithTy()</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_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdge::CFLEdgeSetTy</a>&amp; SVF::CFLNode::getInEdgeWithTy </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>&#160;</td>
+          <td class="paramname"><em>s</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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00094">94</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;    {</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">inCFLEdges</a>[s];</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a3a7d1ea890272e9905406638b12bdc30"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">SVF::CFLNode::inCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy inCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00090">CFLGraph.h:90</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0a1b7384a42cad855bddf881e0e09542"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0a1b7384a42cad855bddf881e0e09542">&#9670;&nbsp;</a></span>getOutEdgeWithTy()</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_1CFLEdge.html#ab9bf30450121917228deca8a83a64ac0">CFLEdge::CFLEdgeSetTy</a>&amp; SVF::CFLNode::getOutEdgeWithTy </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="structSVF_1_1GrammarBase_1_1Symbol.html">GrammarBase::Symbol</a>&#160;</td>
+          <td class="paramname"><em>s</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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00099">99</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;    {</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">outCFLEdges</a>[s];</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a47eba9df9dc664e56631ecc9b6146b33"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode::outCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy outCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00091">CFLGraph.h:91</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a60dfc3e421558eecee5065e8ae5f984a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a60dfc3e421558eecee5065e8ae5f984a">&#9670;&nbsp;</a></span>removeCFLInEdge()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLNode::removeCFLInEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td>
+          <td class="paramname"><em>inEdge</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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00132">132</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;    {</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">removeIncomingEdge</a>(inEdge);</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;        <a class="code" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">GrammarBase::Symbol</a> s = inEdge-&gt;getEdgeKind();</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">inCFLEdges</a>[s].erase(inEdge);</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;        <span class="keywordflow">return</span> num1 &amp;&amp; num2;</div><div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;    }</div><div class="ttc" id="classSVF_1_1CFLNode_html_a3a7d1ea890272e9905406638b12bdc30"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a3a7d1ea890272e9905406638b12bdc30">SVF::CFLNode::inCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy inCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00090">CFLGraph.h:90</a></div></div>
+<div class="ttc" id="classSVF_1_1GenericNode_html_a95415bebc5986e548f91169b201a5225"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a95415bebc5986e548f91169b201a5225">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;::removeIncomingEdge</a></div><div class="ttdeci">u32_t removeIncomingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00291">GenericGraph.h:291</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ad4f53184d04d9f7a737b19f63d002550"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase::Symbol</a></div><div class="ttdeci">struct SVF::GrammarBase::Symbol Symbol</div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a821078d812986c488932610063d7509f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a821078d812986c488932610063d7509f">&#9670;&nbsp;</a></span>removeCFLOutEdge()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool SVF::CFLNode::removeCFLOutEdge </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1CFLEdge.html">CFLEdge</a> *&#160;</td>
+          <td class="paramname"><em>outEdge</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 class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00142">142</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;    {</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num1 = <a class="code" href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">removeOutgoingEdge</a>(outEdge);</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;        <a class="code" href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">GrammarBase::Symbol</a> s = outEdge-&gt;getEdgeKind();</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <a class="code" href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">u32_t</a> num2 = <a class="code" href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">outCFLEdges</a>[s].erase(outEdge);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keywordflow">return</span> num1 &amp;&amp; num2;</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GenericNode_html_a1880a691130279625e5be6af36e86fc1"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a1880a691130279625e5be6af36e86fc1">SVF::GenericNode&lt; CFLNode, CFLEdge &gt;::removeOutgoingEdge</a></div><div class="ttdeci">u32_t removeOutgoingEdge(EdgeType *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00297">GenericGraph.h:297</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ad42bff8d0a7d60a085aa32d10f4955af"><div class="ttname"><a href="namespaceSVF.html#ad42bff8d0a7d60a085aa32d10f4955af">SVF::u32_t</a></div><div class="ttdeci">unsigned u32_t</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00085">SVFBasicTypes.h:85</a></div></div>
+<div class="ttc" id="classSVF_1_1CFLNode_html_a47eba9df9dc664e56631ecc9b6146b33"><div class="ttname"><a href="classSVF_1_1CFLNode.html#a47eba9df9dc664e56631ecc9b6146b33">SVF::CFLNode::outCFLEdges</a></div><div class="ttdeci">CFLEdgeDataTy outCFLEdges</div><div class="ttdef"><b>Definition:</b> <a href="CFLGraph_8h_source.html#l00091">CFLGraph.h:91</a></div></div>
+<div class="ttc" id="classSVF_1_1GrammarBase_html_ad4f53184d04d9f7a737b19f63d002550"><div class="ttname"><a href="classSVF_1_1GrammarBase.html#ad4f53184d04d9f7a737b19f63d002550">SVF::GrammarBase::Symbol</a></div><div class="ttdeci">struct SVF::GrammarBase::Symbol Symbol</div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="a3a7d1ea890272e9905406638b12bdc30"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3a7d1ea890272e9905406638b12bdc30">&#9670;&nbsp;</a></span>inCFLEdges</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_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">CFLEdgeDataTy</a> SVF::CFLNode::inCFLEdges</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00090">90</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+
+</div>
+</div>
+<a id="a47eba9df9dc664e56631ecc9b6146b33"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a47eba9df9dc664e56631ecc9b6146b33">&#9670;&nbsp;</a></span>outCFLEdges</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_1CFLNode.html#ade95ad99cb4d89e5eeb5ce7043e80852">CFLEdgeDataTy</a> SVF::CFLNode::outCFLEdges</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">private</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+
+<p class="definition">Definition at line <a class="el" href="CFLGraph_8h_source.html#l00091">91</a> of file <a class="el" href="CFLGraph_8h_source.html">CFLGraph.h</a>.</p>
+
 </div>
 </div>
 <hr/>The documentation for this class was generated from the following file:<ul>

package/SVF-doxygen/html/html/classSVF_1_1CFLSolver-members.html

@@ -74,16 +74,19 @@ $(function() {
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c">getGraph</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49">grammar</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2">graph</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">isInWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a5e94324ee4137610d5513ed11b36f4ba">initialize</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0e112c2290b3ba4e61da6b1fe9ac506d">isInWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#ac1fe4563081c29f8a715bd67d454c8bb">isWorklistEmpty</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a46ded0b18821a2ade0ee151ac2b2d520">numOfChecks</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a95573e91816f426ff7b45afb7b7c821e">popFromWorklist</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41">~CFLSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a53c873a9243d2ef3e8d5eff1b8081102">processCFLEdge</a>(const CFLEdge *Y_edge)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a0ade6e3827c629c3cc3d22a101df7288">Production</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#afc745dc72fd0572a145a78fe6a93ae5c">pushIntoWorklist</a>(const CFLEdge *item)</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a2ee3436c26ebdb2aaf790c25b1d8b5a6">solve</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a06e64c18559b4f311717203ac3fe1fcd">Symbol</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a211bb78846886aa9ccd4b160da81e02e">worklist</a></td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a194d2c4c801799b0ba9562e33ca5b695">WorkList</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html#a59bb656e9fc0f5c29feb2200bc198e41">~CFLSolver</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CFLSolver.html">SVF::CFLSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>