svf-tools 1.0.595 → 1.0.596

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html

@@ -62,12 +62,14 @@ $(function() {
 </div>
 </div><!-- top -->
 <div class="header">
+  <div class="summary">
+<a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">llvm::GraphTraits&lt; Inverse&lt; SVF::VFGNode * &gt; &gt; Struct Template Reference</div>  </div>
 </div><!--header-->
 <div class="contents">
 
-<p>Inverse GraphTraits specializations for call graph node, it is used for inverse traversal.  
+<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for call graph node, it is used for inverse traversal.  
  <a href="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html#details">More...</a></p>
 
 <p><code>#include &lt;<a class="el" href="VFG_8h_source.html">VFG.h</a>&gt;</code></p>
@@ -77,13 +79,21 @@ Inheritance diagram for llvm::GraphTraits&lt; Inverse&lt; SVF::VFGNode * &gt; &g
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.png" usemap="#llvm::GraphTraits_3C_20Inverse_3C_20SVF::VFGNode_20_2A_20_3E_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20Inverse_3C_20SVF::VFGNode_20_2A_20_3E_20_3E_map" name="llvm::GraphTraits_3C_20Inverse_3C_20SVF::VFGNode_20_2A_20_3E_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; SVF::VFGNode, SVF::VFGEdge &gt; * &gt; &gt;" shape="rect" coords="0,0,520,24"/>
 </map>
  </div></div>
+<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_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; SVF::VFGNode, SVF::VFGEdge &gt; * &gt; &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="structllvm_1_1Inverse.html">Inverse</a>&lt; <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>&lt; <a class="el" href="classSVF_1_1VFGNode.html">SVF::VFGNode</a>, <a class="el" href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a> &gt; *&gt; ::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
 struct llvm::GraphTraits&lt; Inverse&lt; SVF::VFGNode * &gt; &gt;</h3>
 
-<p>Inverse GraphTraits specializations for call graph node, it is used for inverse traversal. </p>
+<p><a class="el" href="structllvm_1_1Inverse.html">Inverse</a> <a class="el" href="structllvm_1_1GraphTraits.html">GraphTraits</a> specializations for call graph node, it is used for inverse traversal. </p>
 
 <p class="definition">Definition at line <a class="el" href="VFG_8h_source.html#l00653">653</a> of file <a class="el" href="VFG_8h_source.html">VFG.h</a>.</p>
 </div><hr/>The documentation for this struct was generated from the following file:<ul>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html

@@ -77,6 +77,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::CFLGraph * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::CFLGraph_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::CFLGraph_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::CFLGraph_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::CFLNode, SVF::CFLEdge &gt; * &gt;" shape="rect" coords="0,0,455,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -84,6 +85,9 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::CFLGraph * &gt;:</div>
 Public Types</h2></td></tr>
 <tr class="memitem:a6f880b27ee400d73347d77abb7a80f3d"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CFLNode.html">SVF::CFLNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d">NodeRef</a></td></tr>
 <tr class="separator:a6f880b27ee400d73347d77abb7a80f3d"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::CFLNode, SVF::CFLEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a>&lt; <a class="el" href="classSVF_1_1CFLNode.html">SVF::CFLNode</a>, <a class="el" href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
@@ -99,7 +103,7 @@ struct llvm::GraphTraits&lt; SVF::CFLGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1CFLNode.html">SVF::CFLNode</a>* llvm::GraphTraits&lt; <a class="el" href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d">NodeRef</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1CFLNode.html">SVF::CFLNode</a>* <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>&lt; <a class="el" href="classSVF_1_1CFLGraph.html">SVF::CFLGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html#a6f880b27ee400d73347d77abb7a80f3d">NodeRef</a></td>
         </tr>
       </table>
 </div><div class="memdoc">

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

@@ -0,0 +1,81 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html">GraphTraits&lt; SVF::CFLNode * &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">llvm::GraphTraits&lt; SVF::CFLNode * &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html">llvm::GraphTraits&lt; SVF::CFLNode * &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::CFLNode, SVF::CFLEdge &gt; * &gt;</a></td><td class="entry"></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html

@@ -62,6 +62,8 @@ $(function() {
 </div>
 </div><!-- top -->
 <div class="header">
+  <div class="summary">
+<a href="structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">llvm::GraphTraits&lt; SVF::CFLNode * &gt; Struct Template Reference</div>  </div>
 </div><!--header-->
@@ -74,8 +76,16 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::CFLNode * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::CFLNode_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::CFLNode_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::CFLNode_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::CFLNode, SVF::CFLEdge &gt; * &gt;" shape="rect" coords="0,0,450,24"/>
 </map>
  </div></div>
+<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_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::CFLNode, SVF::CFLEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>&lt; <a class="el" href="classSVF_1_1CFLNode.html">SVF::CFLNode</a>, <a class="el" href="classSVF_1_1CFLEdge.html">SVF::CFLEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
 struct llvm::GraphTraits&lt; SVF::CFLNode * &gt;</h3>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html

@@ -77,6 +77,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::CHGraph * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::CHGraph_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::CHGraph_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::CHGraph_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::CHNode, SVF::CHEdge &gt; * &gt;" shape="rect" coords="0,0,443,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -84,6 +85,9 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::CHGraph * &gt;:</div>
 Public Types</h2></td></tr>
 <tr class="memitem:aea2a657d278919364d2911d92b3e6f5a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">NodeRef</a></td></tr>
 <tr class="separator:aea2a657d278919364d2911d92b3e6f5a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::CHNode, SVF::CHEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">SVF::CHEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
@@ -99,7 +103,7 @@ struct llvm::GraphTraits&lt; SVF::CHGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a>* llvm::GraphTraits&lt; <a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">NodeRef</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a>* <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>&lt; <a class="el" href="classSVF_1_1CHGraph.html">SVF::CHGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html#aea2a657d278919364d2911d92b3e6f5a">NodeRef</a></td>
         </tr>
       </table>
 </div><div class="memdoc">

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

@@ -0,0 +1,81 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html">GraphTraits&lt; SVF::CHNode * &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">llvm::GraphTraits&lt; SVF::CHNode * &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html">llvm::GraphTraits&lt; SVF::CHNode * &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::CHNode, SVF::CHEdge &gt; * &gt;</a></td><td class="entry"></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html

@@ -62,6 +62,8 @@ $(function() {
 </div>
 </div><!-- top -->
 <div class="header">
+  <div class="summary">
+<a href="structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">llvm::GraphTraits&lt; SVF::CHNode * &gt; Struct Template Reference</div>  </div>
 </div><!--header-->
@@ -74,8 +76,16 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::CHNode * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::CHNode_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::CHNode_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::CHNode_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::CHNode, SVF::CHEdge &gt; * &gt;" shape="rect" coords="0,0,438,24"/>
 </map>
  </div></div>
+<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_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::CHNode, SVF::CHEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>&lt; <a class="el" href="classSVF_1_1CHNode.html">SVF::CHNode</a>, <a class="el" href="classSVF_1_1CHEdge.html">SVF::CHEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
 struct llvm::GraphTraits&lt; SVF::CHNode * &gt;</h3>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html

@@ -77,6 +77,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::ConstraintGraph * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::ConstraintGraph_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::ConstraintGraph_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::ConstraintGraph_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::ConstraintNode, SVF::ConstraintEdge &gt; * &gt;" shape="rect" coords="0,0,521,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -84,6 +85,9 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::ConstraintGraph * &gt;:</div>
 Public Types</h2></td></tr>
 <tr class="memitem:a3f34a804842ca97e422cb255ff670b5c"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c">NodeRef</a></td></tr>
 <tr class="separator:a3f34a804842ca97e422cb255ff670b5c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::ConstraintNode, SVF::ConstraintEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a>&lt; <a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a>, <a class="el" href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
@@ -99,7 +103,7 @@ struct llvm::GraphTraits&lt; SVF::ConstraintGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a>* llvm::GraphTraits&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c">NodeRef</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a>* <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">SVF::ConstraintGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html#a3f34a804842ca97e422cb255ff670b5c">NodeRef</a></td>
         </tr>
       </table>
 </div><div class="memdoc">

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

@@ -0,0 +1,81 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html">GraphTraits&lt; SVF::ConstraintNode * &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">llvm::GraphTraits&lt; SVF::ConstraintNode * &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html">llvm::GraphTraits&lt; SVF::ConstraintNode * &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::ConstraintNode, SVF::ConstraintEdge &gt; * &gt;</a></td><td class="entry"></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html

@@ -62,6 +62,8 @@ $(function() {
 </div>
 </div><!-- top -->
 <div class="header">
+  <div class="summary">
+<a href="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4-members.html">List of all members</a>  </div>
   <div class="headertitle">
 <div class="title">llvm::GraphTraits&lt; SVF::ConstraintNode * &gt; Struct Template Reference</div>  </div>
 </div><!--header-->
@@ -74,8 +76,16 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::ConstraintNode * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::ConstraintNode_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::ConstraintNode_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::ConstraintNode_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::ConstraintNode, SVF::ConstraintEdge &gt; * &gt;" shape="rect" coords="0,0,516,24"/>
 </map>
  </div></div>
+<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_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::ConstraintNode, SVF::ConstraintEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericNode.html">SVF::GenericNode</a>&lt; <a class="el" href="classSVF_1_1ConstraintNode.html">SVF::ConstraintNode</a>, <a class="el" href="classSVF_1_1ConstraintEdge.html">SVF::ConstraintEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
 struct llvm::GraphTraits&lt; SVF::ConstraintNode * &gt;</h3>

package/SVF-doxygen/html/html/structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html

@@ -77,6 +77,7 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::DCHGraph * &gt;:</div>
  <div class="center">
   <img src="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.png" usemap="#llvm::GraphTraits_3C_20SVF::DCHGraph_20_2A_20_3E_map" alt=""/>
   <map id="llvm::GraphTraits_3C_20SVF::DCHGraph_20_2A_20_3E_map" name="llvm::GraphTraits_3C_20SVF::DCHGraph_20_2A_20_3E_map">
+<area href="structllvm_1_1GraphTraits.html" alt="llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::DCHNode, SVF::DCHEdge &gt; * &gt;" shape="rect" coords="0,0,461,24"/>
 </map>
  </div></div>
 <table class="memberdecls">
@@ -84,6 +85,9 @@ Inheritance diagram for llvm::GraphTraits&lt; SVF::DCHGraph * &gt;:</div>
 Public Types</h2></td></tr>
 <tr class="memitem:a7f54c1b4b286ea5b46471741e4c34b54"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1DCHNode.html">SVF::DCHNode</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54">NodeRef</a></td></tr>
 <tr class="separator:a7f54c1b4b286ea5b46471741e4c34b54"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_types_structllvm_1_1GraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_types_structllvm_1_1GraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Types inherited from <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericGraph&lt; SVF::DCHNode, SVF::DCHEdge &gt; * &gt;</a></td></tr>
+<tr class="memitem:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memItemLeft" align="right" valign="top">using&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> = typename <a class="el" href="classSVF_1_1GenericGraph.html">SVF::GenericGraph</a>&lt; <a class="el" href="classSVF_1_1DCHNode.html">SVF::DCHNode</a>, <a class="el" href="classSVF_1_1DCHEdge.html">SVF::DCHEdge</a> &gt; *::UnknownGraphTypeError</td></tr>
+<tr class="separator:a741f7d63af17a7bd0bcf63f68e8658bd inherit pub_types_structllvm_1_1GraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
 <div class="textblock"><h3>template&lt;&gt;<br />
@@ -99,7 +103,7 @@ struct llvm::GraphTraits&lt; SVF::DCHGraph * &gt;</h3>
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classSVF_1_1DCHNode.html">SVF::DCHNode</a>* llvm::GraphTraits&lt; <a class="el" href="classSVF_1_1DCHGraph.html">SVF::DCHGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54">NodeRef</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1DCHNode.html">SVF::DCHNode</a>* <a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits</a>&lt; <a class="el" href="classSVF_1_1DCHGraph.html">SVF::DCHGraph</a> * &gt;::<a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html#a7f54c1b4b286ea5b46471741e4c34b54">NodeRef</a></td>
         </tr>
       </table>
 </div><div class="memdoc">

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

@@ -0,0 +1,81 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespacellvm.html">llvm</a></li><li class="navelem"><a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html">GraphTraits&lt; SVF::DCHNode * &gt;</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">llvm::GraphTraits&lt; SVF::DCHNode * &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html">llvm::GraphTraits&lt; SVF::DCHNode * &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html#a741f7d63af17a7bd0bcf63f68e8658bd">NodeRef</a> typedef</td><td class="entry"><a class="el" href="structllvm_1_1GraphTraits.html">llvm::GraphTraits&lt; SVF::GenericNode&lt; SVF::DCHNode, SVF::DCHEdge &gt; * &gt;</a></td><td class="entry"></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>