svf-tools 1.0.596 → 1.0.598

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

@@ -19,7 +19,7 @@ var searchData=
   ['pagnodetophivfgnodemapty',['PAGNodeToPHIVFGNodeMapTy',['../classSVF_1_1VFG.html#aeed3eca629b10554f40b1d2b478580d4',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pairtoboolmap',['PairToBoolMap',['../classSVF_1_1MTASVFGBuilder.html#aeee5fc4658ed1e7fbeeb49aab6d20e99',1,'SVF::MTASVFGBuilder']]],
-  ['pairty',['PairTy',['../structllvm_1_1GraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#a78c236c76b7b3cb37ce941bbc82eda7a',1,'llvm::GraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
+  ['pairty',['PairTy',['../structSVF_1_1GenericGraphTraits_3_01SVF_1_1GenericGraph_3_01NodeTy_00_01EdgeTy_01_4_01_5_4.html#ab7f54c3e72c0ffe42d58823a497d4dbd',1,'SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > *>']]],
   ['parforedgeset',['ParForEdgeSet',['../classSVF_1_1HareParForEdge.html#ac352ec0ba628ac5fe96b1f6d74808cb2',1,'SVF::HareParForEdge::ParForEdgeSet()'],['../classSVF_1_1ThreadCallGraph.html#abc4cdc5b401932bf410d26ab4d58ca33',1,'SVF::ThreadCallGraph::ParForEdgeSet()']]],
   ['persdfptdataty',['PersDFPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a7087f9d5a1a5b3576173bd6a7fd72163',1,'SVF::BVDataPTAImpl']]],
   ['persdiffptdataty',['PersDiffPTDataTy',['../classSVF_1_1BVDataPTAImpl.html#a1342c0953d7bb9bf0f6f676bd564350e',1,'SVF::BVDataPTAImpl']]],
@@ -31,7 +31,7 @@ var searchData=
   ['phinodemap',['PHINodeMap',['../classSVF_1_1SVFIR.html#a08a05dfa6b9734936bb92b3969dbce3b',1,'SVF::SVFIR']]],
   ['phiset',['PHISet',['../classSVF_1_1SVFG.html#aef7ee9d802934d51b3761663bdaf0c05',1,'SVF::SVFG::PHISet()'],['../classSVF_1_1MemSSA.html#a8a5d3597f3dba9744e170cc8c32bf25f',1,'SVF::MemSSA::PHISet()']]],
   ['phisvfgnode',['PHISVFGNode',['../namespaceSVF.html#a71d4e214e049f02bf26537cba6328673',1,'SVF']]],
-  ['pointer',['pointer',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aff5a4ee71f88ab9b0e1851d6e41e294f',1,'SVF::PointsTo::PointsToIterator::pointer()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6d8d22b1c8b4405a8e3caddacae6f8f5',1,'SVF::CoreBitVector::CoreBitVectorIterator::pointer()'],['../classllvm_1_1iterator__facade__base.html#ae2d9deb2dce97bf6cf45faf988c30a3b',1,'llvm::iterator_facade_base::pointer()']]],
+  ['pointer',['pointer',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#aff5a4ee71f88ab9b0e1851d6e41e294f',1,'SVF::PointsTo::PointsToIterator::pointer()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6d8d22b1c8b4405a8e3caddacae6f8f5',1,'SVF::CoreBitVector::CoreBitVectorIterator::pointer()'],['../classSVF_1_1iter__facade__base.html#a7883aae06037a1b966e33cced95da49b',1,'SVF::iter_facade_base::pointer()']]],
   ['pointertype',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
   ['pointstoid',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
   ['pointstolist',['PointsToList',['../classSVF_1_1MRGenerator.html#a8b254a0c5063e25f297d1b00fb0b515e',1,'SVF::MRGenerator::PointsToList()'],['../namespaceSVF_1_1SVFUtil.html#a4740b14abf7d308e7806a0d6d6c42ee2',1,'SVF::SVFUtil::PointsToList()']]],

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

@@ -1,9 +1,9 @@
 var searchData=
 [
   ['raw_5ffd_5fostream',['raw_fd_ostream',['../namespaceSVF.html#a1c7c7ac12791c0ae386283c0a4f127ba',1,'SVF']]],
-  ['raw_5fpointer_5fiterator',['raw_pointer_iterator',['../namespacellvm.html#aca4a1c40c795d723338628e5e405757c',1,'llvm']]],
+  ['raw_5fpointer_5fiterator',['raw_pointer_iterator',['../namespaceSVF.html#af3b0c055d852656a062bf784222a4fea',1,'SVF']]],
   ['rc_5fflag',['RC_FLAG',['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()'],['../classSVF_1_1RaceResultValidator.html#ac57ae430ee5b6868fe810172ec658853',1,'SVF::RaceResultValidator::RC_FLAG()']]],
-  ['reference',['reference',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a28e12df86b7514e119e2b4f7bffd29c9',1,'SVF::PointsTo::PointsToIterator::reference()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a65313b9702cf6767d2936852e09f04c5',1,'SVF::CoreBitVector::CoreBitVectorIterator::reference()'],['../classllvm_1_1iterator__facade__base.html#a9ac08db5b07aefa9e82e65806804268b',1,'llvm::iterator_facade_base::reference()']]],
+  ['reference',['reference',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a28e12df86b7514e119e2b4f7bffd29c9',1,'SVF::PointsTo::PointsToIterator::reference()'],['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a65313b9702cf6767d2936852e09f04c5',1,'SVF::CoreBitVector::CoreBitVectorIterator::reference()'],['../classSVF_1_1iter__facade__base.html#a3d501177aef770b02e7d2629b334e32a',1,'SVF::iter_facade_base::reference()']]],
   ['resulttype',['ResultType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a052f7cd3a81e368060f132bf0268fa68',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >']]],
   ['resumeinst',['ResumeInst',['../namespaceSVF.html#a8c685f6bff3a67bf7fe3557dbfa84caa',1,'SVF']]],
   ['ret_5ftype',['ret_type',['../structSVF_1_1SVFUtil_1_1cast__retty__impl.html#a5f8f6d651931eba7e0fa14c26a691a04',1,'SVF::SVFUtil::cast_retty_impl::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_4.html#ad0bc349135b60cc51fd040b615a979f7',1,'SVF::SVFUtil::cast_retty_impl< To, const From >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01From_01_5_01_4.html#a86c02dc15b65d0c052ea4447b3fb6333',1,'SVF::SVFUtil::cast_retty_impl< To, From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5_01_4.html#a98a60de95a331a34dcbad6da9961a9b7',1,'SVF::SVFUtil::cast_retty_impl< To, const From * >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01const_01From_01_5const_01_4.html#add8668ca96bbf0808c146cc81c62267c',1,'SVF::SVFUtil::cast_retty_impl< To, const From *const >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a3bf80190e39c339d4e3ec703789ae845',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap.html#af3d80ab43e47626f32c91a6c4454e82e',1,'SVF::SVFUtil::cast_retty_wrap::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty__wrap_3_01To_00_01FromTy_00_01FromTy_01_4.html#ad989c130f2b6cd5a0f1ba0c7abd62b9a',1,'SVF::SVFUtil::cast_retty_wrap< To, FromTy, FromTy >::ret_type()'],['../structSVF_1_1SVFUtil_1_1cast__retty.html#aea91708cabb8176b031f1c1fdb89a15b',1,'SVF::SVFUtil::cast_retty::ret_type()']]],

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

@@ -77,7 +77,7 @@ var searchData=
   ['ptdatabacking',['ptDataBacking',['../classSVF_1_1Options.html#a9ec1d22e20b655e364fea03ba7d923a2',1,'SVF::Options']]],
   ['ptdty',['ptdTy',['../classSVF_1_1PTData.html#abe01b39afed97b540c9bb8a8634afa28',1,'SVF::PTData']]],
   ['ptnumstatmap',['PTNumStatMap',['../classSVF_1_1SVFStat.html#a11c34e8ba16769d218432d9504ba26a0',1,'SVF::SVFStat']]],
-  ['ptr',['Ptr',['../classllvm_1_1pointer__iterator.html#ac6288459e1f350103a2cd26d20ce0df7',1,'llvm::pointer_iterator']]],
+  ['ptr',['Ptr',['../classSVF_1_1pointer__iterator.html#a0dd739c7a521b7efe951bb9712ddcd14',1,'SVF::pointer_iterator']]],
   ['ptrelementtype',['ptrElementType',['../classSVF_1_1SVFPointerType.html#a5b2e9e60925b6f45b10e1f54adb23d60',1,'SVF::SVFPointerType']]],
   ['ptrinuncalledfun',['ptrInUncalledFun',['../classSVF_1_1SVFValue.html#ab9dc800239cb906c1a044b05568f5fec',1,'SVF::SVFValue']]],
   ['ptronlymssa',['ptrOnlyMSSA',['../classSVF_1_1MRGenerator.html#a6a62d2dede5d2506c19b2d058d1cd9d3',1,'SVF::MRGenerator']]],

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

@@ -27,16 +27,16 @@ var searchData=
   ['timeofbuildingsvfir',['timeOfBuildingSVFIR',['../classSVF_1_1SVFStat.html#aea75388c973674686d1f2b7498b4095c',1,'SVF::SVFStat']]],
   ['timeofbuildingsymboltable',['timeOfBuildingSymbolTable',['../classSVF_1_1SVFStat.html#ae89293bc063bdc74a988e9c37c70321e',1,'SVF::SVFStat']]],
   ['timeofcollapse',['timeOfCollapse',['../classSVF_1_1AndersenBase.html#ad40b196c2c699bd115529b806d20de25',1,'SVF::AndersenBase']]],
-  ['timeofcreatemuchi',['TimeOfCreateMUCHI',['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()'],['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()']]],
+  ['timeofcreatemuchi',['timeOfCreateMUCHI',['../classSVF_1_1MemSSA.html#a4d2418b7df74f23d8fd328f66e29f198',1,'SVF::MemSSA::timeOfCreateMUCHI()'],['../classSVF_1_1MemSSAStat.html#a48c70f0ed1c7d031a3cd528035162e52',1,'SVF::MemSSAStat::TimeOfCreateMUCHI()']]],
   ['timeofgeneratingmemregions',['timeOfGeneratingMemRegions',['../classSVF_1_1MemSSA.html#a37dca8a7d155de4870358146d219b5e5',1,'SVF::MemSSA::timeOfGeneratingMemRegions()'],['../classSVF_1_1MemSSAStat.html#a74c36654b7452aa94aa241881f0a83c5',1,'SVF::MemSSAStat::TimeOfGeneratingMemRegions()']]],
-  ['timeofinsertingphi',['timeOfInsertingPHI',['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()'],['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()']]],
+  ['timeofinsertingphi',['TimeOfInsertingPHI',['../classSVF_1_1MemSSAStat.html#a0c24822c8549af6a96e82312954fab9b',1,'SVF::MemSSAStat::TimeOfInsertingPHI()'],['../classSVF_1_1MemSSA.html#a3c7b5fa73fdc7c805ee3673fbe812b44',1,'SVF::MemSSA::timeOfInsertingPHI()']]],
   ['timeofnormalizegrammar',['timeOfNormalizeGrammar',['../classSVF_1_1CFLBase.html#ad4d65dd4c3e173d014199ac6b08a5261',1,'SVF::CFLBase']]],
   ['timeofprocesscopygep',['timeOfProcessCopyGep',['../classSVF_1_1AndersenBase.html#aae14de6fbca9280d8d0290326aa493f0',1,'SVF::AndersenBase']]],
   ['timeofprocessloadstore',['timeOfProcessLoadStore',['../classSVF_1_1AndersenBase.html#a9fe738f1e11c80006d540f246a80bfdf',1,'SVF::AndersenBase']]],
   ['timeofsccdetection',['timeOfSCCDetection',['../classSVF_1_1AndersenBase.html#a6b7d0e57f741c446d0bf178939960143',1,'SVF::AndersenBase']]],
   ['timeofsccmerges',['timeOfSCCMerges',['../classSVF_1_1AndersenBase.html#a02c5a50b214d36921e1404784e76704d',1,'SVF::AndersenBase']]],
   ['timeofsolving',['timeOfSolving',['../classSVF_1_1CFLBase.html#a88e40af43705550a78837b8589bbf3f8',1,'SVF::CFLBase']]],
-  ['timeofssarenaming',['TimeOfSSARenaming',['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()'],['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()']]],
+  ['timeofssarenaming',['timeOfSSARenaming',['../classSVF_1_1MemSSA.html#a97ccd5e0b9ab6144415e26bdf95cbabd',1,'SVF::MemSSA::timeOfSSARenaming()'],['../classSVF_1_1MemSSAStat.html#a887ff23a7ea1a18f08b1744ff30da773',1,'SVF::MemSSAStat::TimeOfSSARenaming()']]],
   ['timeofupdatecallgraph',['timeOfUpdateCallGraph',['../classSVF_1_1AndersenBase.html#a2afb49f513c9534fd051117b59dc056b',1,'SVF::AndersenBase']]],
   ['timestatmap',['timeStatMap',['../classSVF_1_1SVFStat.html#a5383691a34426a1a997b5eed387f1831',1,'SVF::SVFStat']]],
   ['tlptdata',['tlPTData',['../classSVF_1_1MutableVersionedPTData.html#a01974968b7cf60a4231cc83c93b26d7f',1,'SVF::MutableVersionedPTData::tlPTData()'],['../classSVF_1_1PersistentVersionedPTData.html#a29104a2d53d94805e142f778d3d21ad5',1,'SVF::PersistentVersionedPTData::tlPTData()']]],

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

@@ -12,7 +12,7 @@ var searchData=
   ['bb2phisetmap',['bb2PhiSetMap',['../classSVF_1_1MemSSA.html#a190061a6f7423461f4292fc326330f23',1,'SVF::MemSSA']]],
   ['bbconds',['bbConds',['../classSVF_1_1SaberCondAllocator.html#a5c129ebf5ae55eb3af8bd670c921a646',1,'SVF::SaberCondAllocator']]],
   ['bbtocondmap',['bbToCondMap',['../classSVF_1_1SaberCondAllocator.html#a6d29487d00d66dadae7b4b79f9bf50e9',1,'SVF::SaberCondAllocator']]],
-  ['begin_5fiterator',['begin_iterator',['../classllvm_1_1iterator__range.html#aeac0e00835772be18abf2daed29f5d1f',1,'llvm::iterator_range']]],
+  ['begin_5fiterator',['begin_iterator',['../classSVF_1_1iter__range.html#a56f458edec1d1181e1cfe0f9a23c8003',1,'SVF::iter_range']]],
   ['bestcandidate',['BestCandidate',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['bit',['bit',['../classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a853b685cf022839c183df46f1cafe638',1,'SVF::CoreBitVector::CoreBitVectorIterator']]],
   ['bitnumber',['BitNumber',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#aae6ff6aada3863feb736619d4f8dba16',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],

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

@@ -38,7 +38,7 @@ var searchData=
   ['dr_5fnot_5fcheck',['DR_NOT_CHECK',['../classSVF_1_1Annotator.html#af220da6fe6fc879d15cc34ab397c5ba1',1,'SVF::Annotator']]],
   ['dst',['dst',['../classSVF_1_1GenericEdge.html#aa41cb7482bdab1ba328f4b94f30f3ee4',1,'SVF::GenericEdge']]],
   ['dtbbsmap',['dtBBsMap',['../classSVF_1_1SVFLoopAndDomInfo.html#a34296b98ee8dd1bfc0b1ae7fe327cde3',1,'SVF::SVFLoopAndDomInfo']]],
-  ['dtraits',['DTraits',['../classllvm_1_1GraphWriter.html#aed76f440aab643d1af5dbfda1a3f9c78',1,'llvm::GraphWriter']]],
+  ['dtraits',['DTraits',['../classSVF_1_1GraphWriter.html#a36f1ca2744fae2f45400e82f39e4fcd8',1,'SVF::GraphWriter']]],
   ['dumpcha',['DumpCHA',['../classSVF_1_1Options.html#ab13a47f6dd4eedfaa607d36448a1d456',1,'SVF::Options']]],
   ['dumpfree',['DumpFree',['../classSVF_1_1Options.html#a2ef679d4177438655577e7fef7c0cc90',1,'SVF::Options']]],
   ['dumpicfg',['DumpICFG',['../classSVF_1_1Options.html#aea29a835c54fab800117e57de00e0b1e',1,'SVF::Options']]],

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

@@ -18,7 +18,7 @@ var searchData=
   ['else',['else',['../cJSON_8cpp.html#a0544c3fe466e421738dae463968b70ba',1,'cJSON.cpp']]],
   ['enablealiascheck',['EnableAliasCheck',['../classSVF_1_1Options.html#a4da18281b973b9ffb5068dd53060524c',1,'SVF::Options']]],
   ['enablethreadcallgraph',['EnableThreadCallGraph',['../classSVF_1_1Options.html#a153d42a480ef1763ad59fd7258ac3ac5',1,'SVF::Options']]],
-  ['end_5fiterator',['end_iterator',['../classllvm_1_1iterator__range.html#a823f166661c0251fc90181a2d9fc13fa',1,'llvm::iterator_range']]],
+  ['end_5fiterator',['end_iterator',['../classSVF_1_1iter__range.html#aced2e91eaf4970e387ad249f6e936373',1,'SVF::iter_range']]],
   ['endtime',['endTime',['../classSVF_1_1SVFStat.html#a8b01f1564408b51f28c107454bf9068d',1,'SVF::SVFStat']]],
   ['entry',['entry',['../classSVF_1_1CallPE.html#a88e420e259b8d7d34c9850ddde53d372',1,'SVF::CallPE']]],
   ['entryfuncset',['entryFuncSet',['../classSVF_1_1TCT.html#a140eaf9440ae9d52dbfb659967aa449a',1,'SVF::TCT']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['f',['F',['../classllvm_1_1mapped__iter.html#a9bd10b1c45d544ecba54657f762f8258',1,'llvm::mapped_iter']]],
+  ['f',['F',['../classSVF_1_1mapped__iter.html#a98e22cf9681fc948e9656bb1faeb36e1',1,'SVF::mapped_iter']]],
   ['fastclustertime',['FastClusterTime',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ae78d2b60035350c634f6f58d7a043c22',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['fbar',['Fbar',['../PEGGrammar_8txt.html#a1e8b28eb87d57c33c5c45731db639c91',1,'PEGGrammar.txt']]],
   ['fieldreps',['fieldReps',['../classSVF_1_1AndersenSFR.html#a99337c429aebe9046c65068b44eff7cc',1,'SVF::AndersenSFR']]],

package/SVF-doxygen/html/html/search/variables_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']]],
   ['generalnummap',['generalNumMap',['../classSVF_1_1SVFStat.html#a07b6f8cb424b84b468c4518140fa3a41',1,'SVF::SVFStat']]],
   ['gep_5f0',['gep_0',['../PEGGrammar_8txt.html#a4c44ba149afa8531399b34ff202e7486',1,'PEGGrammar.txt']]],
   ['gep_5f1',['gep_1',['../CFLGrammar_8txt.html#a9a4e1871fa395956be13e1d7a5089719',1,'CFLGrammar.txt']]],
@@ -28,6 +28,6 @@ var searchData=
   ['grammar',['grammar',['../classSVF_1_1CFLBase.html#af7b0e90b8f8998ab6cf4e05155c7a503',1,'SVF::CFLBase::grammar()'],['../classSVF_1_1CFLSolver.html#aad88cf557ec43127de859b765505df49',1,'SVF::CFLSolver::grammar()'],['../classSVF_1_1GrammarBuilder.html#a7b81810150ce896801e4e6a831ab98aa',1,'SVF::GrammarBuilder::grammar()']]],
   ['grammarbase',['grammarBase',['../classSVF_1_1CFLBase.html#aef3da4ce970597586757cafd2a435c1f',1,'SVF::CFLBase']]],
   ['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()']]],
+  ['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()']]],
   ['graphtxt',['Graphtxt',['../classSVF_1_1Options.html#aa5c4bc8e55a056adcd7a6f8946ad5f38',1,'SVF::Options']]]
 ];

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

@@ -1,7 +1,6 @@
 var searchData=
 [
   ['handblackhole',['HandBlackHole',['../classSVF_1_1Options.html#ad2d3db3e407a53956a5a59cc24eb8d40',1,'SVF::Options']]],
-  ['has_5fname',['has_name',['../classSVF_1_1SVFValue.html#a89e13c82c6f302704838b9496a288aea',1,'SVF::SVFValue']]],
   ['hbpair',['HBPair',['../classSVF_1_1ForkJoinAnalysis.html#aad3e722ecaa4a39aef0e1cabfa2b8019',1,'SVF::ForkJoinAnalysis']]],
   ['head',['head',['../classSVF_1_1List.html#a41d52072edb2b75ab15d67bf2663312a',1,'SVF::List']]],
   ['headmap',['headmap',['../classSVF_1_1MTASVFGBuilder.html#ac92452c257052706b1cf1737b266eec1',1,'SVF::MTASVFGBuilder']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['i',['I',['../classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ac4e5c0067c64cd5c7e0184218cae3dd2',1,'llvm::iterator_facade_base::ReferenceProxy::I()'],['../classllvm_1_1iterator__adaptor__base.html#a563ec95255977c34566292cbdce193b3',1,'llvm::iterator_adaptor_base::I()']]],
+  ['i',['I',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#aca4eadcdc568988ffddd09d359b1c1c3',1,'SVF::iter_facade_base::ReferenceProxy::I()'],['../classSVF_1_1iter__adaptor__base.html#a1c80cc24530dbc29b03bf58500e0d636',1,'SVF::iter_adaptor_base::I()']]],
   ['i1',['I1',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a2f6817c4f04b090ff8ebff68cafa5892',1,'SVF::RaceResultValidator::AccessPair']]],
   ['i2',['I2',['../classSVF_1_1RaceResultValidator_1_1AccessPair.html#a4759b40288c232686465893d988697f3',1,'SVF::RaceResultValidator::AccessPair']]],
   ['icfg',['icfg',['../classSVF_1_1ICFGStat.html#a03185827f7913a480523de5b8f911acb',1,'SVF::ICFGStat::icfg()'],['../classSVF_1_1PointerAnalysis.html#a962cc91e4d68b25ce201072c384d8fc2',1,'SVF::PointerAnalysis::icfg()'],['../classSVF_1_1ICFGBuilder.html#adefeaad9c02000f263430dfee7149ea6',1,'SVF::ICFGBuilder::icfg()'],['../classSVF_1_1SVFIR.html#abe8aa0d325b35dd59ce4a7f302760e51',1,'SVF::SVFIR::icfg()'],['../classSVF_1_1CallGraphBuilder.html#ab3e0b47be010e25c093953e54602d211',1,'SVF::CallGraphBuilder::icfg()']]],
@@ -9,7 +9,7 @@ var searchData=
   ['icfgnode2svfstmtsmap',['icfgNode2SVFStmtsMap',['../classSVF_1_1SVFIR.html#a86c0c23d854b034d741d9d8891debab7',1,'SVF::SVFIR']]],
   ['icfgnodes',['icfgNodes',['../classSVF_1_1SVFLoop.html#a062e4b336b9b8315a9fc1107c9cab840',1,'SVF::SVFLoop']]],
   ['icfgnodetosvfloopvec',['icfgNodeToSVFLoopVec',['../classSVF_1_1ICFG.html#a7d6aeecb00d77600a204a72d60023d54',1,'SVF::ICFG']]],
-  ['id',['id',['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()'],['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()']]],
+  ['id',['ID',['../classSVF_1_1DDAPass.html#adb39fc24e3d45e558ac36f37b5dc3565',1,'SVF::DDAPass::ID()'],['../classSVF_1_1BreakConstantGEPs.html#a8010c4f5824ed5ebcb7ae283473ada22',1,'SVF::BreakConstantGEPs::ID()'],['../classSVF_1_1MergeFunctionRets.html#a7a763ae6c9d3c72345495f01b0b4b458',1,'SVF::MergeFunctionRets::ID()'],['../classSVF_1_1WPAPass.html#a2674527c92cdef223e655d449f0811d4',1,'SVF::WPAPass::ID()'],['../classSVF_1_1GenericNode.html#aaa53457604fe4cf4cb97ca85d33907b0',1,'SVF::GenericNode::id()']]],
   ['idcounter',['idCounter',['../classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5',1,'SVF::PersistentPointsToCache']]],
   ['idtocsmap',['idToCSMap',['../classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa',1,'SVF::PTACallGraph']]],
   ['idtonodemap',['IDToNodeMap',['../classSVF_1_1GenericGraph.html#a47a1ef8b67b0c92f78b4457dc3bbfe71',1,'SVF::GenericGraph']]],
@@ -57,13 +57,13 @@ var searchData=
   ['isloadmap',['isLoadMap',['../classSVF_1_1VersionedFlowSensitive.html#a6bb3db072db0b899f306b37f1146f83d',1,'SVF::VersionedFlowSensitive']]],
   ['isnotret',['isNotRet',['../classSVF_1_1SVFFunction.html#ac85bdf04fd784e22a89426955d28e3d6',1,'SVF::SVFFunction']]],
   ['isptr',['isPtr',['../classSVF_1_1SVFVar.html#a7c8ffadedbf53d30694feeb7771990af',1,'SVF::SVFVar']]],
-  ['issimple',['IsSimple',['../structllvm_1_1DefaultDOTGraphTraits.html#ae60a00eb9bdec41861fe6c4073e543b5',1,'llvm::DefaultDOTGraphTraits']]],
+  ['issimple',['IsSimple',['../structSVF_1_1DefaultDOTGraphTraits.html#abf5957e894bacd69c9ead5a80a330626',1,'SVF::DefaultDOTGraphTraits']]],
   ['issinglevalty',['isSingleValTy',['../classSVF_1_1SVFType.html#ac26ba9052149b5b792aa8e8c3ccfd350',1,'SVF::SVFType']]],
   ['isstoremap',['isStoreMap',['../classSVF_1_1VersionedFlowSensitive.html#a18e25c3871d7cc1a6bb0592ceca90f88',1,'SVF::VersionedFlowSensitive']]],
   ['isthunkfunc',['isThunkFunc',['../structSVF_1_1cppUtil_1_1DemangledName.html#af6117df8aec7f4c077058fa8f00b0243',1,'SVF::cppUtil::DemangledName']]],
   ['isuncalled',['isUncalled',['../classSVF_1_1SVFFunction.html#a1e9dc1d660e3626540b7501194bb12ea',1,'SVF::SVFFunction']]],
   ['item',['item',['../cJSON_8h.html#ac76cea59d438ba893d2f82aabb367d14',1,'item(): cJSON.h'],['../cJSON_8cpp.html#ac011de571ff16ba220d2e0d757e4e8b0',1,'item(): cJSON.cpp']]],
   ['iter',['Iter',['../classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a3627077086baa18bd0ae25efd981c18f',1,'SVF::SparseBitVector::SparseBitVectorIterator']]],
-  ['iterationforprintstat',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]],
-  ['iterator_5ffacade_5fbase',['iterator_facade_base',['../classllvm_1_1iterator__facade__base_1_1ReferenceProxy.html#ae839596dce7d66788c89951710111945',1,'llvm::iterator_facade_base::ReferenceProxy']]]
+  ['iter_5ffacade_5fbase',['iter_facade_base',['../classSVF_1_1iter__facade__base_1_1ReferenceProxy.html#ab4717ea89d08ac05464fa95bc7f50ac6',1,'SVF::iter_facade_base::ReferenceProxy']]],
+  ['iterationforprintstat',['iterationForPrintStat',['../classSVF_1_1WPASolver.html#aa7c0636780a86f376e9222bce771e859',1,'SVF::WPASolver']]]
 ];

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

@@ -41,7 +41,7 @@ var searchData=
   ['lookupunions',['lookupUnions',['../classSVF_1_1PersistentPointsToCache.html#ace976f138cf1b8ab6bbf7a5c5d0b60b8',1,'SVF::PersistentPointsToCache']]],
   ['loopanalysis',['LoopAnalysis',['../classSVF_1_1Options.html#a420e6656b02fd900430d51b8b4a5c6c1',1,'SVF::Options']]],
   ['loopanddom',['loopAndDom',['../classSVF_1_1SVFFunction.html#aefde3a0671e34541a4ad5d7a6dfaa5d1',1,'SVF::SVFFunction']]],
-  ['loopbound',['LoopBound',['../classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb',1,'SVF::Options::LoopBound()'],['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()']]],
+  ['loopbound',['loopBound',['../classSVF_1_1SVFLoop.html#ac4e2c365e2a08477381802205029b85c',1,'SVF::SVFLoop::loopBound()'],['../classSVF_1_1Options.html#ab7161ca7a809792af82e5aabdfcc3bfb',1,'SVF::Options::LoopBound()']]],
   ['lowlink',['lowlink',['../structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a6d66813dfb5338c22de62c100e951cf2',1,'SVF::VersionedFlowSensitive::SCC::NodeData']]],
   ['ls',['ls',['../classSVF_1_1NormalGepCGEdge.html#a7cbcaa28acde49ef0b03a8554a41344b',1,'SVF::NormalGepCGEdge::ls()'],['../classSVF_1_1GepStmt.html#a543a3f4801b22719f7b9677246bf2ac7',1,'SVF::GepStmt::ls()'],['../classSVF_1_1GepValVar.html#a2ee5e9a2e5a92b32fd81fda09b560ad6',1,'SVF::GepValVar::ls()'],['../classSVF_1_1GepObjVar.html#a55b057663180420c6bb09bf849d83f6b',1,'SVF::GepObjVar::ls()']]],
   ['lsa',['lsa',['../classSVF_1_1MTA.html#a80a44f3aa41d4259523c94044983c509',1,'SVF::MTA::lsa()'],['../classSVF_1_1RaceValidator.html#a6982b72e3e2551deab80d9e3fefaab64',1,'SVF::RaceValidator::lsa()'],['../classSVF_1_1MTAAnnotator.html#a42a5c0eac879be5e300583aa7d07beb0',1,'SVF::MTAAnnotator::lsa()']]]

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

@@ -32,7 +32,7 @@ var searchData=
   ['numgtintregions',['NumGtIntRegions',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#ad7cb36a1f0f67864fb8290e9dfd7b639',1,'SVF::NodeIDAllocator::Clusterer']]],
   ['numnodes',['numNodes',['../classSVF_1_1NodeIDAllocator.html#a8e76e0da58f0a5bdbd8118ac419cfa62',1,'SVF::NodeIDAllocator']]],
   ['numnontrivialregionobjects',['NumNonTrivialRegionObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a1bf9461c717e8dabaee6a57f3d76d61f',1,'SVF::NodeIDAllocator::Clusterer']]],
-  ['numobjects',['NumObjects',['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()'],['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()']]],
+  ['numobjects',['numObjects',['../classSVF_1_1NodeIDAllocator.html#a190c729a3f3f622f82cee4917946b50f',1,'SVF::NodeIDAllocator::numObjects()'],['../classSVF_1_1NodeIDAllocator_1_1Clusterer.html#afa74c5ccd22bebe0b76db33066d8b498',1,'SVF::NodeIDAllocator::Clusterer::NumObjects()']]],
   ['numofactualin',['numOfActualIn',['../classSVF_1_1SVFGStat.html#a5365744d2ec3594e2255d274f7256569',1,'SVF::SVFGStat']]],
   ['numofactualout',['numOfActualOut',['../classSVF_1_1SVFGStat.html#a122555f5c4b9746cc2b7f38c7cd6b505',1,'SVF::SVFGStat']]],
   ['numofactualparam',['numOfActualParam',['../classSVF_1_1SVFGStat.html#a0494c59483520b57acdca95952c93d76',1,'SVF::SVFGStat']]],

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

@@ -1,6 +1,6 @@
 var searchData=
 [
-  ['o',['O',['../classllvm_1_1GraphWriter.html#a8d438ca3456d83ef5feff3934d709e4d',1,'llvm::GraphWriter']]],
+  ['o',['O',['../classSVF_1_1GraphWriter.html#a2e882c9af39ffd3c4a4bac9212e0e82d',1,'SVF::GraphWriter']]],
   ['object',['object',['../classSVF_1_1DummyVersionPropSVFGNode.html#ad9a6fd01bf1a101da68eaacc61f420ee',1,'SVF::DummyVersionPropSVFGNode']]],
   ['objmap',['objMap',['../classSVF_1_1SymbolTableInfo.html#aeab14702eabde827923a692cba8f7f8a',1,'SVF::SymbolTableInfo']]],
   ['objsymmap',['objSymMap',['../classSVF_1_1SymbolTableInfo.html#a5840b742ed8c73ece548b9b4aede07ec',1,'SVF::SymbolTableInfo']]],

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

@@ -0,0 +1,99 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Member List</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="headertitle">
+<div class="title">SVF::DOTGraphTraits&lt; Ty &gt; Member List</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p>This is the complete list of members for <a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits&lt; Ty &gt;</a>, including all inherited members.</p>
+<table class="directory">
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf">addCustomGraphFeatures</a>(const GraphType &amp;, GraphWriter &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e">DefaultDOTGraphTraits</a>(bool simple=false)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">explicit</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99">DOTGraphTraits</a>(bool simple=false)</td><td class="entry"><a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits&lt; Ty &gt;</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396">edgeTargetsEdgeSource</a>(const void *, EdgeIter)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">getEdgeAttributes</a>(const void *, EdgeIter, const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">getEdgeDestLabel</a>(const void *, unsigned)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">getEdgeSourceLabel</a>(const void *, EdgeIter)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">getEdgeTarget</a>(const void *, EdgeIter I)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">getGraphName</a>(const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">getGraphProperties</a>(const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">getNodeAttributes</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">getNodeDescription</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">getNodeIdentifierLabel</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">getNodeLabel</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">hasEdgeDestLabels</a>()</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a>(const void *, const GraphType &amp;)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a>()</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
+  <tr><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">numEdgeDestLabels</a>(const void *)</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a>()</td><td class="entry"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+</table></div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/structSVF_1_1DOTGraphTraits.html

@@ -0,0 +1,193 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: SVF::DOTGraphTraits&lt; Ty &gt; Struct Template Reference</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div id="nav-path" class="navpath">
+  <ul>
+<li class="navelem"><a class="el" href="namespaceSVF.html">SVF</a></li><li class="navelem"><a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a></li>  </ul>
+</div>
+</div><!-- top -->
+<div class="header">
+  <div class="summary">
+<a href="#pub-methods">Public Member Functions</a> &#124;
+<a href="structSVF_1_1DOTGraphTraits-members.html">List of all members</a>  </div>
+  <div class="headertitle">
+<div class="title">SVF::DOTGraphTraits&lt; Ty &gt; Struct Template Reference</div>  </div>
+</div><!--header-->
+<div class="contents">
+
+<p><code>#include &lt;<a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>&gt;</code></p>
+<div class="dynheader">
+Inheritance diagram for SVF::DOTGraphTraits&lt; Ty &gt;:</div>
+<div class="dyncontent">
+ <div class="center">
+  <img src="structSVF_1_1DOTGraphTraits.png" usemap="#SVF::DOTGraphTraits_3C_20Ty_20_3E_map" alt=""/>
+  <map id="SVF::DOTGraphTraits_3C_20Ty_20_3E_map" name="SVF::DOTGraphTraits_3C_20Ty_20_3E_map">
+<area href="structSVF_1_1DefaultDOTGraphTraits.html" alt="SVF::DefaultDOTGraphTraits" shape="rect" coords="0,0,175,24"/>
+</map>
+ </div></div>
+<table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
+Public Member Functions</h2></td></tr>
+<tr class="memitem:a359df069e6c41d32e8b7ed5a23817e99"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DOTGraphTraits.html#a359df069e6c41d32e8b7ed5a23817e99">DOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a359df069e6c41d32e8b7ed5a23817e99"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_methods_structSVF_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Public Member Functions inherited from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a2fdfa8abc93bd4d0211c4db8ef4ede3e inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e">DefaultDOTGraphTraits</a> (bool simple=<a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a>)</td></tr>
+<tr class="separator:a2fdfa8abc93bd4d0211c4db8ef4ede3e inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a07487bbf691110420c680250994a6eba inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a07487bbf691110420c680250994a6eba inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><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="structSVF_1_1DefaultDOTGraphTraits.html#a07487bbf691110420c680250994a6eba">getNodeLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a07487bbf691110420c680250994a6eba inherit pub_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table><table class="memberdecls">
+<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="inherited"></a>
+Additional Inherited Members</h2></td></tr>
+<tr class="inherit_header pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pub_static_methods_structSVF_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Static Public Member Functions inherited from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:a41effe5697618840e0d5ea10c26781fe inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a41effe5697618840e0d5ea10c26781fe inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a41effe5697618840e0d5ea10c26781fe">getGraphName</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:a41effe5697618840e0d5ea10c26781fe inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:afe384157441d5ef0b3aafdfb6cd3028a inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:afe384157441d5ef0b3aafdfb6cd3028a inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#afe384157441d5ef0b3aafdfb6cd3028a">getGraphProperties</a> (const GraphType &amp;)</td></tr>
+<tr class="separator:afe384157441d5ef0b3aafdfb6cd3028a inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:aeb5908ad6424c0636b698e5ea0a587c0 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#aeb5908ad6424c0636b698e5ea0a587c0">renderGraphFromBottomUp</a> ()</td></tr>
+<tr class="separator:aeb5908ad6424c0636b698e5ea0a587c0 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ae73ba55d72d5df1f70a2bfa2e12958f3 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:ae73ba55d72d5df1f70a2bfa2e12958f3 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ae73ba55d72d5df1f70a2bfa2e12958f3">isNodeHidden</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:ae73ba55d72d5df1f70a2bfa2e12958f3 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a0f81b82658f62589ec429c601538f6e9 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a0f81b82658f62589ec429c601538f6e9 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a0f81b82658f62589ec429c601538f6e9">getNodeIdentifierLabel</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a0f81b82658f62589ec429c601538f6e9 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:af5800f2d8efa24fee85f03871c07df21 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:af5800f2d8efa24fee85f03871c07df21 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#af5800f2d8efa24fee85f03871c07df21">getNodeDescription</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:af5800f2d8efa24fee85f03871c07df21 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a3438f5f1ed763f2f7818535f212ff43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType &gt; </td></tr>
+<tr class="memitem:a3438f5f1ed763f2f7818535f212ff43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a3438f5f1ed763f2f7818535f212ff43b">getNodeAttributes</a> (const void *, const GraphType &amp;)</td></tr>
+<tr class="separator:a3438f5f1ed763f2f7818535f212ff43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:ad84c95525cf15f90848c2558fd28f43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter , typename GraphType &gt; </td></tr>
+<tr class="memitem:ad84c95525cf15f90848c2558fd28f43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#ad84c95525cf15f90848c2558fd28f43b">getEdgeAttributes</a> (const void *, EdgeIter, const GraphType &amp;)</td></tr>
+<tr class="separator:ad84c95525cf15f90848c2558fd28f43b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a66f5994cdef8fa307c9ff69ca90a1d6c inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a66f5994cdef8fa307c9ff69ca90a1d6c inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a66f5994cdef8fa307c9ff69ca90a1d6c">getEdgeSourceLabel</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a66f5994cdef8fa307c9ff69ca90a1d6c inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a78c40f9b1af839116b88519fca154396 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:a78c40f9b1af839116b88519fca154396 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static bool&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a78c40f9b1af839116b88519fca154396">edgeTargetsEdgeSource</a> (const void *, EdgeIter)</td></tr>
+<tr class="separator:a78c40f9b1af839116b88519fca154396 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:acfab6216e24999e92b2354e4f15b96b6 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename EdgeIter &gt; </td></tr>
+<tr class="memitem:acfab6216e24999e92b2354e4f15b96b6 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static EdgeIter&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acfab6216e24999e92b2354e4f15b96b6">getEdgeTarget</a> (const void *, EdgeIter I)</td></tr>
+<tr class="separator:acfab6216e24999e92b2354e4f15b96b6 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a87d7b47985a849c7c4ff1c328a59c623 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a87d7b47985a849c7c4ff1c328a59c623">hasEdgeDestLabels</a> ()</td></tr>
+<tr class="separator:a87d7b47985a849c7c4ff1c328a59c623 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a94f582264d3020f36a2ca3bdfbdaf81b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a94f582264d3020f36a2ca3bdfbdaf81b">numEdgeDestLabels</a> (const void *)</td></tr>
+<tr class="separator:a94f582264d3020f36a2ca3bdfbdaf81b inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a5e560e93632e0ed1934d4c4508ca1884 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">static <a class="el" href="cJSON_8cpp.html#ae1adbce218e7a9d09164012443191d24">std::string</a>&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a5e560e93632e0ed1934d4c4508ca1884">getEdgeDestLabel</a> (const void *, unsigned)</td></tr>
+<tr class="separator:a5e560e93632e0ed1934d4c4508ca1884 inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a47ee60dc78e3f869ce4e808e73437ddf inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplParams" colspan="2">template&lt;typename GraphType , typename GraphWriter &gt; </td></tr>
+<tr class="memitem:a47ee60dc78e3f869ce4e808e73437ddf inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memTemplItemLeft" align="right" valign="top">static void&#160;</td><td class="memTemplItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#a47ee60dc78e3f869ce4e808e73437ddf">addCustomGraphFeatures</a> (const GraphType &amp;, <a class="el" href="classSVF_1_1GraphWriter.html">GraphWriter</a> &amp;)</td></tr>
+<tr class="separator:a47ee60dc78e3f869ce4e808e73437ddf inherit pub_static_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="inherit_header pro_methods_structSVF_1_1DefaultDOTGraphTraits"><td colspan="2" onclick="javascript:toggleInherit('pro_methods_structSVF_1_1DefaultDOTGraphTraits')"><img src="closed.png" alt="-"/>&#160;Protected Member Functions inherited from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">SVF::DefaultDOTGraphTraits</a></td></tr>
+<tr class="memitem:acc82bc6228128e5bb98a6b00d6dc5f77 inherit pro_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memItemLeft" align="right" valign="top">bool&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html#acc82bc6228128e5bb98a6b00d6dc5f77">isSimple</a> ()</td></tr>
+<tr class="separator:acc82bc6228128e5bb98a6b00d6dc5f77 inherit pro_methods_structSVF_1_1DefaultDOTGraphTraits"><td class="memSeparator" colspan="2">&#160;</td></tr>
+</table>
+<a name="details" id="details"></a><h2 class="groupheader">Detailed Description</h2>
+<div class="textblock"><h3>template&lt;typename Ty&gt;<br />
+struct SVF::DOTGraphTraits&lt; Ty &gt;</h3>
+
+<p><a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a> - Template class that can be specialized to customize how graphs are converted to 'dot' graphs. When specializing, you may inherit from <a class="el" href="structSVF_1_1DefaultDOTGraphTraits.html">DefaultDOTGraphTraits</a> if you don't need to override everything. </p>
+
+<p class="definition">Definition at line <a class="el" href="DOTGraphTraits_8h_source.html#l00181">181</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+</div><h2 class="groupheader">Constructor &amp; Destructor Documentation</h2>
+<a id="a359df069e6c41d32e8b7ed5a23817e99"></a>
+<h2 class="memtitle"><span class="permalink"><a href="#a359df069e6c41d32e8b7ed5a23817e99">&#9670;&nbsp;</a></span>DOTGraphTraits()</h2>
+
+<div class="memitem">
+<div class="memproto">
+<div class="memtemplate">
+template&lt;typename Ty&gt; </div>
+<table class="mlabels">
+  <tr>
+  <td class="mlabels-left">
+      <table class="memname">
+        <tr>
+          <td class="memname"><a class="el" href="structSVF_1_1DOTGraphTraits.html">SVF::DOTGraphTraits</a>&lt; Ty &gt;::<a class="el" href="structSVF_1_1DOTGraphTraits.html">DOTGraphTraits</a> </td>
+          <td>(</td>
+          <td class="paramtype">bool&#160;</td>
+          <td class="paramname"><em>simple</em> = <code><a class="el" href="cJSON_8cpp.html#a65e9886d74aaee76545e83dd09011727">false</a></code></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="DOTGraphTraits_8h_source.html#l00183">183</a> of file <a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a>.</p>
+<div class="fragment"><div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;: <a class="code" href="structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e">DefaultDOTGraphTraits</a> (simple) {}</div><div class="ttc" id="structSVF_1_1DefaultDOTGraphTraits_html_a2fdfa8abc93bd4d0211c4db8ef4ede3e"><div class="ttname"><a href="structSVF_1_1DefaultDOTGraphTraits.html#a2fdfa8abc93bd4d0211c4db8ef4ede3e">SVF::DefaultDOTGraphTraits::DefaultDOTGraphTraits</a></div><div class="ttdeci">DefaultDOTGraphTraits(bool simple=false)</div><div class="ttdef"><b>Definition:</b> <a href="DOTGraphTraits_8h_source.html#l00041">DOTGraphTraits.h:41</a></div></div>
+</div><!-- fragment -->
+</div>
+</div>
+<hr/>The documentation for this struct was generated from the following file:<ul>
+<li>/home/runner/work/SVF/SVF/include/Graphs/<a class="el" href="DOTGraphTraits_8h_source.html">DOTGraphTraits.h</a></li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>