npm - svf-tools - Versions diffs - 1.0.442 → 1.0.445 - Mend

svf-tools 1.0.442 → 1.0.445

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (518) hide show

package/SVF-doxygen/html/html/classSVF_1_1GraphReachSolver.html ADDED Viewed

@@ -0,0 +1,937 @@
+<!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: SVF::GraphReachSolver&lt; GraphType, DPIm &gt; Class Template Reference</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="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="classSVF_1_1GraphReachSolver.html">GraphReachSolver</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-types">Public Types</a> &#124;
+<a href="#pro-methods">Protected Member Functions</a> &#124;
+<a href="#pri-attribs">Private Attributes</a> &#124;
+<a href="classSVF_1_1GraphReachSolver-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::GraphReachSolver&lt; GraphType, DPIm &gt; Class Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+<p><code>#include &lt;<a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::GraphReachSolver&lt; GraphType, DPIm &gt;:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="classSVF_1_1GraphReachSolver.png" usemap="#SVF::GraphReachSolver_3C_20GraphType_2C_20DPIm_20_3E_map" alt=""/>
+  <map id="SVF::GraphReachSolver_3C_20GraphType_2C_20DPIm_20_3E_map" name="SVF::GraphReachSolver_3C_20GraphType_2C_20DPIm_20_3E_map">
+<area href="classSVF_1_1SrcSnkDDA.html" alt="SVF::SrcSnkDDA" shape="rect" coords="143,56,419,80"/>
+<area href="classSVF_1_1LeakChecker.html" alt="SVF::LeakChecker" shape="rect" coords="143,112,419,136"/>
+<area href="classSVF_1_1DoubleFreeChecker.html" alt="SVF::DoubleFreeChecker" shape="rect" coords="0,168,276,192"/>
+<area href="classSVF_1_1FileChecker.html" alt="SVF::FileChecker" shape="rect" coords="286,168,562,192"/>
+</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:a2ede2e8b4c0f44d7f1d5ab7684915556"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; GraphType &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">GTraits</a></td></tr>
+<tr class="memdesc:a2ede2e8b4c0f44d7f1d5ab7684915556"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define the GTraits and node iterator.  <a href="#a2ede2e8b4c0f44d7f1d5ab7684915556">More...</a><br /></td></tr>
+<tr class="separator:a2ede2e8b4c0f44d7f1d5ab7684915556"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af499845fe35ebe782f660146808506de"><td class="memItemLeft" align="right" valign="top">typedef GTraits::NodeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a></td></tr>
+<tr class="separator:af499845fe35ebe782f660146808506de"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8a42bdbb5987d0a340f9935f09e2acd2"><td class="memItemLeft" align="right" valign="top">typedef GTraits::EdgeType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a></td></tr>
+<tr class="separator:a8a42bdbb5987d0a340f9935f09e2acd2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4e5126b0e97e490ce65804e2017f0084"><td class="memItemLeft" align="right" valign="top">typedef GTraits::nodes_iterator&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">node_iterator</a></td></tr>
+<tr class="separator:a4e5126b0e97e490ce65804e2017f0084"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad3fb81ac5017c6c3dc4b2b3b65b3ca04"><td class="memItemLeft" align="right" valign="top">typedef GTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a></td></tr>
+<tr class="separator:ad3fb81ac5017c6c3dc4b2b3b65b3ca04"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aa1542934a87c9edce00355fe2d690b9e"><td class="memItemLeft" align="right" valign="top">typedef llvm::GraphTraits&lt; llvm::Inverse&lt; <a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> * &gt; &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">InvGTraits</a></td></tr>
+<tr class="memdesc:aa1542934a87c9edce00355fe2d690b9e"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define inverse GTraits and note iterator.  <a href="#aa1542934a87c9edce00355fe2d690b9e">More...</a><br /></td></tr>
+<tr class="separator:aa1542934a87c9edce00355fe2d690b9e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a40fe9f5863619ee7c11a630e4fd89a91"><td class="memItemLeft" align="right" valign="top">typedef InvGTraits::ChildIteratorType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a></td></tr>
+<tr class="separator:a40fe9f5863619ee7c11a630e4fd89a91"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a472784c3cb958b4347958f039d2fe054"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt; DPIm &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">WorkList</a></td></tr>
+<tr class="memdesc:a472784c3cb958b4347958f039d2fe054"><td class="mdescLeft">&#160;</td><td class="mdescRight">Define worklist.  <a href="#a472784c3cb958b4347958f039d2fe054">More...</a><br /></td></tr>
+<tr class="separator:a472784c3cb958b4347958f039d2fe054"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pro-methods"></a>
+Protected Member Functions</h2></td></tr>
+<tr class="memitem:a766dc60e7ce7b24b829ba591d069c174"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174">GraphReachSolver</a> ()</td></tr>
+<tr class="memdesc:a766dc60e7ce7b24b829ba591d069c174"><td class="mdescLeft">&#160;</td><td class="mdescRight">Constructor.  <a href="#a766dc60e7ce7b24b829ba591d069c174">More...</a><br /></td></tr>
+<tr class="separator:a766dc60e7ce7b24b829ba591d069c174"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a31e78a14271a152f5b7c0d751a39312a"><td class="memItemLeft" align="right" valign="top">virtual&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a31e78a14271a152f5b7c0d751a39312a">~GraphReachSolver</a> ()</td></tr>
+<tr class="memdesc:a31e78a14271a152f5b7c0d751a39312a"><td class="mdescLeft">&#160;</td><td class="mdescRight">Destructor.  <a href="#a31e78a14271a152f5b7c0d751a39312a">More...</a><br /></td></tr>
+<tr class="separator:a31e78a14271a152f5b7c0d751a39312a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0b7f0923105dfb198a2a8428d6c1ca98"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> *&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">getNode</a> (<a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> id) const</td></tr>
+<tr class="separator:a0b7f0923105dfb198a2a8428d6c1ca98"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a84f39b3234ddf8198c793ff8c5d59cdf"><td class="memItemLeft" align="right" valign="top">virtual <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">getNodeIDFromItem</a> (const DPIm &amp;item) const</td></tr>
+<tr class="separator:a84f39b3234ddf8198c793ff8c5d59cdf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad1ad147241183e1077a4691ebe7861b5"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#ad1ad147241183e1077a4691ebe7861b5">forwardTraverse</a> (DPIm &amp;it)</td></tr>
+<tr class="memdesc:ad1ad147241183e1077a4691ebe7861b5"><td class="mdescLeft">&#160;</td><td class="mdescRight">CFL forward traverse solve.  <a href="#ad1ad147241183e1077a4691ebe7861b5">More...</a><br /></td></tr>
+<tr class="separator:ad1ad147241183e1077a4691ebe7861b5"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a8785ea71a1b0da03595fc8f594921819"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8785ea71a1b0da03595fc8f594921819">backwardTraverse</a> (DPIm &amp;it)</td></tr>
+<tr class="memdesc:a8785ea71a1b0da03595fc8f594921819"><td class="mdescLeft">&#160;</td><td class="mdescRight">CFL forward traverse solve.  <a href="#a8785ea71a1b0da03595fc8f594921819">More...</a><br /></td></tr>
+<tr class="separator:a8785ea71a1b0da03595fc8f594921819"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a88775eedbbc3039caac1e350b48aa838"><td class="memItemLeft" align="right" valign="top">const GraphType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838">graph</a> () const</td></tr>
+<tr class="memdesc:a88775eedbbc3039caac1e350b48aa838"><td class="mdescLeft">&#160;</td><td class="mdescRight">Get/Set graph methods.  <a href="#a88775eedbbc3039caac1e350b48aa838">More...</a><br /></td></tr>
+<tr class="separator:a88775eedbbc3039caac1e350b48aa838"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0298a692295a8a4eae32ab151aa6ccc3"><td class="memItemLeft" align="right" valign="top">void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a0298a692295a8a4eae32ab151aa6ccc3">setGraph</a> (GraphType g)</td></tr>
+<tr class="separator:a0298a692295a8a4eae32ab151aa6ccc3"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a6ea48755ca28468b426380e838494087"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087">FWProcessCurNode</a> (const DPIm &amp;)</td></tr>
+<tr class="memdesc:a6ea48755ca28468b426380e838494087"><td class="mdescLeft">&#160;</td><td class="mdescRight">Process the DP item.  <a href="#a6ea48755ca28468b426380e838494087">More...</a><br /></td></tr>
+<tr class="separator:a6ea48755ca28468b426380e838494087"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5b2ec04cbee0e457ed9d8a8a4c2e134f"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">BWProcessCurNode</a> (const DPIm &amp;)</td></tr>
+<tr class="separator:a5b2ec04cbee0e457ed9d8a8a4c2e134f"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a3f205f7bc0f0ae1a14184bb8cae4bf92"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92">FWProcessOutgoingEdge</a> (const DPIm &amp;item, <a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a> *edge)</td></tr>
+<tr class="memdesc:a3f205f7bc0f0ae1a14184bb8cae4bf92"><td class="mdescLeft">&#160;</td><td class="mdescRight">Propagation for the solving, to be implemented in the child class.  <a href="#a3f205f7bc0f0ae1a14184bb8cae4bf92">More...</a><br /></td></tr>
+<tr class="separator:a3f205f7bc0f0ae1a14184bb8cae4bf92"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aac7caf50b94caa7bd6960461c0c16014"><td class="memItemLeft" align="right" valign="top">virtual void&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014">BWProcessIncomingEdge</a> (const DPIm &amp;item, <a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a> *edge)</td></tr>
+<tr class="separator:aac7caf50b94caa7bd6960461c0c16014"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr><td colspan="2"><div class="groupHeader"></div></td></tr>
+<tr class="memitem:a1638d1ccdcef472f2c54a2e18fc4130b"><td class="memItemLeft" align="right" valign="top">DPIm&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">popFromWorklist</a> ()</td></tr>
+<tr class="memdesc:a1638d1ccdcef472f2c54a2e18fc4130b"><td class="mdescLeft">&#160;</td><td class="mdescRight">Worklist operations.  <a href="#a1638d1ccdcef472f2c54a2e18fc4130b">More...</a><br /></td></tr>
+<tr class="separator:a1638d1ccdcef472f2c54a2e18fc4130b"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a53564d384938c19980cb138f720e34e9"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a> (DPIm &amp;item)</td></tr>
+<tr class="separator:a53564d384938c19980cb138f720e34e9"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7bfeccdf602cf901699e806e6c481f26"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">isWorklistEmpty</a> ()</td></tr>
+<tr class="separator:a7bfeccdf602cf901699e806e6c481f26"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a448dd77a75555479e9c8769c0638af2c"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a448dd77a75555479e9c8769c0638af2c">isInWorklist</a> (DPIm &amp;item)</td></tr>
+<tr class="separator:a448dd77a75555479e9c8769c0638af2c"><td class="memSeparator" colspan="2">&#160;</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:af486b67b972d797107ec82f3f7988668"><td class="memItemLeft" align="right" valign="top">GraphType&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">_graph</a></td></tr>
+<tr class="memdesc:af486b67b972d797107ec82f3f7988668"><td class="mdescLeft">&#160;</td><td class="mdescRight">Graph.  <a href="#af486b67b972d797107ec82f3f7988668">More...</a><br /></td></tr>
+<tr class="separator:af486b67b972d797107ec82f3f7988668"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5032d3988dbce5a29274c55dc4dbe6bc"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">WorkList</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a></td></tr>
+<tr class="memdesc:a5032d3988dbce5a29274c55dc4dbe6bc"><td class="mdescLeft">&#160;</td><td class="mdescRight">Worklist for resolution.  <a href="#a5032d3988dbce5a29274c55dc4dbe6bc">More...</a><br /></td></tr>
+<tr class="separator:a5032d3988dbce5a29274c55dc4dbe6bc"><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;class GraphType, class DPIm = DPItem&gt;<br />
+class SVF::GraphReachSolver&lt; GraphType, DPIm &gt;</h3>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00044">44</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div><h2 class="groupheader">Member Typedef Documentation</h2>
+<a id="ad3fb81ac5017c6c3dc4b2b3b65b3ca04"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">&#9670;&nbsp;</a></span>child_iterator</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef GTraits::ChildIteratorType <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00053">53</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="a8a42bdbb5987d0a340f9935f09e2acd2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8a42bdbb5987d0a340f9935f09e2acd2">&#9670;&nbsp;</a></span>GEDGE</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef GTraits::EdgeType <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00051">51</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="af499845fe35ebe782f660146808506de"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af499845fe35ebe782f660146808506de">&#9670;&nbsp;</a></span>GNODE</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef GTraits::NodeType <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00050">50</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="a2ede2e8b4c0f44d7f1d5ab7684915556"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a2ede2e8b4c0f44d7f1d5ab7684915556">&#9670;&nbsp;</a></span>GTraits</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::GraphTraits&lt;GraphType&gt; <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556">GTraits</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Define the GTraits and node iterator. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00049">49</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="a40fe9f5863619ee7c11a630e4fd89a91"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a40fe9f5863619ee7c11a630e4fd89a91">&#9670;&nbsp;</a></span>inv_child_iterator</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef InvGTraits::ChildIteratorType <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00057">57</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="aa1542934a87c9edce00355fe2d690b9e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aa1542934a87c9edce00355fe2d690b9e">&#9670;&nbsp;</a></span>InvGTraits</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef llvm::GraphTraits&lt;llvm::Inverse&lt;<a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a> *&gt; &gt; <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#aa1542934a87c9edce00355fe2d690b9e">InvGTraits</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Define inverse GTraits and note iterator. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00056">56</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="a4e5126b0e97e490ce65804e2017f0084"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4e5126b0e97e490ce65804e2017f0084">&#9670;&nbsp;</a></span>node_iterator</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef GTraits::nodes_iterator <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#a4e5126b0e97e490ce65804e2017f0084">node_iterator</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00052">52</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="a472784c3cb958b4347958f039d2fe054"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a472784c3cb958b4347958f039d2fe054">&#9670;&nbsp;</a></span>WorkList</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1FIFOWorkList.html">FIFOWorkList</a>&lt;DPIm&gt; <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">WorkList</a></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Define worklist. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00060">60</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a766dc60e7ce7b24b829ba591d069c174"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a766dc60e7ce7b24b829ba591d069c174">&#9670;&nbsp;</a></span>GraphReachSolver()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::<a class="el" href="classSVF_1_1GraphReachSolver.html">GraphReachSolver</a> </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Constructor. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00065">65</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;                      : <a class="code" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">_graph</a>(<span class="keyword">nullptr</span>)</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    {</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_af486b67b972d797107ec82f3f7988668"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00177">GraphReachSolver.h:177</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a31e78a14271a152f5b7c0d751a39312a"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a31e78a14271a152f5b7c0d751a39312a">&#9670;&nbsp;</a></span>~GraphReachSolver()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::~<a class="el" href="classSVF_1_1GraphReachSolver.html">GraphReachSolver</a> </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Destructor. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00069">69</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    {</div><div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Function Documentation</h2>
+<a id="a8785ea71a1b0da03595fc8f594921819"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a8785ea71a1b0da03595fc8f594921819">&#9670;&nbsp;</a></span>backwardTraverse()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::backwardTraverse </td>
+          <td>(</td>
+          <td class="paramtype">DPIm &amp;&#160;</td>
+          <td class="paramname"><em>it</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>CFL forward traverse solve. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00112">112</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    {</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;        <a class="code" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(it);</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;</div><div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;        <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">isWorklistEmpty</a>())</div><div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;        {</div><div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;            DPIm item = <a class="code" href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">popFromWorklist</a>();</div><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">BWProcessCurNode</a>(item);</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a>* v = <a class="code" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">getNode</a>(<a class="code" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">getNodeIDFromItem</a>(item));</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a> EI = InvGTraits::child_begin(v);</div><div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">inv_child_iterator</a> EE = InvGTraits::child_end(v);</div><div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;            <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;            {</div><div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                <a class="code" href="classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014">BWProcessIncomingEdge</a>(item,*(EI.getCurrent()) );</div><div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;            }</div><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;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_aac7caf50b94caa7bd6960461c0c16014"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#aac7caf50b94caa7bd6960461c0c16014">SVF::GraphReachSolver::BWProcessIncomingEdge</a></div><div class="ttdeci">virtual void BWProcessIncomingEdge(const DPIm &amp;item, GEDGE *edge)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00147">GraphReachSolver.h:147</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a1638d1ccdcef472f2c54a2e18fc4130b"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">SVF::GraphReachSolver::popFromWorklist</a></div><div class="ttdeci">DPIm popFromWorklist()</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00156">GraphReachSolver.h:156</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a0b7f0923105dfb198a2a8428d6c1ca98"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">SVF::GraphReachSolver::getNode</a></div><div class="ttdeci">GNODE * getNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00084">GraphReachSolver.h:84</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a53564d384938c19980cb138f720e34e9"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00160">GraphReachSolver.h:160</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a84f39b3234ddf8198c793ff8c5d59cdf"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">SVF::GraphReachSolver::getNodeIDFromItem</a></div><div class="ttdeci">virtual NodeID getNodeIDFromItem(const DPIm &amp;item) const</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00088">GraphReachSolver.h:88</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5b2ec04cbee0e457ed9d8a8a4c2e134f"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5b2ec04cbee0e457ed9d8a8a4c2e134f">SVF::GraphReachSolver::BWProcessCurNode</a></div><div class="ttdeci">virtual void BWProcessCurNode(const DPIm &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00135">GraphReachSolver.h:135</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_af499845fe35ebe782f660146808506de"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">SVF::GraphReachSolver::GNODE</a></div><div class="ttdeci">GTraits::NodeType GNODE</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00050">GraphReachSolver.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a7bfeccdf602cf901699e806e6c481f26"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">SVF::GraphReachSolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00164">GraphReachSolver.h:164</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a40fe9f5863619ee7c11a630e4fd89a91"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a40fe9f5863619ee7c11a630e4fd89a91">SVF::GraphReachSolver::inv_child_iterator</a></div><div class="ttdeci">InvGTraits::ChildIteratorType inv_child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00057">GraphReachSolver.h:57</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a5b2ec04cbee0e457ed9d8a8a4c2e134f"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5b2ec04cbee0e457ed9d8a8a4c2e134f">&#9670;&nbsp;</a></span>BWProcessCurNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::BWProcessCurNode </td>
+          <td>(</td>
+          <td class="paramtype">const DPIm &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00135">135</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    {</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="aac7caf50b94caa7bd6960461c0c16014"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#aac7caf50b94caa7bd6960461c0c16014">&#9670;&nbsp;</a></span>BWProcessIncomingEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::BWProcessIncomingEdge </td>
+          <td>(</td>
+          <td class="paramtype">const DPIm &amp;&#160;</td>
+          <td class="paramname"><em>item</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a> *&#160;</td>
+          <td class="paramname"><em>edge</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00147">147</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;    {</div><div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        DPIm newItem(item);</div><div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        newItem.setCurNodeID(edge-&gt;getSrcID());</div><div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;        <a class="code" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(newItem);</div><div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a53564d384938c19980cb138f720e34e9"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00160">GraphReachSolver.h:160</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ad1ad147241183e1077a4691ebe7861b5"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ad1ad147241183e1077a4691ebe7861b5">&#9670;&nbsp;</a></span>forwardTraverse()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::forwardTraverse </td>
+          <td>(</td>
+          <td class="paramtype">DPIm &amp;&#160;</td>
+          <td class="paramname"><em>it</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>CFL forward traverse solve. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00093">93</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;    {</div><div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;        <a class="code" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(it);</div><div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;</div><div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;        <span class="keywordflow">while</span> (!<a class="code" href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">isWorklistEmpty</a>())</div><div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;        {</div><div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;            DPIm item = <a class="code" href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">popFromWorklist</a>();</div><div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087">FWProcessCurNode</a>(item);</div><div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;</div><div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a>* v = <a class="code" href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">getNode</a>(<a class="code" href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">getNodeIDFromItem</a>(item));</div><div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a> EI = GTraits::child_begin(v);</div><div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;            <a class="code" href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">child_iterator</a> EE = GTraits::child_end(v);</div><div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;            <span class="keywordflow">for</span> (; EI != EE; ++EI)</div><div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;            {</div><div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;                <a class="code" href="classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92">FWProcessOutgoingEdge</a>(item,*(EI.getCurrent()) );</div><div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;            }</div><div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        }</div><div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_ad3fb81ac5017c6c3dc4b2b3b65b3ca04"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#ad3fb81ac5017c6c3dc4b2b3b65b3ca04">SVF::GraphReachSolver::child_iterator</a></div><div class="ttdeci">GTraits::ChildIteratorType child_iterator</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00053">GraphReachSolver.h:53</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a1638d1ccdcef472f2c54a2e18fc4130b"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a1638d1ccdcef472f2c54a2e18fc4130b">SVF::GraphReachSolver::popFromWorklist</a></div><div class="ttdeci">DPIm popFromWorklist()</div><div class="ttdoc">Worklist operations. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00156">GraphReachSolver.h:156</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a0b7f0923105dfb198a2a8428d6c1ca98"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98">SVF::GraphReachSolver::getNode</a></div><div class="ttdeci">GNODE * getNode(NodeID id) const</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00084">GraphReachSolver.h:84</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a53564d384938c19980cb138f720e34e9"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00160">GraphReachSolver.h:160</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a84f39b3234ddf8198c793ff8c5d59cdf"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf">SVF::GraphReachSolver::getNodeIDFromItem</a></div><div class="ttdeci">virtual NodeID getNodeIDFromItem(const DPIm &amp;item) const</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00088">GraphReachSolver.h:88</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a6ea48755ca28468b426380e838494087"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a6ea48755ca28468b426380e838494087">SVF::GraphReachSolver::FWProcessCurNode</a></div><div class="ttdeci">virtual void FWProcessCurNode(const DPIm &amp;)</div><div class="ttdoc">Process the DP item. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00132">GraphReachSolver.h:132</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a3f205f7bc0f0ae1a14184bb8cae4bf92"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a3f205f7bc0f0ae1a14184bb8cae4bf92">SVF::GraphReachSolver::FWProcessOutgoingEdge</a></div><div class="ttdeci">virtual void FWProcessOutgoingEdge(const DPIm &amp;item, GEDGE *edge)</div><div class="ttdoc">Propagation for the solving, to be implemented in the child class. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00141">GraphReachSolver.h:141</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_af499845fe35ebe782f660146808506de"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">SVF::GraphReachSolver::GNODE</a></div><div class="ttdeci">GTraits::NodeType GNODE</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00050">GraphReachSolver.h:50</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a7bfeccdf602cf901699e806e6c481f26"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a7bfeccdf602cf901699e806e6c481f26">SVF::GraphReachSolver::isWorklistEmpty</a></div><div class="ttdeci">bool isWorklistEmpty()</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00164">GraphReachSolver.h:164</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a6ea48755ca28468b426380e838494087"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6ea48755ca28468b426380e838494087">&#9670;&nbsp;</a></span>FWProcessCurNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::FWProcessCurNode </td>
+          <td>(</td>
+          <td class="paramtype">const DPIm &amp;&#160;</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Process the DP item. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00132">132</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.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;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a3f205f7bc0f0ae1a14184bb8cae4bf92"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3f205f7bc0f0ae1a14184bb8cae4bf92">&#9670;&nbsp;</a></span>FWProcessOutgoingEdge()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::FWProcessOutgoingEdge </td>
+          <td>(</td>
+          <td class="paramtype">const DPIm &amp;&#160;</td>
+          <td class="paramname"><em>item</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2">GEDGE</a> *&#160;</td>
+          <td class="paramname"><em>edge</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Propagation for the solving, to be implemented in the child class. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00141">141</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.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;        DPIm newItem(item);</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;        newItem.setCurNodeID(edge-&gt;getDstID());</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;        <a class="code" href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">pushIntoWorklist</a>(newItem);</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a53564d384938c19980cb138f720e34e9"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a53564d384938c19980cb138f720e34e9">SVF::GraphReachSolver::pushIntoWorklist</a></div><div class="ttdeci">bool pushIntoWorklist(DPIm &amp;item)</div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00160">GraphReachSolver.h:160</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0b7f0923105dfb198a2a8428d6c1ca98"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0b7f0923105dfb198a2a8428d6c1ca98">&#9670;&nbsp;</a></span>getNode()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GraphReachSolver.html#af499845fe35ebe782f660146808506de">GNODE</a>* <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::getNode </td>
+          <td>(</td>
+          <td class="paramtype"><a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a>&#160;</td>
+          <td class="paramname"><em>id</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00084">84</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;    {</div><div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">_graph</a>-&gt;getGNode(<span class="keywordtype">id</span>);</div><div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_af486b67b972d797107ec82f3f7988668"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00177">GraphReachSolver.h:177</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a84f39b3234ddf8198c793ff8c5d59cdf"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a84f39b3234ddf8198c793ff8c5d59cdf">&#9670;&nbsp;</a></span>getNodeIDFromItem()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">virtual <a class="el" href="namespaceSVF.html#a43a65e0d33af3c743294f7a1139d2301">NodeID</a> <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::getNodeIDFromItem </td>
+          <td>(</td>
+          <td class="paramtype">const DPIm &amp;&#160;</td>
+          <td class="paramname"><em>item</em></td><td>)</td>
+          <td> const</td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span><span class="mlabel">virtual</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00088">88</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;    {</div><div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;        <span class="keywordflow">return</span> item.getCurNodeID();</div><div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;    }</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a88775eedbbc3039caac1e350b48aa838"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a88775eedbbc3039caac1e350b48aa838">&#9670;&nbsp;</a></span>graph()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">const GraphType <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::graph </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 class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Get/Set graph methods. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00074">74</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;    {</div><div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">_graph</a>;</div><div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_af486b67b972d797107ec82f3f7988668"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00177">GraphReachSolver.h:177</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a448dd77a75555479e9c8769c0638af2c"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a448dd77a75555479e9c8769c0638af2c">&#9670;&nbsp;</a></span>isInWorklist()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::isInWorklist </td>
+          <td>(</td>
+          <td class="paramtype">DPIm &amp;&#160;</td>
+          <td class="paramname"><em>item</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00168">168</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;    {</div><div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">find</a>(item);</div><div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a86f2393b1cce7969d6974b53970ead54"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a86f2393b1cce7969d6974b53970ead54">SVF::FIFOWorkList::find</a></div><div class="ttdeci">bool find(Data data) const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00151">WorkList.h:151</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a7bfeccdf602cf901699e806e6c481f26"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7bfeccdf602cf901699e806e6c481f26">&#9670;&nbsp;</a></span>isWorklistEmpty()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::isWorklistEmpty </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00164">164</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;    {</div><div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">empty</a>();</div><div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;    }</div><div class="ttc" id="classSVF_1_1FIFOWorkList_html_a7056704c224dfb4b57287fe90c004aa8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a7056704c224dfb4b57287fe90c004aa8">SVF::FIFOWorkList::empty</a></div><div class="ttdeci">bool empty() const</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00146">WorkList.h:146</a></div></div>
+<div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a1638d1ccdcef472f2c54a2e18fc4130b"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a1638d1ccdcef472f2c54a2e18fc4130b">&#9670;&nbsp;</a></span>popFromWorklist()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">DPIm <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::popFromWorklist </td>
+          <td>(</td>
+          <td class="paramname"></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p>Worklist operations. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00156">156</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;    {</div><div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">pop</a>();</div><div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a53564d384938c19980cb138f720e34e9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a53564d384938c19980cb138f720e34e9">&#9670;&nbsp;</a></span>pushIntoWorklist()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">bool <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::pushIntoWorklist </td>
+          <td>(</td>
+          <td class="paramtype">DPIm &amp;&#160;</td>
+          <td class="paramname"><em>item</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00160">160</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    {</div><div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;        <span class="keywordflow">return</span> <a class="code" href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">worklist</a>.<a class="code" href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">push</a>(item);</div><div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_a5032d3988dbce5a29274c55dc4dbe6bc"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#a5032d3988dbce5a29274c55dc4dbe6bc">SVF::GraphReachSolver::worklist</a></div><div class="ttdeci">WorkList worklist</div><div class="ttdoc">Worklist for resolution. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00180">GraphReachSolver.h:180</a></div></div>
+<div class="ttc" id="classSVF_1_1FIFOWorkList_html_ad4c6a48b60c870d63049fe7272cc7eb8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00159">WorkList.h:159</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a0298a692295a8a4eae32ab151aa6ccc3"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a0298a692295a8a4eae32ab151aa6ccc3">&#9670;&nbsp;</a></span>setGraph()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">void <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::setGraph </td>
+          <td>(</td>
+          <td class="paramtype">GraphType&#160;</td>
+          <td class="paramname"><em>g</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span><span class="mlabel">protected</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00078">78</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;    {</div><div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;        <a class="code" href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">_graph</a> = g;</div><div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;    }</div><div class="ttc" id="classSVF_1_1GraphReachSolver_html_af486b67b972d797107ec82f3f7988668"><div class="ttname"><a href="classSVF_1_1GraphReachSolver.html#af486b67b972d797107ec82f3f7988668">SVF::GraphReachSolver::_graph</a></div><div class="ttdeci">GraphType _graph</div><div class="ttdoc">Graph. </div><div class="ttdef"><b>Definition:</b> <a href="GraphReachSolver_8h_source.html#l00177">GraphReachSolver.h:177</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<h2 class="groupheader">Member Data Documentation</h2>
+<a id="af486b67b972d797107ec82f3f7988668"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af486b67b972d797107ec82f3f7988668">&#9670;&nbsp;</a></span>_graph</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname">GraphType <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::_graph</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>Graph. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00177">177</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<a id="a5032d3988dbce5a29274c55dc4dbe6bc"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a5032d3988dbce5a29274c55dc4dbe6bc">&#9670;&nbsp;</a></span>worklist</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType , class DPIm  = DPItem&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1GraphReachSolver.html#a472784c3cb958b4347958f039d2fe054">WorkList</a> <a class="el" href="classSVF_1_1GraphReachSolver.html">SVF::GraphReachSolver</a>&lt; GraphType, DPIm &gt;::worklist</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>Worklist for resolution. </p>
+<p class="definition">Definition at line <a class="el" href="GraphReachSolver_8h_source.html#l00180">180</a> of file <a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a>.</p>
+</div>
+</div>
+<hr/>The documentation for this class was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Util/<a class="el" href="GraphReachSolver_8h_source.html">GraphReachSolver.h</a></li>
+</ul>
+</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>