svf-tools 1.0.367 → 1.0.371

package/SVF-doxygen/html/html/classSVF_1_1IntraCFGEdge.html

@@ -63,7 +63,6 @@ $(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_1IntraCFGEdge-members.html">List of all members</a>  </div>
@@ -84,43 +83,17 @@ Inheritance diagram for SVF::IntraCFGEdge:</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:a92c78050b62f802fff360bac02cd42dd"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">BranchCondition</a></td></tr>
-<tr class="separator:a92c78050b62f802fff360bac02cd42dd"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_types_classSVF_1_1ICFGEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1ICFGEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td></tr>
-<tr class="memitem:a395c34788e98950bc43e8cb44313e429 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">ICFGEdgeK</a> { <a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>, 
-<a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>, 
-<a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>
- }</td></tr>
-<tr class="separator:a395c34788e98950bc43e8cb44313e429 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a068573fdbd9b99af18f3deeb9b16a38b inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">ICFGEdgeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">SVFGEdgeK</a></td></tr>
-<tr class="separator:a068573fdbd9b99af18f3deeb9b16a38b inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a3da5a0bad1b4c08803f1f06393649f96 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a>, <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">ICFGEdgeSetTy</a></td></tr>
-<tr class="separator:a3da5a0bad1b4c08803f1f06393649f96 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:ad14443828b9030ee7b438fa3cdf17e56 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">ICFGEdgeSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56">SVFGEdgeSetTy</a></td></tr>
-<tr class="separator:ad14443828b9030ee7b438fa3cdf17e56 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
-<tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
-<tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type.  <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
-<tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
-<tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a></td></tr>
-<tr class="separator:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a></td></tr>
-<tr class="memdesc:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this)  <a href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">More...</a><br /></td></tr>
-<tr class="separator:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><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:aeab701d63caadf8effabdbd23ac0cd49"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#aeab701d63caadf8effabdbd23ac0cd49">IntraCFGEdge</a> (<a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *s, <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a> *d)</td></tr>
 <tr class="memdesc:aeab701d63caadf8effabdbd23ac0cd49"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#aeab701d63caadf8effabdbd23ac0cd49">More...</a><br /></td></tr>
 <tr class="separator:aeab701d63caadf8effabdbd23ac0cd49"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a52eb526a6066c4b909e250bd430c14ef"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">BranchCondition</a> &amp;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a52eb526a6066c4b909e250bd430c14ef">getBranchCondtion</a> () const</td></tr>
-<tr class="separator:a52eb526a6066c4b909e250bd430c14ef"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a97402e3c122618d5be189dce1b58cd8f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a97402e3c122618d5be189dce1b58cd8f">setBranchCondtion</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *pNode, <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> branchID)</td></tr>
-<tr class="separator:a97402e3c122618d5be189dce1b58cd8f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac13be3c3ee581e20974ce4527a3cfe7b"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">getCondition</a> () const</td></tr>
+<tr class="separator:ac13be3c3ee581e20974ce4527a3cfe7b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a40fab1a6b75f29cb629bfc05fb3a86b1"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1">getSuccessorCondValue</a> () const</td></tr>
+<tr class="separator:a40fab1a6b75f29cb629bfc05fb3a86b1"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1da3dd867c2cbae9776c80cc4ab98a0f"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a1da3dd867c2cbae9776c80cc4ab98a0f">setBranchCondition</a> (const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *c, <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> bVal)</td></tr>
+<tr class="separator:a1da3dd867c2cbae9776c80cc4ab98a0f"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1e63286b4d6f757ac1220f5f03ae62de"><td class="memItemLeft" align="right" valign="top">virtual const std::string&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a1e63286b4d6f757ac1220f5f03ae62de">toString</a> () const</td></tr>
 <tr class="separator:a1e63286b4d6f757ac1220f5f03ae62de"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pub_methods_classSVF_1_1ICFGEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_classSVF_1_1ICFGEdge')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td></tr>
@@ -177,11 +150,36 @@ Static Public Member Functions</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
 Private Attributes</h2></td></tr>
-<tr class="memitem:a1948630208ff0a67f28913ca928ba9b4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">BranchCondition</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">brCondition</a></td></tr>
-<tr class="separator:a1948630208ff0a67f28913ca928ba9b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a1d49f742d3f93361c7ba1b69e074ceb5"><td class="memItemLeft" align="right" valign="top">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">conditionVar</a></td></tr>
+<tr class="separator:a1d49f742d3f93361c7ba1b69e074ceb5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8ba42f12f31c5f7ff633f60856f973b3"><td class="memItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">branchCondVal</a></td></tr>
+<tr class="separator:a8ba42f12f31c5f7ff633f60856f973b3"><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_1ICFGEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1ICFGEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1ICFGEdge.html">SVF::ICFGEdge</a></td></tr>
+<tr class="memitem:a395c34788e98950bc43e8cb44313e429 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">enum &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">ICFGEdgeK</a> { <a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>, 
+<a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429a3486c9d9a182f2ba5d986fe74439ec2e">CallCF</a>, 
+<a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429ad2370a77f6cc112b8c26efbcc36bf541">RetCF</a>
+ }</td></tr>
+<tr class="separator:a395c34788e98950bc43e8cb44313e429 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a068573fdbd9b99af18f3deeb9b16a38b inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429">ICFGEdgeK</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#a068573fdbd9b99af18f3deeb9b16a38b">SVFGEdgeK</a></td></tr>
+<tr class="separator:a068573fdbd9b99af18f3deeb9b16a38b inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3da5a0bad1b4c08803f1f06393649f96 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1ICFGNode.html">ICFGNode</a>, <a class="el" href="classSVF_1_1ICFGEdge.html">ICFGEdge</a> &gt;::GEdgeSetTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">ICFGEdgeSetTy</a></td></tr>
+<tr class="separator:a3da5a0bad1b4c08803f1f06393649f96 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad14443828b9030ee7b438fa3cdf17e56 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ICFGEdge.html#a3da5a0bad1b4c08803f1f06393649f96">ICFGEdgeSetTy</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1ICFGEdge.html#ad14443828b9030ee7b438fa3cdf17e56">SVFGEdgeSetTy</a></td></tr>
+<tr class="separator:ad14443828b9030ee7b438fa3cdf17e56 inherit pub_types_classSVF_1_1ICFGEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pub_types_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
+<tr class="memitem:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef NodeTy&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">NodeType</a></td></tr>
+<tr class="memdesc:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Node type.  <a href="classSVF_1_1GenericEdge.html#aff95460d4b859e657a9198b7c5e5c736">More...</a><br /></td></tr>
+<tr class="separator:aff95460d4b859e657a9198b7c5e5c736 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#a366625858f450a1ea5f985a3c83e0f14">u64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614">GEdgeFlag</a></td></tr>
+<tr class="separator:aab8892b73370c32b48621cd1d0cce614 inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a5aceeb48929f54264807b36569019a8a">GEdgeKind</a></td></tr>
+<tr class="separator:a5aceeb48929f54264807b36569019a8a inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">typedef struct <a class="el" href="structSVF_1_1GenericEdge_1_1equalGEdge.html">SVF::GenericEdge::equalGEdge</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">equalGEdge</a></td></tr>
+<tr class="memdesc:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">Add the hash function for std::set (we also can overload operator&lt; to implement this)  <a href="classSVF_1_1GenericEdge.html#a69accb303ee67733e065350e4452cbca">More...</a><br /></td></tr>
+<tr class="separator:a69accb303ee67733e065350e4452cbca inherit pub_types_classSVF_1_1GenericEdge"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="inherit_header pro_static_attribs_classSVF_1_1GenericEdge"><td colspan="2" onclick="javascript:toggleInherit('pro_static_attribs_classSVF_1_1GenericEdge')"><img src="closed.png" alt="-"/>&#160;Static Protected Attributes inherited from <a class="el" href="classSVF_1_1GenericEdge.html">SVF::GenericEdge&lt; NodeTy &gt;</a></td></tr>
 <tr class="memitem:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="memItemLeft" align="right" valign="top">static constexpr unsigned char&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">EdgeKindMaskBits</a> = 8</td></tr>
 <tr class="memdesc:af1c2fd4b5ef1d7b7605572bf2489c298 inherit pro_static_attribs_classSVF_1_1GenericEdge"><td class="mdescLeft">&#160;</td><td class="mdescRight">We use the lower 8 bits to denote edge kind.  <a href="classSVF_1_1GenericEdge.html#af1c2fd4b5ef1d7b7605572bf2489c298">More...</a><br /></td></tr>
