svf-tools 1.0.596 → 1.0.598

package/SVF-doxygen/html/html/search/all_7.js

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['g',['G',['../classllvm_1_1GraphWriter.html#a811cf97f9ab7e2ac2d006413a5168397',1,'llvm::GraphWriter']]],
+  ['g',['G',['../classSVF_1_1GraphWriter.html#a0ac109f9b3c3b3fe3cb61bbef09e0d29',1,'SVF::GraphWriter']]],
   ['gatheraggs',['gatherAggs',['../classSVF_1_1DCHGraph.html#a8fcbea9435a77beb27ad64d5a3175b0b',1,'SVF::DCHGraph']]],
   ['gedge',['GEDGE',['../classSVF_1_1SrcSnkSolver.html#a6007c2d795370bb48ad120af5474a31f',1,'SVF::SrcSnkSolver::GEDGE()'],['../classSVF_1_1GraphReachSolver.html#a8a42bdbb5987d0a340f9935f09e2acd2',1,'SVF::GraphReachSolver::GEDGE()'],['../classSVF_1_1WPASolver.html#ab7de73aabfa092b51b8dbe7b091e4c57',1,'SVF::WPASolver::GEDGE()']]],
   ['gedgeflag',['GEdgeFlag',['../classSVF_1_1GenericEdge.html#aab8892b73370c32b48621cd1d0cce614',1,'SVF::GenericEdge']]],
