npm - svf-tools - Versions diffs - 1.0.596 → 1.0.598 - Mend

svf-tools 1.0.596 → 1.0.598

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 (802) hide show

package/SVF-doxygen/html/html/namespaceSVF.html CHANGED Viewed

@@ -76,6 +76,10 @@ $(function() {
 Namespaces</h2></td></tr>
 <tr class="memitem:namespaceSVF_1_1cppUtil"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1cppUtil.html">cppUtil</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:namespaceSVF_1_1DOT"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1DOT.html">DOT</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:namespaceSVF_1_1GraphProgram"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1GraphProgram.html">GraphProgram</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:namespaceSVF_1_1LLVMUtil"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1LLVMUtil.html">LLVMUtil</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:namespaceSVF_1_1SVFUtil"><td class="memItemLeft" align="right" valign="top"> &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF_1_1SVFUtil.html">SVFUtil</a></td></tr>
@@ -250,6 +254,8 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DDAVFSolver.html">DDAVFSolver</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">DefaultDOTGraphTraits</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a></td></tr>
@@ -258,6 +264,26 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DistinctMRG.html">DistinctMRG</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html">DOTGraphTraits&lt; CFLGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html">DOTGraphTraits&lt; CHGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html">DOTGraphTraits&lt; ConstraintGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html">DOTGraphTraits&lt; ICFG * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html">DOTGraphTraits&lt; IRGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html">DOTGraphTraits&lt; PTACallGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html">DOTGraphTraits&lt; SVFG * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html">DOTGraphTraits&lt; TCT * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html">DOTGraphTraits&lt; VFG * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DoubleFreeChecker.html">DoubleFreeChecker</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1DPItem.html">DPItem</a></td></tr>
@@ -308,6 +334,81 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericGraph.html">GenericGraph</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; Inverse&lt; T &gt; &gt; &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::CFLNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::CHNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::ConstraintNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::DCHNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; *&gt; &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::ICFGNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::PTACallGraphNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::SVFVar * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for <a class="el" href="classSVF_1_1SVFIR.html">SVFIR</a> node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::TCTNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for Value flow node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html">GenericGraphTraits&lt; Inverse&lt; SVF::VFGNode * &gt; &gt;</a></td></tr>
+<tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a> <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a> specializations for call graph node, it is used for inverse traversal.  <a href="structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html#details">More...</a><br /></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html">GenericGraphTraits&lt; SVF::CFLGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::CFLNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html">GenericGraphTraits&lt; SVF::CHGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::CHNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html">GenericGraphTraits&lt; SVF::ConstraintGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::ConstraintNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html">GenericGraphTraits&lt; SVF::DCHGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::DCHNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html">GenericGraphTraits&lt; SVF::GenericGraph&lt; NodeTy, EdgeTy &gt; *&gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html">GenericGraphTraits&lt; SVF::GenericNode&lt; NodeTy, EdgeTy &gt; * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html">GenericGraphTraits&lt; SVF::ICFG * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::ICFGNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html">GenericGraphTraits&lt; SVF::IRGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html">GenericGraphTraits&lt; SVF::PTACallGraph * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::PTACallGraphNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html">GenericGraphTraits&lt; SVF::SVFG * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html">GenericGraphTraits&lt; SVF::SVFVar * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html">GenericGraphTraits&lt; SVF::TCT * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::TCTNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html">GenericGraphTraits&lt; SVF::VFG * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html">GenericGraphTraits&lt; SVF::VFGNode * &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GepCGEdge.html">GepCGEdge</a></td></tr>
@@ -326,8 +427,12 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GrammarBuilder.html">GrammarBuilder</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphPrinter.html">GraphPrinter</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphReachSolver.html">GraphReachSolver</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1HareParForEdge.html">HareParForEdge</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Hash.html">Hash</a></td></tr>
@@ -373,10 +478,18 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IntraPHIVFGNode.html">IntraPHIVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1Inverse.html">Inverse</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRAnnotator.html">IRAnnotator</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1IRGraph.html">IRGraph</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__adaptor__base.html">iter_adaptor_base</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__facade__base.html">iter_facade_base</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1LeadingZerosCounter.html">LeadingZerosCounter</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LeakChecker.html">LeakChecker</a></td></tr>
@@ -401,6 +514,8 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1LockResultValidator.html">LockResultValidator</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1mapped__iter.html">mapped_iter</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemObj.html">MemObj</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1MemRegion.html">MemRegion</a></td></tr>
@@ -494,6 +609,10 @@ Classes</h2></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PHIVFGNode.html">PHIVFGNode</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointerAnalysis.html">PointerAnalysis</a></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">class &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a></td></tr>
@@ -1101,15 +1220,18 @@ Typedefs</h2></td></tr>
 <tr class="separator:a32489632f53dce062ca2e8bff42c65cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a544021f3075a89ff634b215a0efe3385"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">Set</a>&lt; <a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">VersionedVar</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">VersionedVarSet</a></td></tr>
 <tr class="separator:a544021f3075a89ff634b215a0efe3385"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a2eae2d6648dd6715421bd7af67d57637"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classllvm_1_1GraphPrinter.html">llvm::GraphPrinter</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637">GraphPrinter</a></td></tr>
-<tr class="memdesc:a2eae2d6648dd6715421bd7af67d57637"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Aliases and constants.  <a href="#a2eae2d6648dd6715421bd7af67d57637">More...</a><br /></td></tr>
-<tr class="separator:a2eae2d6648dd6715421bd7af67d57637"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ac8f90a58fd0d8e775e290b31f8ea9ce9"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GraphPrinter.html">SVF::GraphPrinter</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9">GraphPrinter</a></td></tr>
+<tr class="memdesc:ac8f90a58fd0d8e775e290b31f8ea9ce9"><td class="mdescLeft">&#160;</td><td class="mdescRight">LLVM Aliases and constants.  <a href="#ac8f90a58fd0d8e775e290b31f8ea9ce9">More...</a><br /></td></tr>
+<tr class="separator:ac8f90a58fd0d8e775e290b31f8ea9ce9"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a8d5e9e5137b04659ded32330e128df34"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1GenericNode.html">GenericNode</a>&lt; <a class="el" href="classSVF_1_1SVFVar.html">SVFVar</a>, <a class="el" href="classSVF_1_1SVFStmt.html">SVFStmt</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a8d5e9e5137b04659ded32330e128df34">GenericPAGNodeTy</a></td></tr>
 <tr class="separator:a8d5e9e5137b04659ded32330e128df34"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab3532a31724d8719d29aa4c3521ca215"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CondVar.html">CondVar</a>&lt; <a class="el" href="classSVF_1_1ContextCond.html">ContextCond</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">CxtVar</a></td></tr>
 <tr class="separator:ab3532a31724d8719d29aa4c3521ca215"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae23af66c8962f4a37da0a5a952bd137a"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1CondStdSet.html">CondStdSet</a>&lt; <a class="el" href="namespaceSVF.html#ab3532a31724d8719d29aa4c3521ca215">CxtVar</a> &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae23af66c8962f4a37da0a5a952bd137a">CxtPtSet</a></td></tr>
 <tr class="separator:ae23af66c8962f4a37da0a5a952bd137a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af3b0c055d852656a062bf784222a4fea"><td class="memTemplParams" colspan="2">template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;, typename T2  = std::add_pointer_t&lt;T1&gt;&gt; </td></tr>
+<tr class="memitem:af3b0c055d852656a062bf784222a4fea"><td class="memTemplItemLeft" align="right" valign="top">using&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af3b0c055d852656a062bf784222a4fea">raw_pointer_iterator</a> = <a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a>&lt; <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT, T1 &gt;, T2 &gt;</td></tr>
+<tr class="separator:af3b0c055d852656a062bf784222a4fea"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ae9c142945ea31b6c70bceb93eb6f3ca4"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1WPASolver.html">WPASolver</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae9c142945ea31b6c70bceb93eb6f3ca4">WPAConstraintSolver</a></td></tr>
 <tr class="separator:ae9c142945ea31b6c70bceb93eb6f3ca4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a1f730acb8da8187da732631ca6bbff01"><td class="memItemLeft" align="right" valign="top">typedef <a class="el" href="classSVF_1_1SCCDetection.html">SCCDetection</a>&lt; <a class="el" href="classSVF_1_1ConstraintGraph.html">ConstraintGraph</a> * &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a1f730acb8da8187da732631ca6bbff01">CGSCC</a></td></tr>
@@ -1140,6 +1262,33 @@ Enumerations</h2></td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="func-members"></a>
 Functions</h2></td></tr>
+<tr class="memitem:a809dcd83e295c61bb54710ba545d8d96"><td class="memTemplParams" colspan="2">template&lt;class ItTy , class FuncTy &gt; </td></tr>
+<tr class="memitem:a809dcd83e295c61bb54710ba545d8d96"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1mapped__iter.html">mapped_iter</a>&lt; ItTy, FuncTy &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a809dcd83e295c61bb54710ba545d8d96">map_iter</a> (ItTy I, FuncTy F)</td></tr>
+<tr class="separator:a809dcd83e295c61bb54710ba545d8d96"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae6c7046834fe00382052ece7d06eb0ac"><td class="memTemplParams" colspan="2">template&lt;class GraphType &gt; </td></tr>
+<tr class="memitem:ae6c7046834fe00382052ece7d06eb0ac"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::nodes_iterator &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae6c7046834fe00382052ece7d06eb0ac">nodes</a> (const GraphType &amp;G)</td></tr>
+<tr class="separator:ae6c7046834fe00382052ece7d06eb0ac"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a6506af0b08e86390c0e4786b6ee294ae"><td class="memTemplParams" colspan="2">template&lt;class GraphType &gt; </td></tr>
+<tr class="memitem:a6506af0b08e86390c0e4786b6ee294ae"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; <a class="el" href="structSVF_1_1Inverse.html">Inverse</a>&lt; GraphType &gt; &gt;::nodes_iterator &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a6506af0b08e86390c0e4786b6ee294ae">inverse_nodes</a> (const GraphType &amp;G)</td></tr>
+<tr class="separator:a6506af0b08e86390c0e4786b6ee294ae"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a67f454fa9341632d195fd5da619130f0"><td class="memTemplParams" colspan="2">template&lt;class GraphType &gt; </td></tr>
+<tr class="memitem:a67f454fa9341632d195fd5da619130f0"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::ChildIteratorType &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a67f454fa9341632d195fd5da619130f0">children</a> (const typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::NodeRef &amp;G)</td></tr>
+<tr class="separator:a67f454fa9341632d195fd5da619130f0"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a155eb379cf271ac550333afb13cb36fa"><td class="memTemplParams" colspan="2">template&lt;class GraphType &gt; </td></tr>
+<tr class="memitem:a155eb379cf271ac550333afb13cb36fa"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; <a class="el" href="structSVF_1_1Inverse.html">Inverse</a>&lt; GraphType &gt; &gt;::ChildIteratorType &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a155eb379cf271ac550333afb13cb36fa">inverse_children</a> (const typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::NodeRef &amp;G)</td></tr>
+<tr class="separator:a155eb379cf271ac550333afb13cb36fa"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ab485076115c46b3e009cc5c4d252adae"><td class="memTemplParams" colspan="2">template&lt;class GraphType &gt; </td></tr>
+<tr class="memitem:ab485076115c46b3e009cc5c4d252adae"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::ChildEdgeIteratorType &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab485076115c46b3e009cc5c4d252adae">children_edges</a> (const typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::NodeRef &amp;G)</td></tr>
+<tr class="separator:ab485076115c46b3e009cc5c4d252adae"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae27267f89add1338fd5afe3a38f61ebd"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae27267f89add1338fd5afe3a38f61ebd"><td class="memTemplItemLeft" align="right" valign="top">std::ofstream &amp;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">WriteGraph</a> (std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:ae27267f89add1338fd5afe3a38f61ebd"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a587614f74cb00a35a423559265239798"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a587614f74cb00a35a423559265239798"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a587614f74cb00a35a423559265239798">WriteGraph</a> (const GraphType &amp;G, bool ShortNames=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> Filename=&quot;&quot;)</td></tr>
+<tr class="separator:a587614f74cb00a35a423559265239798"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a4582a7d33a5631a5a38973f50035327e"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a4582a7d33a5631a5a38973f50035327e"><td class="memTemplItemLeft" align="right" valign="top">void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a4582a7d33a5631a5a38973f50035327e">ViewGraph</a> (const GraphType &amp;G, const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;<a class="el" href="cJSON_8cpp.html#acc128f98d9ceca227038c771308eff39">name</a>, bool ShortNames=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>, <a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">GraphProgram::Name</a> Program=<a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">GraphProgram::DOT</a>)</td></tr>
+<tr class="separator:a4582a7d33a5631a5a38973f50035327e"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:aa01b96d5bc6c3930b0bfca789acf75c4"><td class="memItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#aa01b96d5bc6c3930b0bfca789acf75c4">operator|</a> (const <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;lhs, const <a class="el" href="classSVF_1_1PointsTo.html">PointsTo</a> &amp;rhs)</td></tr>
 <tr class="memdesc:aa01b96d5bc6c3930b0bfca789acf75c4"><td class="mdescLeft">&#160;</td><td class="mdescRight">Returns a new lhs | rhs.  <a href="#aa01b96d5bc6c3930b0bfca789acf75c4">More...</a><br /></td></tr>
 <tr class="separator:aa01b96d5bc6c3930b0bfca789acf75c4"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1154,6 +1303,18 @@ Functions</h2></td></tr>
 <tr class="memitem:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memTemplParams" colspan="2">template&lt;typename F , typename S &gt; </td></tr>
 <tr class="memitem:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af83f5c5c68cdb80576cdc1d62c01b207">operator&lt;&lt;</a> (<a class="el" href="namespaceSVF.html#a8bd74fdcb0e58d0249003df9c3fb8b31">OutStream</a> &amp;o, const std::pair&lt; F, S &gt; &amp;var)</td></tr>
 <tr class="separator:af83f5c5c68cdb80576cdc1d62c01b207"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a41ca7c140a3b61d946e8c6338102986e"><td class="memTemplParams" colspan="2">template&lt;typename RangeT , typename WrappedIteratorT  = decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt; </td></tr>
+<tr class="memitem:a41ca7c140a3b61d946e8c6338102986e"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; <a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt; WrappedIteratorT &gt; &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a41ca7c140a3b61d946e8c6338102986e">make_pointee_range</a> (RangeT &amp;&amp;Range)</td></tr>
+<tr class="separator:a41ca7c140a3b61d946e8c6338102986e"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a7a436778318d16678992a3173988afc2"><td class="memTemplParams" colspan="2">template&lt;typename RangeT , typename WrappedIteratorT  = decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt; </td></tr>
+<tr class="memitem:a7a436778318d16678992a3173988afc2"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; <a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a>&lt; WrappedIteratorT &gt; &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a7a436778318d16678992a3173988afc2">make_pointer_range</a> (RangeT &amp;&amp;Range)</td></tr>
+<tr class="separator:a7a436778318d16678992a3173988afc2"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3b6bc8132d0fd4902888ab9f77c20124"><td class="memTemplParams" colspan="2">template&lt;class T &gt; </td></tr>
+<tr class="memitem:a3b6bc8132d0fd4902888ab9f77c20124"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a> (T x, T y)</td></tr>
+<tr class="separator:a3b6bc8132d0fd4902888ab9f77c20124"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a323872e7b86d109057b3ccbdedee7c86"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
+<tr class="memitem:a323872e7b86d109057b3ccbdedee7c86"><td class="memTemplItemLeft" align="right" valign="top"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt; T &gt;&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a323872e7b86d109057b3ccbdedee7c86">make_range</a> (std::pair&lt; T, T &gt; <a class="el" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>)</td></tr>
+<tr class="separator:a323872e7b86d109057b3ccbdedee7c86"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a5cb5811bab8e04773dfa21ad919df461"><td class="memTemplParams" colspan="2">template&lt;typename T &gt; </td></tr>
 <tr class="memitem:a5cb5811bab8e04773dfa21ad919df461"><td class="memTemplItemLeft" align="right" valign="top">unsigned&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a5cb5811bab8e04773dfa21ad919df461">countTrailingZeros</a> (T Val, <a class="el" href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349">ZeroBehavior</a> ZB=<a class="el" href="namespaceSVF.html#af5b6ec9770091c42227a45491b00b349afdacc59903d2677ef91777d78c7b80a7">ZB_Width</a>)</td></tr>
 <tr class="separator:a5cb5811bab8e04773dfa21ad919df461"><td class="memSeparator" colspan="2">&#160;</td></tr>
@@ -1200,7 +1361,9 @@ Functions</h2></td></tr>
 </pre><p> <a class="el" href="classSVF_1_1MutablePTData.html" title="PTData implemented using points-to sets which are created once and updated continuously. ">MutablePTData</a> [<a class="el" href="classSVF_1_1DiffPTData.html">DiffPTData</a>] [<a class="el" href="classSVF_1_1DFPTData.html">DFPTData</a>] [<a class="el" href="classSVF_1_1VersionedPTData.html">VersionedPTData</a>] ^ ^ ^ | | | <a class="el" href="classSVF_1_1MutableDiffPTData.html" title="DiffPTData implemented with points-to sets which are updated continuously. ">MutableDiffPTData</a> <a class="el" href="classSVF_1_1MutableDFPTData.html">MutableDFPTData</a> <a class="el" href="classSVF_1_1MutableVersionedPTData.html">MutableVersionedPTData</a> ^ | <a class="el" href="classSVF_1_1MutableIncDFPTData.html" title="Incremental version of the mutable data-flow points-to data structure. ">MutableIncDFPTData</a></p>
 <p><a class="el" href="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="AbstractPointsToDS_8h.html">AbstractPointsToDS.h</a>) implementations with a mutable backend. Each Key is given a points-to set which is itself updated till the analysis terminates.</p>
 <p><a class="el" href="classSVF_1_1PTData.html">PTData</a> (<a class="el" href="AbstractPointsToDS_8h.html">AbstractPointsToDS.h</a>) implementations with a persistent backend. Each Key is given a cheap points-to ID which refers to some real points-to set.</p>
-<p>Validate the result of context-sensitive analysis, including context-sensitive thread detection and thread interleaving. </p>
+<p>Validate the result of context-sensitive analysis, including context-sensitive thread detection and thread interleaving.</p>
+<p>GraphTraits specialization for constraint graph</p>
+<p>GraphTraits specialization </p>
 </div><h2 class="groupheader">Typedef Documentation</h2>
 <a id="a11c50c2f81327753b3ff3ffdbe356812"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#a11c50c2f81327753b3ff3ffdbe356812">&#9670;&nbsp;</a></span>ActualParmSVFGNode</h2>
@@ -2772,14 +2935,14 @@ Functions</h2></td></tr>
 </div>
 </div>
-<a id="a2eae2d6648dd6715421bd7af67d57637"></a>
-<h2 class="memtitle"><span class="permalink"><a href="#a2eae2d6648dd6715421bd7af67d57637">&#9670;&nbsp;</a></span>GraphPrinter</h2>
+<a id="ac8f90a58fd0d8e775e290b31f8ea9ce9"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ac8f90a58fd0d8e775e290b31f8ea9ce9">&#9670;&nbsp;</a></span>GraphPrinter</h2>
 <div class="memitem">
 <div class="memproto">
       <table class="memname">
         <tr>
-          <td class="memname">typedef <a class="el" href="classllvm_1_1GraphPrinter.html">llvm::GraphPrinter</a> <a class="el" href="namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637">SVF::GraphPrinter</a></td>
+          <td class="memname">typedef <a class="el" href="classSVF_1_1GraphPrinter.html">SVF::GraphPrinter</a> <a class="el" href="classSVF_1_1GraphPrinter.html">SVF::GraphPrinter</a></td>
         </tr>
       </table>
 </div><div class="memdoc">
@@ -3632,6 +3795,24 @@ template&lt;typename Key , typename Compare  = std::less&lt;Key&gt;, typename Al
 <p class="definition">Definition at line <a class="el" href="BasicTypes_8h_source.html#l00232">232</a> of file <a class="el" href="BasicTypes_8h_source.html">BasicTypes.h</a>.</p>
+</div>
+</div>
+<a id="af3b0c055d852656a062bf784222a4fea"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#af3b0c055d852656a062bf784222a4fea">&#9670;&nbsp;</a></span>raw_pointer_iterator</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename WrappedIteratorT , typename T1  = std::remove_reference_t&lt;decltype(                      **std::declval&lt;WrappedIteratorT&gt;())&gt;, typename T2  = std::add_pointer_t&lt;T1&gt;&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">using <a class="el" href="namespaceSVF.html#af3b0c055d852656a062bf784222a4fea">SVF::raw_pointer_iterator</a> = typedef <a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a>&lt;<a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt;WrappedIteratorT, T1&gt;, T2&gt;</td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00403">403</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
 </div>
 </div>
 <a id="a8c685f6bff3a67bf7fe3557dbfa84caa"></a>
@@ -4480,6 +4661,52 @@ template&lt;typename Key , typename Hash  = Hash&lt;Key&gt;, typename KeyEqual
 </div>
 </div>
 <h2 class="groupheader">Function Documentation</h2>
+<a id="a67f454fa9341632d195fd5da619130f0"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a67f454fa9341632d195fd5da619130f0">&#9670;&nbsp;</a></span>children()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;GraphType&gt;::ChildIteratorType&gt; SVF::children </td>
+          <td>(</td>
+          <td class="paramtype">const typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::NodeRef &amp;&#160;</td>
+          <td class="paramname"><em>G</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphTraits_8h_source.html#l00126">126</a> of file <a class="el" href="GraphTraits_8h_source.html">GraphTraits.h</a>.</p>
+<div class="fragment"><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;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(GenericGraphTraits&lt;GraphType&gt;::child_begin(G),</div><div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                      GenericGraphTraits&lt;GraphType&gt;::child_end(G));</div><div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ab485076115c46b3e009cc5c4d252adae"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ab485076115c46b3e009cc5c4d252adae">&#9670;&nbsp;</a></span>children_edges()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;GraphType&gt;::ChildEdgeIteratorType&gt; SVF::children_edges </td>
+          <td>(</td>
+          <td class="paramtype">const typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::NodeRef &amp;&#160;</td>
+          <td class="paramname"><em>G</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphTraits_8h_source.html#l00142">142</a> of file <a class="el" href="GraphTraits_8h_source.html">GraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;{</div><div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(GenericGraphTraits&lt;GraphType&gt;::child_edge_begin(G),</div><div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;                      GenericGraphTraits&lt;GraphType&gt;::child_edge_end(G));</div><div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
 <a id="af897f6692f1f6aa13d897f89b3370d0d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#af897f6692f1f6aa13d897f89b3370d0d">&#9670;&nbsp;</a></span>countLeadingZeros()</h2>
@@ -4627,6 +4854,221 @@ template&lt;unsigned ElementSize&gt; </div>
 <div class="fragment"><div class="line"><a name="l01192"></a><span class="lineno"> 1192</span>&#160;{</div><div class="line"><a name="l01193"></a><span class="lineno"> 1193</span>&#160;    out &lt;&lt; <span class="stringliteral">&quot;[&quot;</span>;</div><div class="line"><a name="l01194"></a><span class="lineno"> 1194</span>&#160;</div><div class="line"><a name="l01195"></a><span class="lineno"> 1195</span>&#160;    <span class="keyword">typename</span> SparseBitVector&lt;ElementSize&gt;::iterator bi = LHS.begin(),</div><div class="line"><a name="l01196"></a><span class="lineno"> 1196</span>&#160;                                                    be = LHS.end();</div><div class="line"><a name="l01197"></a><span class="lineno"> 1197</span>&#160;    <span class="keywordflow">if</span> (bi != be)</div><div class="line"><a name="l01198"></a><span class="lineno"> 1198</span>&#160;    {</div><div class="line"><a name="l01199"></a><span class="lineno"> 1199</span>&#160;        out &lt;&lt; *bi;</div><div class="line"><a name="l01200"></a><span class="lineno"> 1200</span>&#160;        <span class="keywordflow">for</span> (++bi; bi != be; ++bi)</div><div class="line"><a name="l01201"></a><span class="lineno"> 1201</span>&#160;        {</div><div class="line"><a name="l01202"></a><span class="lineno"> 1202</span>&#160;            out &lt;&lt; <span class="stringliteral">&quot; &quot;</span> &lt;&lt; *bi;</div><div class="line"><a name="l01203"></a><span class="lineno"> 1203</span>&#160;        }</div><div class="line"><a name="l01204"></a><span class="lineno"> 1204</span>&#160;    }</div><div class="line"><a name="l01205"></a><span class="lineno"> 1205</span>&#160;    out &lt;&lt; <span class="stringliteral">&quot;]\n&quot;</span>;</div><div class="line"><a name="l01206"></a><span class="lineno"> 1206</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
+<a id="a155eb379cf271ac550333afb13cb36fa"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a155eb379cf271ac550333afb13cb36fa">&#9670;&nbsp;</a></span>inverse_children()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;<a class="el" href="structSVF_1_1Inverse.html">Inverse</a>&lt;GraphType&gt; &gt;::ChildIteratorType&gt; SVF::inverse_children </td>
+          <td>(</td>
+          <td class="paramtype">const typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt; GraphType &gt;::NodeRef &amp;&#160;</td>
+          <td class="paramname"><em>G</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphTraits_8h_source.html#l00134">134</a> of file <a class="el" href="GraphTraits_8h_source.html">GraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;{</div><div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(GenericGraphTraits&lt;Inverse&lt;GraphType&gt;&gt;::child_begin(G),</div><div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                      GenericGraphTraits&lt;Inverse&lt;GraphType&gt;&gt;::child_end(G));</div><div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a6506af0b08e86390c0e4786b6ee294ae"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a6506af0b08e86390c0e4786b6ee294ae">&#9670;&nbsp;</a></span>inverse_nodes()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;<a class="el" href="structSVF_1_1Inverse.html">Inverse</a>&lt;GraphType&gt; &gt;::nodes_iterator&gt; SVF::inverse_nodes </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"><em>G</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphTraits_8h_source.html#l00118">118</a> of file <a class="el" href="GraphTraits_8h_source.html">GraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;{</div><div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(GenericGraphTraits&lt;Inverse&lt;GraphType&gt;&gt;::nodes_begin(G),</div><div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                      GenericGraphTraits&lt;Inverse&lt;GraphType&gt;&gt;::nodes_end(G));</div><div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a41ca7c140a3b61d946e8c6338102986e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a41ca7c140a3b61d946e8c6338102986e">&#9670;&nbsp;</a></span>make_pointee_range()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename RangeT , typename WrappedIteratorT  = decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;<a class="el" href="structSVF_1_1pointee__iter.html">pointee_iter</a>&lt;WrappedIteratorT&gt; &gt; SVF::make_pointee_range </td>
+          <td>(</td>
+          <td class="paramtype">RangeT &amp;&amp;&#160;</td>
+          <td class="paramname"><em>Range</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00355">355</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;{</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    <span class="keyword">using</span> PointeeIteratorT = pointee_iter&lt;WrappedIteratorT&gt;;</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(PointeeIteratorT(std::begin(std::forward&lt;RangeT&gt;(Range))),</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;                      PointeeIteratorT(std::end(std::forward&lt;RangeT&gt;(Range))));</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a7a436778318d16678992a3173988afc2"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a7a436778318d16678992a3173988afc2">&#9670;&nbsp;</a></span>make_pointer_range()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename RangeT , typename WrappedIteratorT  = decltype(std::begin(std::declval&lt;RangeT&gt;()))&gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;<a class="el" href="classSVF_1_1pointer__iterator.html">pointer_iterator</a>&lt;WrappedIteratorT&gt; &gt; SVF::make_pointer_range </td>
+          <td>(</td>
+          <td class="paramtype">RangeT &amp;&amp;&#160;</td>
+          <td class="paramname"><em>Range</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator_8h_source.html#l00391">391</a> of file <a class="el" href="iterator_8h_source.html">iterator.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;{</div><div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;    <span class="keyword">using</span> PointerIteratorT = pointer_iterator&lt;WrappedIteratorT&gt;;</div><div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(PointerIteratorT(std::begin(std::forward&lt;RangeT&gt;(Range))),</div><div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;                      PointerIteratorT(std::end(std::forward&lt;RangeT&gt;(Range))));</div><div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a3b6bc8132d0fd4902888ab9f77c20124"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a3b6bc8132d0fd4902888ab9f77c20124">&#9670;&nbsp;</a></span>make_range() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class T &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;T&gt; SVF::make_range </td>
+          <td>(</td>
+          <td class="paramtype">T&#160;</td>
+          <td class="paramname"><em>x</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">T&#160;</td>
+          <td class="paramname"><em>y</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Convenience function for iterating over sub-ranges.</p>
+<p>This provides a bit of syntactic sugar to make using sub-ranges in for loops a bit easier. Analogous to std::make_pair(). </p>
+<p class="definition">Definition at line <a class="el" href="iterator__range_8h_source.html#l00064">64</a> of file <a class="el" href="iterator__range_8h_source.html">iterator_range.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;{</div><div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;    <span class="keywordflow">return</span> iter_range&lt;T&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(x), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(y));</div><div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00657">SVFUtil.h:657</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a323872e7b86d109057b3ccbdedee7c86"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a323872e7b86d109057b3ccbdedee7c86">&#9670;&nbsp;</a></span>make_range() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename T &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;T&gt; SVF::make_range </td>
+          <td>(</td>
+          <td class="paramtype">std::pair&lt; T, T &gt;&#160;</td>
+          <td class="paramname"><em>p</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="iterator__range_8h_source.html#l00069">69</a> of file <a class="el" href="iterator__range_8h_source.html">iterator_range.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;    <span class="keywordflow">return</span> iter_range&lt;T&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.first), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(<a class="code" href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a>.second));</div><div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;}</div><div class="ttc" id="cJSON_8cpp_html_a009ef1d888ab6dbe77e6b42b0b39f1ae"><div class="ttname"><a href="cJSON_8cpp.html#a009ef1d888ab6dbe77e6b42b0b39f1ae">p</a></div><div class="ttdeci">cJSON * p</div><div class="ttdef"><b>Definition:</b> <a href="cJSON_8cpp_source.html#l02559">cJSON.cpp:2559</a></div></div>
+<div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00657">SVFUtil.h:657</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="a809dcd83e295c61bb54710ba545d8d96"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a809dcd83e295c61bb54710ba545d8d96">&#9670;&nbsp;</a></span>map_iter()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class ItTy , class FuncTy &gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1mapped__iter.html">mapped_iter</a>&lt;ItTy, FuncTy&gt; SVF::map_iter </td>
+          <td>(</td>
+          <td class="paramtype">ItTy&#160;</td>
+          <td class="paramname"><em>I</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">FuncTy&#160;</td>
+          <td class="paramname"><em>F</em>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+  </td>
+  <td class="mlabels-right">
+<span class="mlabels"><span class="mlabel">inline</span></span>  </td>
+  </tr>
+</table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GenericGraph_8h_source.html#l00490">490</a> of file <a class="el" href="GenericGraph_8h_source.html">GenericGraph.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;{</div><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    <span class="keywordflow">return</span> mapped_iter&lt;ItTy, FuncTy&gt;(<a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(I), <a class="code" href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">std::move</a>(F));</div><div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;}</div><div class="ttc" id="namespaceSVF_1_1SVFUtil_html_a72502f7f536418621485e90ab98c2016"><div class="ttname"><a href="namespaceSVF_1_1SVFUtil.html#a72502f7f536418621485e90ab98c2016">SVF::SVFUtil::move</a></div><div class="ttdeci">constexpr std::remove_reference&lt; T &gt;::type &amp;&amp; move(T &amp;&amp;t) noexcept</div><div class="ttdef"><b>Definition:</b> <a href="SVFUtil_8h_source.html#l00657">SVFUtil.h:657</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ae6c7046834fe00382052ece7d06eb0ac"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae6c7046834fe00382052ece7d06eb0ac">&#9670;&nbsp;</a></span>nodes()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;class GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="classSVF_1_1iter__range.html">iter_range</a>&lt;typename <a class="el" href="structSVF_1_1GenericGraphTraits.html">GenericGraphTraits</a>&lt;GraphType&gt;::nodes_iterator&gt; SVF::nodes </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"><em>G</em></td><td>)</td>
+          <td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphTraits_8h_source.html#l00111">111</a> of file <a class="el" href="GraphTraits_8h_source.html">GraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;{</div><div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">make_range</a>(GenericGraphTraits&lt;GraphType&gt;::nodes_begin(G),</div><div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;                      GenericGraphTraits&lt;GraphType&gt;::nodes_end(G));</div><div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_a3b6bc8132d0fd4902888ab9f77c20124"><div class="ttname"><a href="namespaceSVF.html#a3b6bc8132d0fd4902888ab9f77c20124">SVF::make_range</a></div><div class="ttdeci">iter_range&lt; T &gt; make_range(T x, T y)</div><div class="ttdef"><b>Definition:</b> <a href="iterator__range_8h_source.html#l00064">iterator_range.h:64</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
 <a id="aaa21ff095e66a18937f29246e213f69d"></a>
 <h2 class="memtitle"><span class="permalink"><a href="#aaa21ff095e66a18937f29246e213f69d">&#9670;&nbsp;</a></span>operator &() <span class="overload">[1/3]</span></h2>
@@ -4948,8 +5390,8 @@ template&lt;typename F , typename S &gt; </div>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01111">1111</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
-<div class="fragment"><div class="line"><a name="l01112"></a><span class="lineno"> 1112</span>&#160;{</div><div class="line"><a name="l01113"></a><span class="lineno"> 1113</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l01114"></a><span class="lineno"> 1114</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l01115"></a><span class="lineno"> 1115</span>&#160;}</div></div><!-- fragment -->
+<p class="definition">Definition at line <a class="el" href="SVFValue_8h_source.html#l01102">1102</a> of file <a class="el" href="SVFValue_8h_source.html">SVFValue.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l01103"></a><span class="lineno"> 1103</span>&#160;{</div><div class="line"><a name="l01104"></a><span class="lineno"> 1104</span>&#160;    o &lt;&lt; <span class="stringliteral">&quot;&lt;&quot;</span> &lt;&lt; var.first &lt;&lt; <span class="stringliteral">&quot;, &quot;</span> &lt;&lt; var.second &lt;&lt; <span class="stringliteral">&quot;&gt;&quot;</span>;</div><div class="line"><a name="l01105"></a><span class="lineno"> 1105</span>&#160;    <span class="keywordflow">return</span> o;</div><div class="line"><a name="l01106"></a><span class="lineno"> 1106</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
 <a id="aa01b96d5bc6c3930b0bfca789acf75c4"></a>
@@ -5104,6 +5546,130 @@ template&lt;unsigned ElementSize&gt; </div>
 <div class="fragment"><div class="line"><a name="l01139"></a><span class="lineno"> 1139</span>&#160;{</div><div class="line"><a name="l01140"></a><span class="lineno"> 1140</span>&#160;    <span class="keywordflow">return</span> LHS-&gt;operator|=(RHS);</div><div class="line"><a name="l01141"></a><span class="lineno"> 1141</span>&#160;}</div></div><!-- fragment -->
 </div>
 </div>
+<a id="a4582a7d33a5631a5a38973f50035327e"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a4582a7d33a5631a5a38973f50035327e">&#9670;&nbsp;</a></span>ViewGraph()</h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">void SVF::ViewGraph </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"><em>G</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> &amp;&#160;</td>
+          <td class="paramname"><em>name</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>ShortNames</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37">GraphProgram::Name</a>&#160;</td>
+          <td class="paramname"><em>Program</em> = <code><a class="el" href="namespaceSVF_1_1GraphProgram.html#a10f45758abb5c1ef51b0ba38d18efd37ae09e3feb3996d73e682cf2a5077c090c">GraphProgram::DOT</a></code>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>ViewGraph - Emit a dot graph, run 'dot', run gv on the postscript file, then cleanup. For use from the debugger. </p>
+<p class="definition">Definition at line <a class="el" href="GraphWriter_8h_source.html#l00371">371</a> of file <a class="el" href="GraphWriter_8h_source.html">GraphWriter.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;{</div><div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;    <a class="code" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a>(G, ShortNames);</div><div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ae27267f89add1338fd5afe3a38f61ebd"><div class="ttname"><a href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a></div><div class="ttdeci">std::ofstream &amp; WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00328">GraphWriter.h:328</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<a id="ae27267f89add1338fd5afe3a38f61ebd"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#ae27267f89add1338fd5afe3a38f61ebd">&#9670;&nbsp;</a></span>WriteGraph() <span class="overload">[1/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname">std::ofstream&amp; SVF::WriteGraph </td>
+          <td>(</td>
+          <td class="paramtype">std::ofstream &amp;&#160;</td>
+          <td class="paramname"><em>O</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"><em>G</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>ShortNames</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p class="definition">Definition at line <a class="el" href="GraphWriter_8h_source.html#l00328">328</a> of file <a class="el" href="GraphWriter_8h_source.html">GraphWriter.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;{</div><div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;    <span class="comment">// Start the graph emission process...</span></div><div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;    GraphWriter&lt;GraphType&gt; W(O, G, ShortNames);</div><div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;</div><div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;    <span class="comment">// Emit the graph.</span></div><div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;    W.writeGraph(<span class="stringliteral">&quot;&quot;</span>);</div><div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;</div><div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;    <span class="keywordflow">return</span> O;</div><div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;}</div></div><!-- fragment -->
+</div>
+</div>
+<a id="a587614f74cb00a35a423559265239798"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a587614f74cb00a35a423559265239798">&#9670;&nbsp;</a></span>WriteGraph() <span class="overload">[2/2]</span></h2>
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename GraphType &gt; </div>
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a> SVF::WriteGraph </td>
+          <td>(</td>
+          <td class="paramtype">const GraphType &amp;&#160;</td>
+          <td class="paramname"><em>G</em>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>ShortNames</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code>, </td>
+        </tr>
+        <tr>
+          <td class="paramkey"></td>
+          <td></td>
+          <td class="paramtype"><a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td>
+          <td class="paramname"><em>Filename</em> = <code>&quot;&quot;</code>&#160;</td>
+        </tr>
+        <tr>
+          <td></td>
+          <td>)</td>
+          <td></td><td></td>
+        </tr>
+      </table>
+</div><div class="memdoc">
+<p>Writes graph into a provided <code>Filename</code>. If <code>Filename</code> is empty, generates a random one. </p><dl class="section return"><dt>Returns</dt><dd>The resulting filename, or an empty string if writing failed. </dd></dl>
+<p class="definition">Definition at line <a class="el" href="GraphWriter_8h_source.html#l00345">345</a> of file <a class="el" href="GraphWriter_8h_source.html">GraphWriter.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;{</div><div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;</div><div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;    std::ofstream O(Filename);</div><div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;</div><div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;    <span class="keywordflow">if</span> (O.fail())</div><div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;    {</div><div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;        std::cerr &lt;&lt; <span class="stringliteral">&quot;error opening file &#39;&quot;</span> &lt;&lt; Filename &lt;&lt; <span class="stringliteral">&quot;&#39; for writing!\n&quot;</span>;</div><div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;        O.close();</div><div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;        <span class="keywordflow">return</span> <span class="stringliteral">&quot;&quot;</span>;</div><div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;    }</div><div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;</div><div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;    <a class="code" href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a>(O, G, ShortNames);</div><div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;    O.close();</div><div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;</div><div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;    std::cerr &lt;&lt; <span class="stringliteral">&quot; done. \n&quot;</span>;</div><div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;</div><div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;    <span class="keywordflow">return</span> Filename;</div><div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;}</div><div class="ttc" id="namespaceSVF_html_ae27267f89add1338fd5afe3a38f61ebd"><div class="ttname"><a href="namespaceSVF.html#ae27267f89add1338fd5afe3a38f61ebd">SVF::WriteGraph</a></div><div class="ttdeci">std::ofstream &amp; WriteGraph(std::ofstream &amp;O, const GraphType &amp;G, bool ShortNames=false)</div><div class="ttdef"><b>Definition:</b> <a href="GraphWriter_8h_source.html#l00328">GraphWriter.h:328</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
 </div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>