@@ -192,26 +190,8 @@ Additional Inherited Members</h2></td></tr>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><p>Intra <a class="el" href="classSVF_1_1ICFG.html">ICFG</a> edge representing control-flows between basic blocks within a function </p>
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00111">111</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-</div><h2 class="groupheader">Member Typedef Documentation</h2>
-<a id="a92c78050b62f802fff360bac02cd42dd"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a92c78050b62f802fff360bac02cd42dd">&#9670;&nbsp;</a></span>BranchCondition</h2>
-
-<div class="memitem">
-<div class="memproto">
-      <table class="memname">
-        <tr>
-          <td class="memname">typedef std::pair&lt;const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>*,<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&gt; <a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">SVF::IntraCFGEdge::BranchCondition</a></td>
-        </tr>
-      </table>
-</div><div class="memdoc">
-<p>the first element is a boolean (for if/else) or numeric condition value (for switch) the second element is the value when this condition should hold to execute this CFGEdge. e.g., Inst1: br cmp label 0, label 1, Inst2 is label 0 and Inst 3 is label 1; for edge between Inst1 and Inst 2, the first element is cmp and second element is 0 </p>
-
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00120">120</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-
-</div>
-</div>
-<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00113">113</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
 <a id="aeab701d63caadf8effabdbd23ac0cd49"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aeab701d63caadf8effabdbd23ac0cd49">&#9670;&nbsp;</a></span>IntraCFGEdge()</h2>
 