@@ -27,7 +27,69 @@ var searchData=
   ['genericgraph_3c_20constraintnode_2c_20constraintedge_20_3e',['GenericGraph< ConstraintNode, ConstraintEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
   ['genericgraph_3c_20dchnode_2c_20dchedge_20_3e',['GenericGraph< DCHNode, DCHEdge >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
   ['genericgraph_3c_20svfvar_2c_20svfstmt_20_3e',['GenericGraph< SVFVar, SVFStmt >',['../classSVF_1_1GenericGraph.html',1,'SVF']]],
-  ['genericgraphty',['GenericGraphTy',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a1ab57d3e398711e732bf040aeabd5657',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
+  ['genericgraphtraits',['GenericGraphTraits',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20inverse_3c_20t_20_3e_20_3e_20_3e',['GenericGraphTraits< Inverse< Inverse< T > > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3acflnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::CFLNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::CHNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::ConstraintNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3adchnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::DCHNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * > >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aicfgnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::ICFGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::PTACallGraphNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3asvfvar_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::SVFVar * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3atctnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::TCTNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20inverse_3c_20svf_3a_3avfgnode_20_2a_20_3e_20_3e',['GenericGraphTraits< Inverse< SVF::VFGNode * > >',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acflgraph_20_2a_20_3e',['GenericGraphTraits< SVF::CFLGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3acflnode_20_2a_20_3e',['GenericGraphTraits< SVF::CFLNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3achgraph_20_2a_20_3e',['GenericGraphTraits< SVF::CHGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3achnode_20_2a_20_3e',['GenericGraphTraits< SVF::CHNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aconstraintgraph_20_2a_20_3e',['GenericGraphTraits< SVF::ConstraintGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aconstraintnode_20_2a_20_3e',['GenericGraphTraits< SVF::ConstraintNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3adchgraph_20_2a_20_3e',['GenericGraphTraits< SVF::DCHGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3adchnode_20_2a_20_3e',['GenericGraphTraits< SVF::DCHNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20nodety_2c_20edgety_20_3e_20_2a_3e',['GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::CFLNode, SVF::CFLEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::CHNode, SVF::CHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::DCHNode, SVF::DCHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfgnode_2c_20svf_3a_3asvfgedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::SVFGNode, SVF::SVFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::SVFVar, SVF::SVFStmt > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::TCTNode, SVF::TCTEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericGraph< SVF::VFGNode, SVF::VFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e',['GenericGraphTraits< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aicfg_20_2a_20_3e',['GenericGraphTraits< SVF::ICFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aicfgnode_20_2a_20_3e',['GenericGraphTraits< SVF::ICFGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3airgraph_20_2a_20_3e',['GenericGraphTraits< SVF::IRGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aptacallgraph_20_2a_20_3e',['GenericGraphTraits< SVF::PTACallGraph * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e',['GenericGraphTraits< SVF::PTACallGraphNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3asvfg_20_2a_20_3e',['GenericGraphTraits< SVF::SVFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3asvfvar_20_2a_20_3e',['GenericGraphTraits< SVF::SVFVar * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3atct_20_2a_20_3e',['GenericGraphTraits< SVF::TCT * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCT_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3atctnode_20_2a_20_3e',['GenericGraphTraits< SVF::TCTNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3avfg_20_2a_20_3e',['GenericGraphTraits< SVF::VFG * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFG_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20svf_3a_3avfgnode_20_2a_20_3e',['GenericGraphTraits< SVF::VFGNode * >',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html',1,'SVF']]],
+  ['genericgraphtraits_3c_20t_20_3e',['GenericGraphTraits< T >',['../structSVF_1_1GenericGraphTraits.html',1,'SVF']]],
+  ['genericgraphty',['GenericGraphTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a587145a423fcdb3c08b2bdf9704e8d46',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['genericicfgedgety',['GenericICFGEdgeTy',['../namespaceSVF.html#a91e714a719b1e62e9b63103e9e6af404',1,'SVF']]],
   ['genericicfgnodety',['GenericICFGNodeTy',['../namespaceSVF.html#afc2824871ad4eb9b871c35ae28494cd3',1,'SVF']]],
   ['genericicfgty',['GenericICFGTy',['../namespaceSVF.html#afe5e1b0e028b4cf0db9f2a9c758b03ed',1,'SVF']]],
@@ -197,7 +259,7 @@ var searchData=
   ['getclassnameofthisptr',['getClassNameOfThisPtr',['../namespaceSVF_1_1cppUtil.html#a28d7f3931a05ebaf0a01ca4b263989b3',1,'SVF::cppUtil']]],
   ['getclk',['getClk',['../classSVF_1_1SVFStat.html#ac9d390c417df6f6af6b274618b87010d',1,'SVF::SVFStat']]],
   ['getcmpvfgnode',['getCmpVFGNode',['../classSVF_1_1VFG.html#a9215c1d7f1152967f0731057a085e793',1,'SVF::VFG']]],
-  ['getcompletenodelabel',['getCompleteNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a381db1cc959f8f2279fb501f8224a19a',1,'llvm::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6ced6b5b50d920fb47c4334693fea86c',1,'llvm::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
+  ['getcompletenodelabel',['getCompleteNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#adef3b27c866d5d9ca38135e5c75d5e4f',1,'SVF::DOTGraphTraits< SVFG * >::getCompleteNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a3396c4d951a5a0c972561251d68b55c6',1,'SVF::DOTGraphTraits< VFG * >::getCompleteNodeLabel()']]],
   ['getcond',['getCond',['../classSVF_1_1MSSAMU.html#ac51263250da06fd63b923a6771744f97',1,'SVF::MSSAMU::getCond()'],['../classSVF_1_1MSSACHI.html#a9673994f9db94e23984b132d4b533304',1,'SVF::MSSACHI::getCond()'],['../classSVF_1_1MSSAPHI.html#a06a5d63be38e6df36e1c28a6c0c789cc',1,'SVF::MSSAPHI::getCond()'],['../classSVF_1_1CxtStmtDPItem.html#ace41c90e66f6a85f12ff67540ad9d594',1,'SVF::CxtStmtDPItem::getCond() const'],['../classSVF_1_1CxtStmtDPItem.html#a987f57970d633acc10aa3f3e69b68cb0',1,'SVF::CxtStmtDPItem::getCond()']]],
   ['getcondinst',['getCondInst',['../classSVF_1_1SaberCondAllocator.html#a1d8b90edf6ec679a97282ba60c07134d',1,'SVF::SaberCondAllocator']]],
   ['getcondition',['getCondition',['../classSVF_1_1IntraCFGEdge.html#a2657751b285cb6db8084da38b00dcab9',1,'SVF::IntraCFGEdge::getCondition()'],['../classSVF_1_1SelectStmt.html#ad4c3e9529176478bb726279a76050e8c',1,'SVF::SelectStmt::getCondition()'],['../classSVF_1_1BranchStmt.html#a915384027ae53e99311f05a08edf99f0',1,'SVF::BranchStmt::getCondition()']]],
@@ -226,7 +288,7 @@ var searchData=
   ['getcsvtblsbasedoncha',['getCSVtblsBasedonCHA',['../classSVF_1_1CommonCHGraph.html#ae90f9a2152ab07aa0df16badd733f1fd',1,'SVF::CommonCHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1CHGraph.html#a9878df891d2e20d09b65096060d2c148',1,'SVF::CHGraph::getCSVtblsBasedonCHA()'],['../classSVF_1_1DCHGraph.html#a3383b841bb79ee39cb108b9906fca6a9',1,'SVF::DCHGraph::getCSVtblsBasedonCHA()']]],
   ['getcurevalsvfgnode',['getCurEvalSVFGNode',['../classSVF_1_1SaberCondAllocator.html#a9aec07a64b97d546cfa0efe10f888b6a',1,'SVF::SaberCondAllocator']]],
   ['getcurnodeid',['getCurNodeID',['../classSVF_1_1DPItem.html#a03a90eca842c0e83d874902103f6fdb2',1,'SVF::DPItem']]],
-  ['getcurrent',['getCurrent',['../classllvm_1_1mapped__iter.html#a1960c20bc1c7b339a9db052f9af0dd6b',1,'llvm::mapped_iter']]],
+  ['getcurrent',['getCurrent',['../classSVF_1_1mapped__iter.html#a515d4ba2964e6779314a248d92b6d3fc',1,'SVF::mapped_iter']]],
   ['getcurrentbb',['getCurrentBB',['../classSVF_1_1SVFIRBuilder.html#a6c0229120c8c96be35d2e8000b87384f',1,'SVF::SVFIRBuilder']]],
   ['getcurrentbestnodemapping',['getCurrentBestNodeMapping',['../classSVF_1_1PointsTo.html#a6c1885ddfcc72604463f7c4ea94d2f74',1,'SVF::PointsTo']]],
   ['getcurrentbestreversenodemapping',['getCurrentBestReverseNodeMapping',['../classSVF_1_1PointsTo.html#a40759008e0cf6f790d48727f7b0ca38b',1,'SVF::PointsTo']]],
@@ -282,21 +344,21 @@ var searchData=
   ['getec',['getEC',['../classSVF_1_1Steensgaard.html#af2afffc0617d588a68fdfa4fcfd24b70',1,'SVF::Steensgaard']]],
   ['getedge',['getEdge',['../classSVF_1_1ConstraintGraph.html#a04a57ef9803917346cb966e05ecd0de4',1,'SVF::ConstraintGraph']]],
   ['getedgeattri',['getEdgeAttri',['../classSVF_1_1CFLEdge.html#ae4c8562ff6801503de9e3cb0c4ebe2b8',1,'SVF::CFLEdge']]],
-  ['getedgeattributes',['getEdgeAttributes',['../structllvm_1_1DefaultDOTGraphTraits.html#a6acd27748e3dade4e1a3385accf539ec',1,'llvm::DefaultDOTGraphTraits::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a063cfdeaebcd749ecc98f50ba300f271',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a0ad443da42379a0038d42de4f7895b60',1,'llvm::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#ad7d0a5d387c31c186b8527c7c6bd9791',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a74b0725d64b6e9c3060f2366633425f5',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a27816e06b813b2723a5757128d009cab',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a52d5c95a8f9823174c0acebc101de20b',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a0ade71edb2771cb6c4e7a0a7910d374e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a646a1023dab5169a73c8ea54e860c78b',1,'llvm::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a349d851998bd1defbbafc16693e04764',1,'llvm::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
-  ['getedgedestlabel',['getEdgeDestLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#a9f3e85580d90386f42f6bdd82b851d83',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getedgeattributes',['getEdgeAttributes',['../structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b',1,'SVF::DefaultDOTGraphTraits::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac9483e81c382a3bb241cf59e7fdf7788',1,'SVF::DOTGraphTraits< CFLGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ad74c870cc12035ecd3897f65ecc6d96d',1,'SVF::DOTGraphTraits< CHGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a74ed73ff248b33b274c87797e61ef15c',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a9967092a5e97b6d684abcc718fe6e688',1,'SVF::DOTGraphTraits< ICFG * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a00c28536a740906779c826d6797ea09e',1,'SVF::DOTGraphTraits< IRGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a274c4364c648cfb35deb9dda37f4a547',1,'SVF::DOTGraphTraits< PTACallGraph * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#af43663ec79465f7860ffecd9584e0002',1,'SVF::DOTGraphTraits< SVFG * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab279f3042677c2120a23d83bd0ed4039',1,'SVF::DOTGraphTraits< VFG * >::getEdgeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a3d08fde6e4bc42a6405e6104a833293f',1,'SVF::DOTGraphTraits< TCT * >::getEdgeAttributes()']]],
+  ['getedgedestlabel',['getEdgeDestLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884',1,'SVF::DefaultDOTGraphTraits']]],
   ['getedgeid',['getEdgeID',['../classSVF_1_1ConstraintEdge.html#ab201b7df925c12e6944516f4b87d7823',1,'SVF::ConstraintEdge::getEdgeID()'],['../classSVF_1_1SVFStmt.html#af7bb0d687fc61cae1de639c88e472491',1,'SVF::SVFStmt::getEdgeID()']]],
   ['getedgekind',['getEdgeKind',['../classSVF_1_1CFLEdge.html#acab367a1633d00afdafadf3f3a43e0c8',1,'SVF::CFLEdge::getEdgeKind()'],['../classSVF_1_1GenericEdge.html#abe8525c542def8162b094c169a01993b',1,'SVF::GenericEdge::getEdgeKind()']]],
   ['getedgekindwithmask',['getEdgeKindWithMask',['../classSVF_1_1CFLEdge.html#a5d11e42f5571287992362669fee9e159',1,'SVF::CFLEdge']]],
   ['getedgekindwithoutmask',['getEdgeKindWithoutMask',['../classSVF_1_1GenericEdge.html#a20d8b844fc4bb0bb776d290b4e477fc5',1,'SVF::GenericEdge']]],
-  ['getedgesourcelabel',['getEdgeSourceLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#ab027bd32578caffc0ba18d84406a18c6',1,'llvm::DefaultDOTGraphTraits::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#ac5d4d9f4874f0ecf199e1d19d66adf0f',1,'llvm::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a76e78cd94e56ca46ac7e1db7162e594b',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a6255edef186d9268868d683b4bbda133',1,'llvm::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a947696a48fdac183d0cc40de92944315',1,'llvm::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a576f422e667714d3e4948cbf3f631fc9',1,'llvm::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#aaaf78b3bb17f15a2c91566bfdc1bae9e',1,'llvm::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#af794115d33a8ea6f7f2e2c7ac5dd4c80',1,'llvm::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
-  ['getedgesourcelabels',['getEdgeSourceLabels',['../classllvm_1_1GraphWriter.html#a5bf52f5835e697e0f5b5ca592357c60a',1,'llvm::GraphWriter']]],
-  ['getedgetarget',['getEdgeTarget',['../structllvm_1_1DefaultDOTGraphTraits.html#a4de19ba711c05792f22cc8ccf00b97f1',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getedgesourcelabel',['getEdgeSourceLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c',1,'SVF::DefaultDOTGraphTraits::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a28fcd691628f74955daf5180a1c197ed',1,'SVF::DOTGraphTraits< CFLGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a651568cd6c1f0771d8633a7ed7b1dfd2',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a977a85211fc236f357f107b6721feaa0',1,'SVF::DOTGraphTraits< ICFG * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa7d274968bb2f8d43da9cb95cec8e833',1,'SVF::DOTGraphTraits< IRGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a22b5a3147fd8e7daa4a3dc703df135be',1,'SVF::DOTGraphTraits< PTACallGraph * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a49fabf853f855b6d9041b91acd68bce2',1,'SVF::DOTGraphTraits< SVFG * >::getEdgeSourceLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a59a5e6cd5edb423e927bd1d08bc78aa9',1,'SVF::DOTGraphTraits< VFG * >::getEdgeSourceLabel()']]],
+  ['getedgesourcelabels',['getEdgeSourceLabels',['../classSVF_1_1GraphWriter.html#aa2d0fada900a8e08af0539498905a74f',1,'SVF::GraphWriter']]],
+  ['getedgetarget',['getEdgeTarget',['../structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6',1,'SVF::DefaultDOTGraphTraits']]],
   ['getedgetype',['getEdgeType',['../classSVF_1_1CHEdge.html#ae2b90913c6c5a30df2b285d31c694525',1,'SVF::CHEdge']]],
   ['getelementnum',['getElementNum',['../classSVF_1_1LocationSet.html#a0b4376975f8532c7e2daa759ec7922f7',1,'SVF::LocationSet']]],
   ['getelementptrinst',['GetElementPtrInst',['../namespaceSVF.html#ac4e93e1fec646ff222940a663843921b',1,'SVF']]],
   ['getelementset',['getElementSet',['../classSVF_1_1CondStdSet.html#a29892f43cc8420d4d2b4046140476320',1,'SVF::CondStdSet']]],
   ['getentryblock',['getEntryBlock',['../classSVF_1_1SVFFunction.html#a793f485e92d12cf407f2ffa41861eb3d',1,'SVF::SVFFunction']]],
-  ['getentrynode',['getEntryNode',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#a24c5372fa6afca08d89759f66fa2a08e',1,'llvm::GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#afbe31ee2733b5990ab5b1f8c344fa3e0',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a67da52700e19f69ffebf8532944df867',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
+  ['getentrynode',['getEntryNode',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html#ab7af22908f08a12b02cc606ea0937d04',1,'SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >::getEntryNode()'],['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#a8b32a8914a155bb2be33b2b66107c4a9',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getEntryNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#abd6e561fbc153cf714a2494986c14dec',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getEntryNode()']]],
   ['getentryprocs',['getEntryProcs',['../classSVF_1_1TCT.html#a692a74188f141ffbdbb859ecae8b07ab',1,'SVF::TCT']]],
   ['getepsilonprods',['getEpsilonProds',['../classSVF_1_1CFLGrammar.html#a8d6292a55da24336d968e20c7ac288d9',1,'SVF::CFLGrammar']]],
   ['getescapobjviaglobals',['getEscapObjviaGlobals',['../classSVF_1_1MRGenerator.html#add22c9a95478dea21148e87c8dfc584a',1,'SVF::MRGenerator']]],
@@ -381,8 +443,8 @@ var searchData=
   ['getgrammar',['getGrammar',['../classSVF_1_1CFLSolver.html#a99c0a6a2c55bb6eb7f8232399374c827',1,'SVF::CFLSolver']]],
   ['getgraph',['getGraph',['../classSVF_1_1CFLSolver.html#a2c6bce1f73bcf5937a26e91a7daba33c',1,'SVF::CFLSolver']]],
   ['getgraphedge',['getGraphEdge',['../classSVF_1_1PTACallGraph.html#a2634a24621ab93fae7ec1cf94a8cba0b',1,'SVF::PTACallGraph::getGraphEdge()'],['../classSVF_1_1TCT.html#a7b40580939dc63f501a32571806c07bc',1,'SVF::TCT::getGraphEdge()']]],
-  ['getgraphname',['getGraphName',['../structllvm_1_1DefaultDOTGraphTraits.html#a4c2c0688a7c4cf69903603fddd539b45',1,'llvm::DefaultDOTGraphTraits::getGraphName()'],['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#af4cfbb5fb358d684626e9cb28c15bb1d',1,'llvm::DOTGraphTraits< CFLGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a942e068d1debc7f7dd7a6232adc2130f',1,'llvm::DOTGraphTraits< CHGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9ed4562e3c1223c20e76e1372ba8b30d',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a46226ebac48103764df6427119a322ce',1,'llvm::DOTGraphTraits< ICFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a6cbd0e71b5ea955de8a548bad9256160',1,'llvm::DOTGraphTraits< IRGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a698264fcfb5bdb99a28618d0701860d6',1,'llvm::DOTGraphTraits< PTACallGraph * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a1275496006929be6375a0d71ed86c79b',1,'llvm::DOTGraphTraits< SVFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#aaedec44d41a6e36c9e5db804e4a005dd',1,'llvm::DOTGraphTraits< VFG * >::getGraphName()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ad06b27680684ff1a7f1d0608f67cf89a',1,'llvm::DOTGraphTraits< TCT * >::getGraphName()']]],
-  ['getgraphproperties',['getGraphProperties',['../structllvm_1_1DefaultDOTGraphTraits.html#a67a907a4c097d688d01195e110e4c9e2',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getgraphname',['getGraphName',['../structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe',1,'SVF::DefaultDOTGraphTraits::getGraphName()'],['../classSVF_1_1IRGraph.html#a5a34f23fee4f84e74908041efebd6867',1,'SVF::IRGraph::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#aa12ac2ae92225381d7c8386e96c9a88e',1,'SVF::DOTGraphTraits< CFLGraph * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a75aba53d62d665008e9cb98be5103d5e',1,'SVF::DOTGraphTraits< CHGraph * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a6948926922a5c5378d92c3c6aa0b3ccd',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a4938f51cfb9a5b63b89ab02d9e1950ad',1,'SVF::DOTGraphTraits< ICFG * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a2c6b3e5fdce71f5c94e21906da1d1246',1,'SVF::DOTGraphTraits< IRGraph * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a6030238b53d8145bc69285dcc629c16b',1,'SVF::DOTGraphTraits< PTACallGraph * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a38e619de70d79e38d3d65d521f224d07',1,'SVF::DOTGraphTraits< SVFG * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ae7bb12f8b7bd9230599f461060fdd38b',1,'SVF::DOTGraphTraits< VFG * >::getGraphName()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a4234340e5806dc49b6c450736a1a4d94',1,'SVF::DOTGraphTraits< TCT * >::getGraphName()']]],
+  ['getgraphproperties',['getGraphProperties',['../structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a',1,'SVF::DefaultDOTGraphTraits']]],
   ['getheapallocholdingargposition',['getHeapAllocHoldingArgPosition',['../namespaceSVF_1_1SVFUtil.html#a73215bac62f1340a58f6c7f2ba9b0e7b',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const SVFFunction *fun)'],['../namespaceSVF_1_1SVFUtil.html#a298b6366145ed871faf3d01420ae5d20',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const CallSite cs)'],['../namespaceSVF_1_1SVFUtil.html#a6d613bcc37e54b922ad1b1869b66ee59',1,'SVF::SVFUtil::getHeapAllocHoldingArgPosition(const SVFInstruction *inst)']]],
   ['geticfg',['getICFG',['../classSVF_1_1PointerAnalysis.html#ade879ee99cae01632d567d3736dcad9e',1,'SVF::PointerAnalysis::getICFG()'],['../classSVF_1_1SaberCondAllocator.html#a6bd67514e0ea9a2704ae83a38c9f2592',1,'SVF::SaberCondAllocator::getICFG()'],['../classSVF_1_1SVFIR.html#aa1943d53e75aef9b014953143c6894da',1,'SVF::SVFIR::getICFG()']]],
   ['geticfgedge',['getICFGEdge',['../classSVF_1_1ICFG.html#a5dd4ac55123501c47c628adcf27e2475',1,'SVF::ICFG']]],
@@ -510,15 +572,15 @@ var searchData=
   ['getname',['getName',['../classSVF_1_1CHNode.html#af6e71c1a932464b1b615fc177f5af089',1,'SVF::CHNode::getName()'],['../classSVF_1_1DCHNode.html#a089af6085dec833b58133a9e834dab54',1,'SVF::DCHNode::getName()'],['../classSVF_1_1SVFValue.html#a68b40576b24c4cb81cc3ba75550f4654',1,'SVF::SVFValue::getName()']]],
   ['getnextcollapsenode',['getNextCollapseNode',['../classSVF_1_1ConstraintGraph.html#a006667ed55132ca0909c0e9118fea704',1,'SVF::ConstraintGraph']]],
   ['getnextinsts',['getNextInsts',['../namespaceSVF_1_1LLVMUtil.html#a3b2ca48c72fba877c6cb3d52e23704e3',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector< const SVFInstruction *> &instList)'],['../namespaceSVF_1_1LLVMUtil.html#a752d53b6b65d892d0e579aafe70083b4',1,'SVF::LLVMUtil::getNextInsts(const Instruction *curInst, std::vector< const Instruction *> &instList)']]],
-  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ad67b19903549bef892b8b059228e4d19',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
-  ['getnodeattributes',['getNodeAttributes',['../structllvm_1_1DefaultDOTGraphTraits.html#ae9e61a7c29f47b392cf64a32dec5de01',1,'llvm::DefaultDOTGraphTraits::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a4b593e5e6c2e711db0f220a388bd5f11',1,'llvm::DOTGraphTraits< CFLGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#afcfdde52d1ed3ecbd849cbf4a16fb880',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a0ce25ef874ffaa798ae7ad498274b2f7',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aef77eaa614a202f39964d0a0917b5140',1,'llvm::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a9f6fb05fdadcba74038252a08356867d',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7a75a7d83bfa57857e5855f9cf940086',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a2efe884d285b1e4a0541e022f9ed40df',1,'llvm::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a57d4a186a0319b73d69752564bf25b2a',1,'llvm::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a2b3151a123d6c22dc5d6fa81b3ea4a83',1,'llvm::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
-  ['getnodedescription',['getNodeDescription',['../structllvm_1_1DefaultDOTGraphTraits.html#ae7c057127b4b68bdc5d64b5c86eb393e',1,'llvm::DefaultDOTGraphTraits']]],
-  ['getnodeid',['getNodeID',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ac79255244b6b59876be19266ff214afb',1,'llvm::GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a29ec19f4829cfe458c1eaab47e6fe8c0',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
-  ['getnodeidentifierlabel',['getNodeIdentifierLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#a072cecf5f6337d45a0497e786e317803',1,'llvm::DefaultDOTGraphTraits']]],
+  ['getnode',['getNode',['../classSVF_1_1CHGraph.html#a7beec68a60036c93a741a7152e8198b6',1,'SVF::CHGraph::getNode()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a2fe6388f27ab97ed38a52b6af3f3ca58',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNode()'],['../classSVF_1_1SrcSnkSolver.html#a18008d5496010aa5f54aade230bd64ff',1,'SVF::SrcSnkSolver::getNode()'],['../classSVF_1_1DCHGraph.html#a96c68bbb5ee5e939158ce0b67da2c61d',1,'SVF::DCHGraph::getNode()'],['../classSVF_1_1GraphReachSolver.html#a0b7f0923105dfb198a2a8428d6c1ca98',1,'SVF::GraphReachSolver::getNode()']]],
+  ['getnodeattributes',['getNodeAttributes',['../structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b',1,'SVF::DefaultDOTGraphTraits::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a35499a5e7010339f4333cead3b2c4cfc',1,'SVF::DOTGraphTraits< CFLGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a8109531ce97bb08828b06f2203c3b347',1,'SVF::DOTGraphTraits< CHGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a646cb350726d62532cda229aaf6af9cc',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#ada6dd55df689908741823e8e3a3cf289',1,'SVF::DOTGraphTraits< ICFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a3f073b3b89256914a1582dabebd308e9',1,'SVF::DOTGraphTraits< IRGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#ab35af67d234b32aeb2bed4336058cb57',1,'SVF::DOTGraphTraits< PTACallGraph * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#ad851a3820df828f0598046e0c953330c',1,'SVF::DOTGraphTraits< SVFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a58fa641de3db32b97edcb60a64004270',1,'SVF::DOTGraphTraits< VFG * >::getNodeAttributes()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#a61074356d304d9f1e4a2b9870f6e0fcd',1,'SVF::DOTGraphTraits< TCT * >::getNodeAttributes()']]],
+  ['getnodedescription',['getNodeDescription',['../structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21',1,'SVF::DefaultDOTGraphTraits']]],
+  ['getnodeid',['getNodeID',['../structSVF_1_1GenericGraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html#ad35b19e918b1d6807ed2296dd8394093',1,'SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >::getNodeID()'],['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a006d75a6017fe36fd052640a7b6ff108',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>::getNodeID()']]],
+  ['getnodeidentifierlabel',['getNodeIdentifierLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9',1,'SVF::DefaultDOTGraphTraits']]],
   ['getnodeidfromitem',['getNodeIDFromItem',['../classSVF_1_1SrcSnkSolver.html#ab37d80b1c7a1ebfa0e19c70792c5129e',1,'SVF::SrcSnkSolver::getNodeIDFromItem()'],['../classSVF_1_1GraphReachSolver.html#a84f39b3234ddf8198c793ff8c5d59cdf',1,'SVF::GraphReachSolver::getNodeIDFromItem()']]],
   ['getnodeidtype',['getNodeIDType',['../classSVF_1_1ExtAPI.html#a6fdedabaf1adb051a562a261b86c9cf6',1,'SVF::ExtAPI']]],
   ['getnodekind',['getNodeKind',['../classSVF_1_1GenericNode.html#a391e996d695b114530120723da1d003e',1,'SVF::GenericNode']]],
-  ['getnodelabel',['getNodeLabel',['../structllvm_1_1DefaultDOTGraphTraits.html#a748e27397b601b36da4ff8689fe1d231',1,'llvm::DefaultDOTGraphTraits::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a8802b947b81fd231ee1d581055d19ca1',1,'llvm::DOTGraphTraits< CFLGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#ab29e74e9089311dd79afad62234e98cd',1,'llvm::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#aa72b3ad953c6ea3309c83735512ff408',1,'llvm::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#aaab33f12ee11b03d7d55a55f46178a2c',1,'llvm::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#aa8f1f1699fe8350542072cae450c8afa',1,'llvm::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a687cf2ca3cab75946151c6d34cc703fe',1,'llvm::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a4407708863cb2a50fd4d4c516f5f3ea4',1,'llvm::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a6470ed90c2a601b01715d02cffd90918',1,'llvm::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab966d3c80f99fca37951929ac4037ddc',1,'llvm::DOTGraphTraits< TCT * >::getNodeLabel()']]],
+  ['getnodelabel',['getNodeLabel',['../structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba',1,'SVF::DefaultDOTGraphTraits::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CFLGraph_01_5_01_4.html#a6aef2b3f8e4e6f843724613ad7100932',1,'SVF::DOTGraphTraits< CFLGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01CHGraph_01_5_01_4.html#a18f64ddaaa6da45e247ee44ad03cac3d',1,'SVF::DOTGraphTraits< CHGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ConstraintGraph_01_5_01_4.html#a9e45113303655dd4b3951f975cc7790f',1,'SVF::DOTGraphTraits< ConstraintGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a04de29b725e362137f9469850cf24eed',1,'SVF::DOTGraphTraits< ICFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01IRGraph_01_5_01_4.html#a32b24e38559d65b4aaf0473cbda94038',1,'SVF::DOTGraphTraits< IRGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01PTACallGraph_01_5_01_4.html#a7b17561e1c7aa483611ec69293a86595',1,'SVF::DOTGraphTraits< PTACallGraph * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a408191812417e4cf67c63197498e8bff',1,'SVF::DOTGraphTraits< SVFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#ab891ea12cf363b28d15cc6cbbc6ca205',1,'SVF::DOTGraphTraits< VFG * >::getNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01TCT_01_5_01_4.html#ab0babde1e6a0d3a96149236c19bea756',1,'SVF::DOTGraphTraits< TCT * >::getNodeLabel()']]],
   ['getnodemapping',['getNodeMapping',['../classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d',1,'SVF::PointsTo']]],
   ['getnodenumafterpagbuild',['getNodeNumAfterPAGBuild',['../classSVF_1_1IRGraph.html#a0a18bca50f7cd3a1882754f19303d257',1,'SVF::IRGraph']]],
   ['getnonterminals',['getNonterminals',['../classSVF_1_1GrammarBase.html#a04140ef06feee613506529fd8c23665e',1,'SVF::GrammarBase']]],
@@ -563,7 +625,7 @@ var searchData=
   ['getorcreatenode',['getOrCreateNode',['../classSVF_1_1DCHGraph.html#a9ed6b91fad334605f514049a2072b538',1,'SVF::DCHGraph']]],
   ['getorcreatetctnode',['getOrCreateTCTNode',['../classSVF_1_1TCT.html#a5d890da8d9d91b8cc4c529eb427192c4',1,'SVF::TCT']]],
   ['getoriginalelemtype',['getOriginalElemType',['../classSVF_1_1StInfo.html#a055697f565cb9d73b41110090fe50159',1,'SVF::StInfo::getOriginalElemType()'],['../classSVF_1_1SymbolTableInfo.html#a4bf84ef15f3b4cc865ac64ca0aae84e7',1,'SVF::SymbolTableInfo::getOriginalElemType()']]],
-  ['getostream',['getOStream',['../classllvm_1_1GraphWriter.html#ac18efe5c7817eb06b744973fb0dae3be',1,'llvm::GraphWriter']]],
+  ['getostream',['getOStream',['../classSVF_1_1GraphWriter.html#afa5d94effc56067e44eba9a11afd5284',1,'SVF::GraphWriter']]],
   ['getothersvfconstant',['getOtherSVFConstant',['../classSVF_1_1LLVMModuleSet.html#a74256f36f0fdc242df9729906c34efbc',1,'SVF::LLVMModuleSet']]],
   ['getothervalueset',['getOtherValueSet',['../classSVF_1_1SVFModule.html#af22af3a6d54bb510e5c4805eff3d12cd',1,'SVF::SVFModule']]],
   ['getoutedges',['getOutEdges',['../classSVF_1_1GenericNode.html#a2d9cd758d6f8c5189d9b90b74f43e009',1,'SVF::GenericNode']]],
@@ -659,7 +721,7 @@ var searchData=
   ['getsecondrhssymbol',['getSecondRHSSymbol',['../classSVF_1_1CFLGrammar.html#a3ccdda19bfed497ee8e14c1aaac4aa51',1,'SVF::CFLGrammar']]],
   ['getsextvalue',['getSExtValue',['../classSVF_1_1SVFConstantInt.html#a73f04bdfc19261b65164b98787bc2ed4',1,'SVF::SVFConstantInt']]],
   ['getsiblingthread',['getSiblingThread',['../classSVF_1_1TCT.html#a60e63f6ddfe78c4cf4fd3a70875b727f',1,'SVF::TCT']]],
-  ['getsimplenodelabel',['getSimpleNodeLabel',['../structllvm_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a1cf0470d3e9821152416e3bf5236e553',1,'llvm::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a63cc361875e61f4729381b23dcee2787',1,'llvm::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structllvm_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#a0159404d5c5a7816a4b679c0f35a546e',1,'llvm::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
+  ['getsimplenodelabel',['getSimpleNodeLabel',['../structSVF_1_1DOTGraphTraits_3_01ICFG_01_5_01_4.html#a8964f2454b3e0887de6a0f3c9731e0aa',1,'SVF::DOTGraphTraits< ICFG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01SVFG_01_5_01_4.html#a80aace686045f098dde4acb2087f8541',1,'SVF::DOTGraphTraits< SVFG * >::getSimpleNodeLabel()'],['../structSVF_1_1DOTGraphTraits_3_01VFG_01_5_01_4.html#adffdd760b14329018faabd8c523bbb01',1,'SVF::DOTGraphTraits< VFG * >::getSimpleNodeLabel()']]],
   ['getsimplifiedvalue',['getSimplifiedValue',['../structSVF_1_1SVFUtil_1_1simplify__type.html#a8046f044d895a5c9aee85de9705161f9',1,'SVF::SVFUtil::simplify_type::getSimplifiedValue()'],['../structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#ac64f5d9a2ec97aebd7b377319d7f043b',1,'SVF::SVFUtil::simplify_type< const From >::getSimplifiedValue()']]],
   ['getsinglerhs2prods',['getSingleRHS2Prods',['../classSVF_1_1CFLGrammar.html#afefc9b90be5cf275f476bb7c3f1c74ce',1,'SVF::CFLGrammar']]],
   ['getsinks',['getSinks',['../classSVF_1_1ProgSlice.html#a03a1ef4d56958fa4a0c3a3a95806203d',1,'SVF::ProgSlice::getSinks()'],['../classSVF_1_1SrcSnkDDA.html#a1145c601df2e3dec1e32e43613447b96',1,'SVF::SrcSnkDDA::getSinks()']]],
@@ -823,78 +885,16 @@ var searchData=
   ['grammarbuilder_2ecpp',['GrammarBuilder.cpp',['../GrammarBuilder_8cpp.html',1,'']]],
   ['grammarbuilder_2eh',['GrammarBuilder.h',['../GrammarBuilder_8h.html',1,'']]],
   ['grammarfilename',['GrammarFilename',['../classSVF_1_1Options.html#aa929e2ae2c0a78181c3a1311bfe73596',1,'SVF::Options']]],
-  ['graph',['Graph',['../structllvm_1_1Inverse.html#a169e126ff147c68b5f1cfd6a1d2c8286',1,'llvm::Inverse::Graph()'],['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838',1,'SVF::GraphReachSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
-  ['graphprinter',['GraphPrinter',['../classllvm_1_1GraphPrinter.html',1,'llvm::GraphPrinter'],['../classllvm_1_1GraphPrinter.html#a13b2efcc3e5967f60a27e107683cd448',1,'llvm::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#a2eae2d6648dd6715421bd7af67d57637',1,'SVF::GraphPrinter()']]],
+  ['graph',['Graph',['../structSVF_1_1Inverse.html#a2037408b7047e9265b4b14e54bb584a2',1,'SVF::Inverse::Graph()'],['../classSVF_1_1CFLBase.html#a8101683062b9a71c0b2309cbdfb7b26f',1,'SVF::CFLBase::graph()'],['../classSVF_1_1CFLSolver.html#aedd6c605c4c381c738f4c6682c40d9f2',1,'SVF::CFLSolver::graph()'],['../classSVF_1_1SVFGStat.html#a3d06ead4c3222ce8a0535d9f3d504c3d',1,'SVF::SVFGStat::graph()'],['../classSVF_1_1SrcSnkSolver.html#ae66ed69eb3412c2eef14ef2f86a34c6c',1,'SVF::SrcSnkSolver::graph()'],['../classSVF_1_1GraphReachSolver.html#a88775eedbbc3039caac1e350b48aa838',1,'SVF::GraphReachSolver::graph()'],['../classSVF_1_1SCCDetection.html#a1b8b57a3ea3740f36a19afc8bd42033d',1,'SVF::SCCDetection::graph()'],['../classSVF_1_1WPASolver.html#abe0a304039d1bd2cfd7befd32fdcde2b',1,'SVF::WPASolver::graph()']]],
+  ['graphprinter',['GraphPrinter',['../classSVF_1_1GraphPrinter.html',1,'SVF::GraphPrinter'],['../classSVF_1_1GraphPrinter.html#a5adb844506085e9ba66c1688f9548a25',1,'SVF::GraphPrinter::GraphPrinter()'],['../namespaceSVF.html#ac8f90a58fd0d8e775e290b31f8ea9ce9',1,'SVF::GraphPrinter()']]],
   ['graphprinter_2eh',['GraphPrinter.h',['../GraphPrinter_8h.html',1,'']]],
   ['graphreachsolver',['GraphReachSolver',['../classSVF_1_1GraphReachSolver.html',1,'SVF::GraphReachSolver< GraphType, DPIm >'],['../classSVF_1_1GraphReachSolver.html#a766dc60e7ce7b24b829ba591d069c174',1,'SVF::GraphReachSolver::GraphReachSolver()']]],
   ['graphreachsolver_2eh',['GraphReachSolver.h',['../GraphReachSolver_8h.html',1,'']]],
-  ['graphsize',['graphSize',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a77e3e3addf59c1d6be1dba89fc3daa0c',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
-  ['graphtraits',['GraphTraits',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
+  ['graphsize',['graphSize',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a62a8a8b1a812ebc11afebf5d3ed5c651',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['graphtraits_2eh',['GraphTraits.h',['../GraphTraits_8h.html',1,'']]],
-  ['graphtraits_3c_20inverse_3c_20inverse_3c_20t_20_3e_20_3e_20_3e',['GraphTraits< Inverse< Inverse< T > > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01Inverse_3_01T_01_4_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3acflnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CFLNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CFLNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3achnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::CHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1CHNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3aconstraintnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::ConstraintNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ConstraintNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3adchnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::DCHNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1DCHNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > *> >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * > >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3aicfgnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::ICFGNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1ICFGNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::PTACallGraphNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1PTACallGraphNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3asvfvar_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::SVFVar * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1SVFVar_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3atctnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::TCTNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1TCTNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20inverse_3c_20svf_3a_3avfgnode_20_2a_20_3e_20_3e',['GraphTraits< Inverse< SVF::VFGNode * > >',['../structllvm_1_1GraphTraits_3_01Inverse_3_01SVF_1_1VFGNode_01_5_01_4_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3acflgraph_20_2a_20_3e',['GraphTraits< SVF::CFLGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLGraph_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3acflnode_20_2a_20_3e',['GraphTraits< SVF::CFLNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CFLNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3achgraph_20_2a_20_3e',['GraphTraits< SVF::CHGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHGraph_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3achnode_20_2a_20_3e',['GraphTraits< SVF::CHNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1CHNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3aconstraintgraph_20_2a_20_3e',['GraphTraits< SVF::ConstraintGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintGraph_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3aconstraintnode_20_2a_20_3e',['GraphTraits< SVF::ConstraintNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1ConstraintNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3adchgraph_20_2a_20_3e',['GraphTraits< SVF::DCHGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1DCHGraph_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3adchnode_20_2a_20_3e',['GraphTraits< SVF::DCHNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1DCHNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20nodety_2c_20edgety_20_3e_20_2a_3e',['GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::CFLNode, SVF::CFLEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::CHNode, SVF::CHEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::DCHNode, SVF::DCHEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfgnode_2c_20svf_3a_3asvfgedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::SVFGNode, SVF::SVFGEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::SVFVar, SVF::SVFStmt > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::TCTNode, SVF::TCTEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericgraph_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericGraph< SVF::VFGNode, SVF::VFGEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20nodety_2c_20edgety_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericNode_3_01NodeTy_00_01EdgeTy_01_4_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3acflnode_2c_20svf_3a_3acfledge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::CFLNode, SVF::CFLEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3achnode_2c_20svf_3a_3achedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::CHNode, SVF::CHEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aconstraintnode_2c_20svf_3a_3aconstraintedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::ConstraintNode, SVF::ConstraintEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3adchnode_2c_20svf_3a_3adchedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::DCHNode, SVF::DCHEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aicfgnode_2c_20svf_3a_3aicfgedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::ICFGNode, SVF::ICFGEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3aptacallgraphnode_2c_20svf_3a_3aptacallgraphedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::PTACallGraphNode, SVF::PTACallGraphEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3asvfvar_2c_20svf_3a_3asvfstmt_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::SVFVar, SVF::SVFStmt > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3atctnode_2c_20svf_3a_3atctedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::TCTNode, SVF::TCTEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3agenericnode_3c_20svf_3a_3avfgnode_2c_20svf_3a_3avfgedge_20_3e_20_2a_20_3e',['GraphTraits< SVF::GenericNode< SVF::VFGNode, SVF::VFGEdge > * >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3aicfg_20_2a_20_3e',['GraphTraits< SVF::ICFG * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1ICFG_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3aicfgnode_20_2a_20_3e',['GraphTraits< SVF::ICFGNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1ICFGNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3airgraph_20_2a_20_3e',['GraphTraits< SVF::IRGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1IRGraph_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3aptacallgraph_20_2a_20_3e',['GraphTraits< SVF::PTACallGraph * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraph_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3aptacallgraphnode_20_2a_20_3e',['GraphTraits< SVF::PTACallGraphNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1PTACallGraphNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3asvfg_20_2a_20_3e',['GraphTraits< SVF::SVFG * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1SVFG_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3asvfvar_20_2a_20_3e',['GraphTraits< SVF::SVFVar * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1SVFVar_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3atct_20_2a_20_3e',['GraphTraits< SVF::TCT * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1TCT_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3atctnode_20_2a_20_3e',['GraphTraits< SVF::TCTNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1TCTNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3avfg_20_2a_20_3e',['GraphTraits< SVF::VFG * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1VFG_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20svf_3a_3avfgnode_20_2a_20_3e',['GraphTraits< SVF::VFGNode * >',['../structllvm_1_1GraphTraits_3_01SVF_1_1VFGNode_01_5_01_4.html',1,'llvm']]],
-  ['graphtraits_3c_20t_20_3e',['GraphTraits< T >',['../structllvm_1_1GraphTraits.html',1,'llvm']]],
   ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38',1,'SVF::Options']]],
-  ['graphwriter',['GraphWriter',['../classllvm_1_1GraphWriter.html',1,'llvm::GraphWriter< GraphType >'],['../classllvm_1_1GraphWriter.html#a79f24408e3cb14afcdb57171c048cc3e',1,'llvm::GraphWriter::GraphWriter()']]],
+  ['graphwriter',['GraphWriter',['../classSVF_1_1GraphWriter.html',1,'SVF::GraphWriter< GraphType >'],['../classSVF_1_1GraphWriter.html#afd8fec784307b919d1cb89b49533600e',1,'SVF::GraphWriter::GraphWriter()']]],
   ['graphwriter_2ecpp',['GraphWriter.cpp',['../GraphWriter_8cpp.html',1,'']]],
   ['graphwriter_2eh',['GraphWriter.h',['../GraphWriter_8h.html',1,'']]],
-  ['gtraits',['GTraits',['../classllvm_1_1GraphWriter.html#ab818592ecc463aa32e20efe6d9633236',1,'llvm::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#a40c3ad6a16099d14654d6f59a1bae238',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a2ede2e8b4c0f44d7f1d5ab7684915556',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#aaee4b4afbfb6efa02c537529e3cebfef',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a64d9cb98ab38b441440b860ae4de0f9b',1,'SVF::WPASolver::GTraits()']]]
+  ['gtraits',['GTraits',['../classSVF_1_1GraphWriter.html#a65144f9ff432d21ad2751287a7237b3f',1,'SVF::GraphWriter::GTraits()'],['../classSVF_1_1SrcSnkSolver.html#a23cdacd5c5825844d3e28fc79cc924d3',1,'SVF::SrcSnkSolver::GTraits()'],['../classSVF_1_1GraphReachSolver.html#a70b93c20acbf28603b472d93dd602b7b',1,'SVF::GraphReachSolver::GTraits()'],['../classSVF_1_1SCCDetection.html#a862d30c661897fb8a5d60abcfa45da12',1,'SVF::SCCDetection::GTraits()'],['../classSVF_1_1WPASCCSolver.html#a1ae985e2ff1a63320f6cbbb20053d808',1,'SVF::WPASCCSolver::GTraits()'],['../classSVF_1_1WPAMinimumSolver.html#a659448a7dbf9e39e7aef785540088324',1,'SVF::WPAMinimumSolver::GTraits()'],['../classSVF_1_1WPASolver.html#a6be76c9bcdfc254a8973a444c369bd23',1,'SVF::WPASolver::GTraits()']]]
 ];

package/SVF-doxygen/html/html/search/all_8.js

@@ -43,7 +43,6 @@ var searchData=
   ['hareparforedge',['HareParForEdge',['../classSVF_1_1HareParForEdge.html',1,'SVF::HareParForEdge'],['../classSVF_1_1PTACallGraphEdge.html#a9738544725458bb022b8d5f2dbd281f7a17e0d58fd42d0d493087e698d4ecd838',1,'SVF::PTACallGraphEdge::HareParForEdge()'],['../classSVF_1_1HareParForEdge.html#a097ccd687d7ca511a4a453dd56b7c665',1,'SVF::HareParForEdge::HareParForEdge()']]],
   ['has_5fclz',['HAS_CLZ',['../SparseBitVector_8h.html#aa4aed82d501b04499090de2c616e6b1f',1,'SparseBitVector.h']]],
   ['has_5fclzll',['HAS_CLZLL',['../SparseBitVector_8h.html#ad66fb43b1e40d6e22629fcd889d4bfab',1,'SparseBitVector.h']]],
-  ['has_5fname',['has_name',['../classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea',1,'SVF::SVFValue']]],
   ['has_5fstatic',['has_static',['../classSVF_1_1ExtAPI.html#ae20ea24cce02de87d89a2d0b773a2357',1,'SVF::ExtAPI']]],
   ['has_5fstatic2',['has_static2',['../classSVF_1_1ExtAPI.html#ad3eefa086aa514e4d245a975ea3d45b5',1,'SVF::ExtAPI']]],
   ['hasactualinsvfgnodes',['hasActualINSVFGNodes',['../classSVF_1_1SVFG.html#a21577bc4b4e55b23aa55083f5321b399',1,'SVF::SVFG']]],
@@ -72,7 +71,7 @@ var searchData=
   ['hasdrcheckflag',['hasDRCheckFlag',['../classSVF_1_1Annotator.html#a6e958c20d7809545b026eb5246444711',1,'SVF::Annotator::hasDRCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#abc2d4a40ac8a0d70428b5066266f861c',1,'SVF::Annotator::hasDRCheckFlag(const Instruction *inst) const']]],
   ['hasdrnotcheckflag',['hasDRNotCheckFlag',['../classSVF_1_1Annotator.html#ad78f6de28e5474614f16707e1c599f48',1,'SVF::Annotator::hasDRNotCheckFlag(Instruction *inst) const'],['../classSVF_1_1Annotator.html#a11d7bfcb525e4fb74e3031dd9a2635fe',1,'SVF::Annotator::hasDRNotCheckFlag(const Instruction *inst) const']]],
   ['hasedge',['hasEdge',['../classSVF_1_1CFLGraph.html#aca4c22dd10f65bcde5dadb7688544b50',1,'SVF::CFLGraph::hasEdge()'],['../classSVF_1_1ConstraintGraph.html#a5f57823a4918f6c6bfee9c18beddda51',1,'SVF::ConstraintGraph::hasEdge()'],['../classSVF_1_1DCHGraph.html#a74b2e5787f65cf3e3b4a03ebec806b91',1,'SVF::DCHGraph::hasEdge()'],['../CHG_8cpp.html#a4c6cbac96543cd55e4df050a33512ac5',1,'hasEdge(): CHG.cpp']]],
-  ['hasedgedestlabels',['hasEdgeDestLabels',['../structllvm_1_1DefaultDOTGraphTraits.html#ab3571663f16a9f8cebfaea84d53ceb3e',1,'llvm::DefaultDOTGraphTraits']]],
+  ['hasedgedestlabels',['hasEdgeDestLabels',['../structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623',1,'SVF::DefaultDOTGraphTraits']]],
   ['hasflag',['hasFlag',['../classSVF_1_1CHNode.html#aebcbd36a7efc0dbe9b3c3f680ef033e7',1,'SVF::CHNode::hasFlag()'],['../classSVF_1_1DCHNode.html#a743bc5df582114c45d1907d62a42a39c',1,'SVF::DCHNode::hasFlag()'],['../classSVF_1_1ObjTypeInfo.html#a8e630eb30d05f665b998c6f9326d65cb',1,'SVF::ObjTypeInfo::hasFlag()']]],
   ['hasformalinsvfgnodes',['hasFormalINSVFGNodes',['../classSVF_1_1SVFG.html#a65f28035e0fa5bebf76d28612b2f8ba8',1,'SVF::SVFG']]],
   ['hasformaloutsvfgnodes',['hasFormalOUTSVFGNodes',['../classSVF_1_1SVFG.html#a1f8c60ad57bf473e0186b794d666b5c2',1,'SVF::SVFG']]],
@@ -125,7 +124,6 @@ var searchData=
   ['hasmodmrset',['hasModMRSet',['../classSVF_1_1MRGenerator.html#a7d66a341805af7ec4e4893e5a7e0bc2d',1,'SVF::MRGenerator']]],
   ['hasmodsideeffectofcallsite',['hasModSideEffectOfCallSite',['../classSVF_1_1MRGenerator.html#a187d82895b2e1156c6dd5ae28795944f',1,'SVF::MRGenerator']]],
   ['hasmu',['hasMU',['../classSVF_1_1MemSSA.html#af5e356e82c3f93b65bd89908e0f465dc',1,'SVF::MemSSA::hasMU(const PAGEdge *inst) const'],['../classSVF_1_1MemSSA.html#a6bd9390c6cd2a3d7a3752fba76acfb46',1,'SVF::MemSSA::hasMU(const CallICFGNode *cs) const']]],
-  ['hasname',['hasName',['../classSVF_1_1SVFValue.html#a4c46c11c4b1c0f43c80818cf7408703a',1,'SVF::SVFValue']]],
   ['hasnode',['hasNode',['../classSVF_1_1DCHGraph.html#a58341e23c1dc2b3e7fce190ed16a8a25',1,'SVF::DCHGraph']]],
   ['hasnodestobecollapsed',['hasNodesToBeCollapsed',['../classSVF_1_1ConstraintGraph.html#aa867ffe0f3639a0ef5b5c36696e733be',1,'SVF::ConstraintGraph']]],
   ['hasnonlabelededge',['hasNonlabeledEdge',['../classSVF_1_1IRGraph.html#abe0ab797a3da420e4d2f9136d64fb407',1,'SVF::IRGraph']]],