@@ -248,9 +228,11 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Constructor. </p>
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00123">123</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                                          : <a class="code" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>)</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a9b8f369727bd03106bafacd4eee3dd04"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">SVF::ICFGEdge::ICFGEdge</a></div><div class="ttdeci">ICFGEdge(ICFGNode *s, ICFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00060">ICFGEdge.h:60</a></div></div>
-<div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00051">ICFGEdge.h:51</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00118">118</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                                          : <a class="code" href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">ICFGEdge</a>(s,d,<a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>), <a class="code" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">conditionVar</a>(<span class="keyword">nullptr</span>), <a class="code" href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">branchCondVal</a>(0)</div><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;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a9b8f369727bd03106bafacd4eee3dd04"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a9b8f369727bd03106bafacd4eee3dd04">SVF::ICFGEdge::ICFGEdge</a></div><div class="ttdeci">ICFGEdge(ICFGNode *s, ICFGNode *d, GEdgeFlag k)</div><div class="ttdoc">Constructor. </div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00062">ICFGEdge.h:62</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a1d49f742d3f93361c7ba1b69e074ceb5"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge::conditionVar</a></div><div class="ttdeci">const Value * conditionVar</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00158">ICFGEdge.h:158</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a8ba42f12f31c5f7ff633f60856f973b3"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s64_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00159">ICFGEdge.h:159</a></div></div>
+<div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00053">ICFGEdge.h:53</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -281,8 +263,8 @@ Additional Inherited Members</h2></td></tr>
 
 <p>Methods for support type inquiry through isa, cast, and dyn_cast: </p>
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00128">128</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;    {</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;    }</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00123">123</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;    {</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;        <span class="keywordflow">return</span> <span class="keyword">true</span>;</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;    }</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aea905f535696918ed63cd5ce04b7e0fb"></a>
@@ -309,8 +291,8 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00132">132</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.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;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00051">ICFGEdge.h:51</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00127">127</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.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> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00053">ICFGEdge.h:53</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -338,13 +320,41 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00136">136</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00051">ICFGEdge.h:51</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00131">131</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;    {</div><div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;        <span class="keywordflow">return</span> edge-&gt;getEdgeKind() == <a class="code" href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">IntraCF</a>;</div><div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;    }</div><div class="ttc" id="classSVF_1_1ICFGEdge_html_a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b"><div class="ttname"><a href="classSVF_1_1ICFGEdge.html#a395c34788e98950bc43e8cb44313e429acb8fba7c61b08ec952f1b65643d7a84b">SVF::ICFGEdge::IntraCF</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00053">ICFGEdge.h:53</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ac13be3c3ee581e20974ce4527a3cfe7b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac13be3c3ee581e20974ce4527a3cfe7b">&#9670;&nbsp;</a></span>getCondition()</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="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* SVF::IntraCFGEdge::getCondition </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="ICFGEdge_8h_source.html#l00137">137</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                                     {</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">conditionVar</a>;</div><div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a1d49f742d3f93361c7ba1b69e074ceb5"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge::conditionVar</a></div><div class="ttdeci">const Value * conditionVar</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00158">ICFGEdge.h:158</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a52eb526a6066c4b909e250bd430c14ef"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a52eb526a6066c4b909e250bd430c14ef">&#9670;&nbsp;</a></span>getBranchCondtion()</h2>
+<a id="a40fab1a6b75f29cb629bfc05fb3a86b1"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a40fab1a6b75f29cb629bfc05fb3a86b1">&#9670;&nbsp;</a></span>getSuccessorCondValue()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -353,7 +363,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">const <a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">BranchCondition</a>&amp; SVF::IntraCFGEdge::getBranchCondtion </td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> SVF::IntraCFGEdge::getSuccessorCondValue </td>
           <td>(</td>
           <td class="paramname"></td><td>)</td>
           <td> const</td>
@@ -366,13 +376,15 @@ Additional Inherited Members</h2></td></tr>
 </table>
 </div><div class="memdoc">
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00142">142</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;                                                    {</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">brCondition</a>;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a1948630208ff0a67f28913ca928ba9b4"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">SVF::IntraCFGEdge::brCondition</a></div><div class="ttdeci">BranchCondition brCondition</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00153">ICFGEdge.h:153</a></div></div>
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00141">141</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                                             {</div><div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;        <a class="code" href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a>(<a class="code" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">getCondition</a>() &amp;&amp; <span class="stringliteral">&quot;this is not a conditional branch edge&quot;</span>);</div><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">branchCondVal</a>;</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    }</div><div class="ttc" id="util_8h_html_a07d17d6d5d1074c0969bc5d3c3d1d84a"><div class="ttname"><a href="util_8h.html#a07d17d6d5d1074c0969bc5d3c3d1d84a">assert</a></div><div class="ttdeci">#define assert(ex)</div><div class="ttdef"><b>Definition:</b> <a href="util_8h_source.html#l00141">util.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a8ba42f12f31c5f7ff633f60856f973b3"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s64_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00159">ICFGEdge.h:159</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_ac13be3c3ee581e20974ce4527a3cfe7b"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">SVF::IntraCFGEdge::getCondition</a></div><div class="ttdeci">const Value * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00137">ICFGEdge.h:137</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
-<a id="a97402e3c122618d5be189dce1b58cd8f"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a97402e3c122618d5be189dce1b58cd8f">&#9670;&nbsp;</a></span>setBranchCondtion()</h2>
+<a id="a1da3dd867c2cbae9776c80cc4ab98a0f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1da3dd867c2cbae9776c80cc4ab98a0f">&#9670;&nbsp;</a></span>setBranchCondition()</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -381,16 +393,16 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname">void SVF::IntraCFGEdge::setBranchCondtion </td>
+          <td class="memname">void SVF::IntraCFGEdge::setBranchCondition </td>
           <td>(</td>
           <td class="paramtype">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a> *&#160;</td>
-          <td class="paramname"><em>pNode</em>, </td>
+          <td class="paramname"><em>c</em>, </td>
         </tr>
         <tr>
           <td class="paramkey"></td>
           <td></td>
-          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
-          <td class="paramname"><em>branchID</em>&#160;</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a>&#160;</td>
+          <td class="paramname"><em>bVal</em>&#160;</td>
         </tr>
         <tr>
           <td></td>
@@ -406,7 +418,8 @@ Additional Inherited Members</h2></td></tr>
 </div><div class="memdoc">
 
 <p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00146">146</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;                                                               {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <a class="code" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">brCondition</a> = std::make_pair(pNode,branchID);</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a1948630208ff0a67f28913ca928ba9b4"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">SVF::IntraCFGEdge::brCondition</a></div><div class="ttdeci">BranchCondition brCondition</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00153">ICFGEdge.h:153</a></div></div>
+<div class="fragment"><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;                                                       {</div><div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        <a class="code" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">conditionVar</a> = c;</div><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;        <a class="code" href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">branchCondVal</a> = bVal;</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;    }</div><div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a1d49f742d3f93361c7ba1b69e074ceb5"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge::conditionVar</a></div><div class="ttdeci">const Value * conditionVar</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00158">ICFGEdge.h:158</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a8ba42f12f31c5f7ff633f60856f973b3"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a8ba42f12f31c5f7ff633f60856f973b3">SVF::IntraCFGEdge::branchCondVal</a></div><div class="ttdeci">s64_t branchCondVal</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00159">ICFGEdge.h:159</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -436,16 +449,41 @@ Additional Inherited Members</h2></td></tr>
 <p>Reimplemented from <a class="el" href="classSVF_1_1ICFGEdge.html#a7233609f62f278b738036e8de9bbbfc8">SVF::ICFGEdge</a>.</p>
 
 <p class="definition">Definition at line <a class="el" href="ICFG_8cpp_source.html#l00149">149</a> of file <a class="el" href="ICFG_8cpp_source.html">ICFG.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;                                             {</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    std::string str;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">brCondition</a>.first == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;IntraCFGEdge: [ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;IntraCFGEdge: [ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;] with condition (&quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">brCondition</a>.first &lt;&lt; <span class="stringliteral">&quot;==&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">brCondition</a>.second &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span>;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
+<div class="fragment"><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;                                             {</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;    std::string str;</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;    <a class="code" href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">raw_string_ostream</a> rawstr(str);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    <span class="keywordflow">if</span>(<a class="code" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">getCondition</a>() == <span class="keyword">nullptr</span>)</div><div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;IntraCFGEdge: [ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;]\t&quot;</span>;</div><div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;    <span class="keywordflow">else</span></div><div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        rawstr &lt;&lt; <span class="stringliteral">&quot;IntraCFGEdge: [ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">getDstID</a>() &lt;&lt; <span class="stringliteral">&quot; &lt;-- ICFGNode&quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">getSrcID</a>() &lt;&lt; <span class="stringliteral">&quot;] (branchCondition:&quot;</span> &lt;&lt; *<a class="code" href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">getCondition</a>() &lt;&lt; <span class="stringliteral">&quot;) (succCondValue: &quot;</span> &lt;&lt; <a class="code" href="classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1">getSuccessorCondValue</a>() &lt;&lt; <span class="stringliteral">&quot;) \t&quot;</span>;</div><div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;</div><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    <span class="keywordflow">return</span> rawstr.str();</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;}</div><div class="ttc" id="classSVF_1_1GenericEdge_html_ad9edb45e74ae675d9da82f5acf02d56e"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ad9edb45e74ae675d9da82f5acf02d56e">SVF::GenericEdge::getDstID</a></div><div class="ttdeci">NodeID getDstID() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00077">GenericGraph.h:77</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_ae6792506a0150a9400d635eceab7f9e7"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#ae6792506a0150a9400d635eceab7f9e7">SVF::GenericEdge::getSrcID</a></div><div class="ttdeci">NodeID getSrcID() const</div><div class="ttdoc">get methods of the components </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00073">GenericGraph.h:73</a></div></div>
-<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a1948630208ff0a67f28913ca928ba9b4"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a1948630208ff0a67f28913ca928ba9b4">SVF::IntraCFGEdge::brCondition</a></div><div class="ttdeci">BranchCondition brCondition</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00153">ICFGEdge.h:153</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_a40fab1a6b75f29cb629bfc05fb3a86b1"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#a40fab1a6b75f29cb629bfc05fb3a86b1">SVF::IntraCFGEdge::getSuccessorCondValue</a></div><div class="ttdeci">const s64_t getSuccessorCondValue() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00141">ICFGEdge.h:141</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
+<div class="ttc" id="classSVF_1_1IntraCFGEdge_html_ac13be3c3ee581e20974ce4527a3cfe7b"><div class="ttname"><a href="classSVF_1_1IntraCFGEdge.html#ac13be3c3ee581e20974ce4527a3cfe7b">SVF::IntraCFGEdge::getCondition</a></div><div class="ttdeci">const Value * getCondition() const</div><div class="ttdef"><b>Definition:</b> <a href="ICFGEdge_8h_source.html#l00137">ICFGEdge.h:137</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
 <h2 class="groupheader">Member Data Documentation</h2>
-<a id="a1948630208ff0a67f28913ca928ba9b4"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a1948630208ff0a67f28913ca928ba9b4">&#9670;&nbsp;</a></span>brCondition</h2>
+<a id="a8ba42f12f31c5f7ff633f60856f973b3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8ba42f12f31c5f7ff633f60856f973b3">&#9670;&nbsp;</a></span>branchCondVal</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="namespaceSVF.html#abe09d99af006554a5c00803e9a89f9a6">s64_t</a> SVF::IntraCFGEdge::branchCondVal</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="ICFGEdge_8h_source.html#l00159">159</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+
+</div>
+</div>
+<a id="a1d49f742d3f93361c7ba1b69e074ceb5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1d49f742d3f93361c7ba1b69e074ceb5">&#9670;&nbsp;</a></span>conditionVar</h2>
 
 <div class="memitem">
 <div class="memproto">
@@ -454,7 +492,7 @@ Additional Inherited Members</h2></td></tr>
   <td class="mlabels-left">
       <table class="memname">
         <tr>
-          <td class="memname"><a class="el" href="classSVF_1_1IntraCFGEdge.html#a92c78050b62f802fff360bac02cd42dd">BranchCondition</a> SVF::IntraCFGEdge::brCondition</td>
+          <td class="memname">const <a class="el" href="namespaceSVF.html#a90b263fd2f541eca78135078114cabda">Value</a>* SVF::IntraCFGEdge::conditionVar</td>
         </tr>
       </table>
   </td>
@@ -463,8 +501,9 @@ Additional Inherited Members</h2></td></tr>
   </tr>
 </table>
 </div><div class="memdoc">
+<p>conditionVar is a boolean (for if/else) or numeric condition variable (for switch) branchCondVal is the value when this condition should hold to execute this CFGEdge. e.g., Inst1: br cmp label 0, label 1, Inst2 is label 0 and Inst 3 is label 1; for edge between Inst1 and Inst 2, the first element is cmp and second element is 0 </p>
 
-<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00153">153</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="ICFGEdge_8h_source.html#l00158">158</a> of file <a class="el" href="ICFGEdge_8h_source.html">ICFGEdge.h</a>.</p>
 
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1MRGenerator.html

@@ -1395,7 +1395,7 @@ Private Attributes</h2></td></tr>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_a0e46c7beb580ace3a652ac9e1c419b48"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#a0e46c7beb580ace3a652ac9e1c419b48">SVF::MRGenerator::cachedPtsChainMap</a></div><div class="ttdeci">NodeToPTSSMap cachedPtsChainMap</div><div class="ttdoc">Map a pointer to its cached points-to chain;. </div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00236">MemRegion.h:236</a></div></div>
 <div class="ttc" id="classSVF_1_1MRGenerator_html_afb7ce3a24edda14895999eb15231daff"><div class="ttname"><a href="classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff">SVF::MRGenerator::pta</a></div><div class="ttdeci">BVDataPTAImpl * pta</div><div class="ttdef"><b>Definition:</b> <a href="MemRegion_8h_source.html#l00193">MemRegion.h:193</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a42d1e2f0213fb6e54c56cc0695b57cb0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">SVF::SVFIR::getFieldsAfterCollapse</a></div><div class="ttdeci">NodeBS getFieldsAfterCollapse(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00501">SVFIR.cpp:501</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a42d1e2f0213fb6e54c56cc0695b57cb0"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a42d1e2f0213fb6e54c56cc0695b57cb0">SVF::SVFIR::getFieldsAfterCollapse</a></div><div class="ttdeci">NodeBS getFieldsAfterCollapse(NodeID id)</div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00502">SVFIR.cpp:502</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/classSVF_1_1MTAAnnotator.html

@@ -651,7 +651,7 @@ Additional Inherited Members</h2></td></tr>
 <div class="ttc" id="classSVF_1_1SVFIR_html_a5c5adab1f68520a304fbf70ca40f7687"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a5c5adab1f68520a304fbf70ca40f7687">SVF::SVFIR::getGlobalSVFStmtSet</a></div><div class="ttdeci">SVFStmtSet &amp; getGlobalSVFStmtSet()</div><div class="ttdoc">Get global PAGEdges (not in a procedure) </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8h_source.html#l00199">SVFIR.h:199</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_ab196d86cfb48d1c5d27a0c03c7497afa"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ab196d86cfb48d1c5d27a0c03c7497afa">SVF::PointsTo::set</a></div><div class="ttdeci">void set(u32_t n)</div><div class="ttdoc">Inserts n in the set. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00149">PointsTo.cpp:149</a></div></div>
 <div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a85ab6b592fefc45a0674d3295e01638f"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a85ab6b592fefc45a0674d3295e01638f">SVF::SVFUtil::outs</a></div><div class="ttdeci">raw_ostream &amp; outs()</div><div class="ttdoc">Overwrite llvm::outs() </div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00049">SVFUtil.h:49</a></div></div>
-<div class="ttc" id="classSVF_1_1SVFIR_html_a7276e82b4648ed0e1b3d1b8b37b24089"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR::getAllFieldsObjVars</a></div><div class="ttdeci">NodeBS &amp; getAllFieldsObjVars(const MemObj *obj)</div><div class="ttdoc">Get all fields of an object. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00479">SVFIR.cpp:479</a></div></div>
+<div class="ttc" id="classSVF_1_1SVFIR_html_a7276e82b4648ed0e1b3d1b8b37b24089"><div class="ttname"><a href="classSVF_1_1SVFIR.html#a7276e82b4648ed0e1b3d1b8b37b24089">SVF::SVFIR::getAllFieldsObjVars</a></div><div class="ttdeci">NodeBS &amp; getAllFieldsObjVars(const MemObj *obj)</div><div class="ttdoc">Get all fields of an object. </div><div class="ttdef"><b>Definition:</b> <a href="SVFIR_8cpp_source.html#l00480">SVFIR.cpp:480</a></div></div>
 <div class="ttc" id="classSVF_1_1IRGraph_html_a28ea8f85b0923d00364a010c1fd4e416"><div class="ttname"><a href="classSVF_1_1IRGraph.html#a28ea8f85b0923d00364a010c1fd4e416">SVF::IRGraph::SVFStmtSet</a></div><div class="ttdeci">Set&lt; const SVFStmt * &gt; SVFStmtSet</div><div class="ttdef"><b>Definition:</b> <a href="IRGraph_8h_source.html#l00051">IRGraph.h:51</a></div></div>
 <div class="ttc" id="SVFBasicTypes_8h_html_a2c64190a065f342897573a3ef4973adb"><div class="ttname"><a href="SVFBasicTypes_8h.html#a2c64190a065f342897573a3ef4973adb">DGENERAL</a></div><div class="ttdeci">#define DGENERAL</div><div class="ttdoc">General debug flag is for each phase of a pass, it is often in a colorful output format. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00154">SVFBasicTypes.h:154</a></div></div>
 <div class="ttc" id="classSVF_1_1MTAAnnotator_html_a37df9f2416685c535be2faa01e162f3a"><div class="ttname"><a href="classSVF_1_1MTAAnnotator.html#a37df9f2416685c535be2faa01e162f3a">SVF::MTAAnnotator::storeset</a></div><div class="ttdeci">InstSet storeset</div><div class="ttdef"><b>Definition:</b> <a href="MTAAnnotator_8h_source.html#l00088">MTAAnnotator.h:88</a></div></div>