npm - svf-tools - Versions diffs - 1.0.302 → 1.0.306 - Mend

svf-tools 1.0.302 → 1.0.306

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

Files changed (452) hide show

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

@@ -72,7 +72,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PointsTo_1_1PointsToIterator_html_ab294d3378c283fff63e481db1bea3b4d"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab294d3378c283fff63e481db1bea3b4d">SVF::PointsTo::PointsToIterator::operator*</a></div><div class="ttdeci">const u32_t operator*(void) const</div><div class="ttdoc">Dereference: *it. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00498">PointsTo.cpp:498</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_1_1PointsToIterator_html_aef4e1b40faa327f8bbf42a82df29c7b4"><div class="ttname"><a href="classSVF_1_1PointsTo_1_1PointsToIterator.html#aef4e1b40faa327f8bbf42a82df29c7b4">SVF::PointsTo::PointsToIterator::operator==</a></div><div class="ttdeci">bool operator==(const PointsToIterator &amp;rhs) const</div><div class="ttdoc">Equality: *this == rhs. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00510">PointsTo.cpp:510</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a06b981a2b7b04549f494dffde974c56d"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a06b981a2b7b04549f494dffde974c56d">SVF::PointsTo::getNodeMapping</a></div><div class="ttdeci">MappingPtr getNodeMapping(void) const</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00321">PointsTo.cpp:321</a></div></div>
-<div class="ttc" id="namespaceSVF_html_ab6cf2115b54ef7135b031efc2f112b54"><div class="ttname"><a href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SVF::SparseBitVector</a></div><div class="ttdeci">llvm::SparseBitVector SparseBitVector</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00088">SVFBasicTypes.h:88</a></div></div>
+<div class="ttc" id="namespaceSVF_html_ab6cf2115b54ef7135b031efc2f112b54"><div class="ttname"><a href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SVF::SparseBitVector</a></div><div class="ttdeci">llvm::SparseBitVector SparseBitVector</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_aecd6b98c0687de59aebb297ec38a7084"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo::sbv</a></div><div class="ttdeci">SparseBitVector sbv</div><div class="ttdoc">Sparse bit vector backing. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00159">PointsTo.h:159</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a12883234179873d279e72e5947aad836"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a12883234179873d279e72e5947aad836">SVF::PointsTo::find_first</a></div><div class="ttdeci">int find_first(void)</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00193">PointsTo.cpp:193</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_af81f9e91eec4bf82ccfb867c2415f9bd"><div class="ttname"><a href="classSVF_1_1PointsTo.html#af81f9e91eec4bf82ccfb867c2415f9bd">SVF::PointsTo::intersectWithComplement</a></div><div class="ttdeci">bool intersectWithComplement(const PointsTo &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00272">PointsTo.cpp:272</a></div></div>
@@ -132,7 +132,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PointsTo_html_a21244b7b04d6aa01787a11d116bc9952"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a21244b7b04d6aa01787a11d116bc9952">SVF::PointsTo::operator-=</a></div><div class="ttdeci">bool operator-=(const PointsTo &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00259">PointsTo.cpp:259</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a164aced0d6a19dd7ba8124ec2e77674c"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a164aced0d6a19dd7ba8124ec2e77674c">SVF::PointsTo::operator &amp;=</a></div><div class="ttdeci">bool operator &amp;=(const PointsTo &amp;rhs)</div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_aa8644057ec182382e3c34e90d7d61ade"><div class="ttname"><a href="classSVF_1_1PointsTo.html#aa8644057ec182382e3c34e90d7d61ade">SVF::PointsTo::operator|=</a></div><div class="ttdeci">bool operator|=(const PointsTo &amp;rhs)</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8cpp_source.html#l00220">PointsTo.cpp:220</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_a53e1230c87912d26604990eb8b0cbc0c"><div class="ttname"><a href="classSVF_1_1PointsTo.html#a53e1230c87912d26604990eb8b0cbc0c">SVF::PointsTo::currentBestReverseNodeMapping</a></div><div class="ttdeci">static MappingPtr currentBestReverseNodeMapping</div><div class="ttdoc">Likewise, but reversed. </div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00152">PointsTo.h:152</a></div></div>
 <div class="ttc" id="classSVF_1_1PointsTo_html_ad37fe6c7bb8b509a837348a12cab80c1"><div class="ttname"><a href="classSVF_1_1PointsTo.html#ad37fe6c7bb8b509a837348a12cab80c1">SVF::PointsTo::const_iterator</a></div><div class="ttdeci">PointsToIterator const_iterator</div><div class="ttdef"><b>Definition:</b> <a href="PointsTo_8h_source.html#l00037">PointsTo.h:37</a></div></div>

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

@@ -79,12 +79,12 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a899332b210414ac991b57e83851ee5be"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be">SVF::ProgSlice::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Release memory. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00206">ProgSlice.cpp:206</a></div></div>
 <div class="ttc" id="classSVF_1_1CallDirSVFGEdge_html"><div class="ttname"><a href="classSVF_1_1CallDirSVFGEdge.html">SVF::CallDirSVFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00211">VFGEdge.h:211</a></div></div>
 <div class="ttc" id="classSVF_1_1CondExpr_html"><div class="ttname"><a href="classSVF_1_1CondExpr.html">SVF::CondExpr</a></div><div class="ttdef"><b>Definition:</b> <a href="Conditions_8h_source.html#l00042">Conditions.h:42</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00163">SVFBasicTypes.h:163</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a817abc424f7cfcdec5954c7807970f36"><div class="ttname"><a href="SVFBasicTypes_8h.html#a817abc424f7cfcdec5954c7807970f36">DSaber</a></div><div class="ttdeci">#define DSaber</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00166">SVFBasicTypes.h:166</a></div></div>
 <div class="ttc" id="classSVF_1_1VFGEdge_html"><div class="ttname"><a href="classSVF_1_1VFGEdge.html">SVF::VFGEdge</a></div><div class="ttdef"><b>Definition:</b> <a href="VFGEdge_8h_source.html#l00044">VFGEdge.h:44</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_af41c438baa739406a35bcb2e9ba431dd"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#af41c438baa739406a35bcb2e9ba431dd">SVF::ProgSlice::SVFGNodeSetIter</a></div><div class="ttdeci">SVFGNodeSet::const_iterator SVFGNodeSetIter</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00046">ProgSlice.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a62a9f2c107f27d6c04c30ef153ffb8ed"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">SVF::ProgSlice::isSatisfiableForAll</a></div><div class="ttdeci">bool isSatisfiableForAll()</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00096">ProgSlice.cpp:96</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericEdge_html_aeaa31a2c8479e831b36ce2e2582ceb86"><div class="ttname"><a href="classSVF_1_1GenericEdge.html#aeaa31a2c8479e831b36ce2e2582ceb86">SVF::GenericEdge::getDstNode</a></div><div class="ttdeci">NodeType * getDstNode() const</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00089">GenericGraph.h:89</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_ad4c6a48b60c870d63049fe7272cc7eb8"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#ad4c6a48b60c870d63049fe7272cc7eb8">SVF::FIFOWorkList::push</a></div><div class="ttdeci">bool push(Data data)</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00159">WorkList.h:159</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a7875172ff434b2210eea7cecfbbd959e"><div class="ttname"><a href="namespaceSVF.html#a7875172ff434b2210eea7cecfbbd959e">SVF::Instruction</a></div><div class="ttdeci">llvm::Instruction Instruction</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00079">BasicTypes.h:79</a></div></div>
 <div class="ttc" id="namespaceSVF_html_a726981481ac082dcda3e4921416b65a0"><div class="ttname"><a href="namespaceSVF.html#a726981481ac082dcda3e4921416b65a0">SVF::raw_string_ostream</a></div><div class="ttdeci">llvm::raw_string_ostream raw_string_ostream</div><div class="ttdef"><b>Definition:</b> <a href="BasicTypes_8h_source.html#l00100">BasicTypes.h:100</a></div></div>
@@ -98,12 +98,12 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SaberAnnotator_html_ad7f1d6220243793e0eb86689ff8fb35f"><div class="ttname"><a href="classSVF_1_1SaberAnnotator.html#ad7f1d6220243793e0eb86689ff8fb35f">SVF::SaberAnnotator::annotateFeasibleBranch</a></div><div class="ttdeci">void annotateFeasibleBranch(const BranchInst *brInst, u32_t succPos)</div><div class="ttdef"><b>Definition:</b> <a href="SaberAnnotator_8cpp_source.html#l00078">SaberAnnotator.cpp:78</a></div></div>
 <div class="ttc" id="namespaceSVF_html"><div class="ttname"><a href="namespaceSVF.html">SVF</a></div><div class="ttdoc">for isBitcode </div><div class="ttdef"><b>Definition:</b> <a href="ContextDDA_8h_source.html#l00016">ContextDDA.h:16</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_ac3e55ef37aefb411ea4c87b1aa3b1895"><div class="ttname"><a href="classSVF_1_1GenericNode.html#ac3e55ef37aefb411ea4c87b1aa3b1895">SVF::GenericNode::getId</a></div><div class="ttdeci">NodeID getId() const</div><div class="ttdoc">Get ID. </div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00164">GenericGraph.h:164</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1GenericNode_html_a19a3366fd8a58290d0c740c46c3dcb3d"><div class="ttname"><a href="classSVF_1_1GenericNode.html#a19a3366fd8a58290d0c740c46c3dcb3d">SVF::GenericNode::OutEdgeEnd</a></div><div class="ttdeci">iterator OutEdgeEnd()</div><div class="ttdef"><b>Definition:</b> <a href="GenericGraph_8h_source.html#l00205">GenericGraph.h:205</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberAnnotator_html_abec0f249cc64d3588e83a68ed12271bf"><div class="ttname"><a href="classSVF_1_1SaberAnnotator.html#abec0f249cc64d3588e83a68ed12271bf">SVF::SaberAnnotator::annotateSinks</a></div><div class="ttdeci">void annotateSinks()</div><div class="ttdef"><b>Definition:</b> <a href="SaberAnnotator_8cpp_source.html#l00055">SaberAnnotator.cpp:55</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a40ca6247fde5e973298e8383f2180203"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a40ca6247fde5e973298e8383f2180203">SVF::ProgSlice::getCallSite</a></div><div class="ttdeci">const CallBlockNode * getCallSite(const SVFGEdge *edge) const</div><div class="ttdoc">Get callsite ID and get returnsiteID from SVFGEdge. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00133">ProgSlice.cpp:133</a></div></div>
 <div class="ttc" id="classSVF_1_1CallBlockNode_html"><div class="ttname"><a href="classSVF_1_1CallBlockNode.html">SVF::CallBlockNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00364">ICFGNode.h:364</a></div></div>
-<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00144">SVFBasicTypes.h:144</a></div></div>
+<div class="ttc" id="SVFBasicTypes_8h_html_a173ce1b9b505fdadf5613b663749d3b0"><div class="ttname"><a href="SVFBasicTypes_8h.html#a173ce1b9b505fdadf5613b663749d3b0">DBOUT</a></div><div class="ttdeci">#define DBOUT(TYPE, X)</div><div class="ttdoc">LLVM debug macros, define type of your DEBUG model of each pass. </div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00147">SVFBasicTypes.h:147</a></div></div>
 <div class="ttc" id="classSVF_1_1FIFOWorkList_html_a8fa72918fce7e9c0b2dc34b683a797c6"><div class="ttname"><a href="classSVF_1_1FIFOWorkList.html#a8fa72918fce7e9c0b2dc34b683a797c6">SVF::FIFOWorkList::pop</a></div><div class="ttdeci">Data pop()</div><div class="ttdef"><b>Definition:</b> <a href="WorkList_8h_source.html#l00174">WorkList.h:174</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_ab1fdec8d39c9890324718607d7464eab"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#ab1fdec8d39c9890324718607d7464eab">SVF::ProgSlice::annotatePaths</a></div><div class="ttdeci">void annotatePaths()</div><div class="ttdoc">Annotate program according to final condition. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00185">ProgSlice.cpp:185</a></div></div>
 <div class="ttc" id="classSVF_1_1SaberAnnotator_html"><div class="ttname"><a href="classSVF_1_1SaberAnnotator.html">SVF::SaberAnnotator</a></div><div class="ttdef"><b>Definition:</b> <a href="SaberAnnotator_8h_source.html#l00043">SaberAnnotator.h:43</a></div></div>

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

@@ -94,7 +94,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html_a5a8c25d74ffc2a8f8dbd20faab4d9803"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html#a5a8c25d74ffc2a8f8dbd20faab4d9803">SVF::PathCondAllocator::condOr</a></div><div class="ttdeci">Condition * condOr(Condition *lhs, Condition *rhs)</div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8h_source.html#l00087">PathCondAllocator.h:87</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_aed4bedc716a3e252e44a6f28e677d61c"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#aed4bedc716a3e252e44a6f28e677d61c">SVF::ProgSlice::backwardSliceEnd</a></div><div class="ttdeci">SVFGNodeSetIter backwardSliceEnd() const</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00104">ProgSlice.h:104</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a899332b210414ac991b57e83851ee5be"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a899332b210414ac991b57e83851ee5be">SVF::ProgSlice::destroy</a></div><div class="ttdeci">void destroy()</div><div class="ttdoc">Release memory. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00206">ProgSlice.cpp:206</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a066430ffa98a3fa0a5ad48d26e0450f7"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a066430ffa98a3fa0a5ad48d26e0450f7">SVF::ProgSlice::inBackwardSlice</a></div><div class="ttdeci">bool inBackwardSlice(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00088">ProgSlice.h:88</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a457a759c552a1418538769d79d7a7dde"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a457a759c552a1418538769d79d7a7dde">SVF::ProgSlice::svfg</a></div><div class="ttdeci">const SVFG * svfg</div><div class="ttdoc">SVFG. </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00303">ProgSlice.h:303</a></div></div>
 <div class="ttc" id="classSVF_1_1ICFGNode_html"><div class="ttname"><a href="classSVF_1_1ICFGNode.html">SVF::ICFGNode</a></div><div class="ttdef"><b>Definition:</b> <a href="ICFGNode_8h_source.html#l00054">ICFGNode.h:54</a></div></div>
@@ -115,7 +115,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a62a9f2c107f27d6c04c30ef153ffb8ed"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a62a9f2c107f27d6c04c30ef153ffb8ed">SVF::ProgSlice::isSatisfiableForAll</a></div><div class="ttdeci">bool isSatisfiableForAll()</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8cpp_source.html#l00096">ProgSlice.cpp:96</a></div></div>
 <div class="ttc" id="classSVF_1_1PathCondAllocator_html"><div class="ttname"><a href="classSVF_1_1PathCondAllocator.html">SVF::PathCondAllocator</a></div><div class="ttdef"><b>Definition:</b> <a href="PathCondAllocator_8h_source.html#l00046">PathCondAllocator.h:46</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a5a4b7f34001cc90f9b60222caee1bde6"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a5a4b7f34001cc90f9b60222caee1bde6">SVF::ProgSlice::inForwardSlice</a></div><div class="ttdeci">bool inForwardSlice(const SVFGNode *node)</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00084">ProgSlice.h:84</a></div></div>
-<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00096">SVFBasicTypes.h:96</a></div></div>
+<div class="ttc" id="namespaceSVF_html_af739db846e47ba6b2fd15eaad31ab7fb"><div class="ttname"><a href="namespaceSVF.html#af739db846e47ba6b2fd15eaad31ab7fb">SVF::Set</a></div><div class="ttdeci">std::unordered_set&lt; Key, Hash, KeyEqual, Allocator &gt; Set</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00095">SVFBasicTypes.h:95</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a2a7a3a6dc518fd375f506d43b0ac9fc9"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a2a7a3a6dc518fd375f506d43b0ac9fc9">SVF::ProgSlice::partialReachable</a></div><div class="ttdeci">bool partialReachable</div><div class="ttdoc">reachable from some paths </div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00297">ProgSlice.h:297</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a50bb38398ecc422b6d10e0d77bb032c3"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a50bb38398ecc422b6d10e0d77bb032c3">SVF::ProgSlice::getTrueCond</a></div><div class="ttdeci">Condition * getTrueCond() const</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00183">ProgSlice.h:183</a></div></div>
 <div class="ttc" id="classSVF_1_1ProgSlice_html_a3dc89d666a0f369ca85e13632676e6aa"><div class="ttname"><a href="classSVF_1_1ProgSlice.html#a3dc89d666a0f369ca85e13632676e6aa">SVF::ProgSlice::Condition</a></div><div class="ttdeci">PathCondAllocator::Condition Condition</div><div class="ttdef"><b>Definition:</b> <a href="ProgSlice_8h_source.html#l00047">ProgSlice.h:47</a></div></div>

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

@@ -73,7 +73,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SCCDetection_html_aa7f342aa9281749d16bb377acf14c0d7"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#aa7f342aa9281749d16bb377acf14c0d7">SVF::SCCDetection::visited</a></div><div class="ttdeci">bool visited(NodeID n)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00201">SCC.h:201</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a6ab5eff6a576e6d8703c1ea29b7f425d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a6ab5eff6a576e6d8703c1ea29b7f425d">SVF::SCCDetection::subNodes</a></div><div class="ttdeci">const NodeBS &amp; subNodes(NodeID n) const</div><div class="ttdoc">get all subnodes in one scc, if size is empty insert itself into the set </div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00173">SCC.h:173</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a6502c0a765ac1653474ffee651949f93"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a6502c0a765ac1653474ffee651949f93">SVF::SCCDetection::topoNodeStack</a></div><div class="ttdeci">GNodeStack &amp; topoNodeStack()</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00128">SCC.h:128</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00116">SVFBasicTypes.h:116</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a212231734fa43d5c7414137deaac7df3"><div class="ttname"><a href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></div><div class="ttdeci">Set&lt; NodeID &gt; NodeSet</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00114">SVFBasicTypes.h:114</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a55e1ac9dff59ff78d02e8799d306215b"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a55e1ac9dff59ff78d02e8799d306215b">SVF::SCCDetection::_NodeSCCAuxInfo</a></div><div class="ttdeci">GNODESCCInfoMap _NodeSCCAuxInfo</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00192">SCC.h:192</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a2b9605126ebb2abb1e16b3ccf99cf04b"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a2b9605126ebb2abb1e16b3ccf99cf04b">SVF::SCCDetection::repNodes</a></div><div class="ttdeci">NodeBS repNodes</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00199">SCC.h:199</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a2123596f26729d61b241cf468d8925d8"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a2123596f26729d61b241cf468d8925d8">SVF::SCCDetection::_graph</a></div><div class="ttdeci">const GraphType &amp; _graph</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00194">SCC.h:194</a></div></div>
@@ -83,7 +83,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SCCDetection_1_1GNodeSCCInfo_html_a39ff07eb2d4529802dead9d37a720fa9"><div class="ttname"><a href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a39ff07eb2d4529802dead9d37a720fa9">SVF::SCCDetection::GNodeSCCInfo::addSubNodes</a></div><div class="ttdeci">void addSubNodes(NodeID n)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00097">SCC.h:97</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_ab3bdd1e73f95735a8f37566c3793bb36"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#ab3bdd1e73f95735a8f37566c3793bb36">SVF::SCCDetection::GNodeSCCInfo</a></div><div class="ttdeci">const GNODESCCInfoMap &amp; GNodeSCCInfo() const</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00133">SCC.h:133</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_1_1GNodeSCCInfo_html_a721df427172da5cb0dc46d804c4f4485"><div class="ttname"><a href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a721df427172da5cb0dc46d804c4f4485">SVF::SCCDetection::GNodeSCCInfo::_visited</a></div><div class="ttdeci">bool _visited</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00110">SCC.h:110</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00101">SVFBasicTypes.h:101</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a8234d4b959abc9123993bcff4eee34c1"><div class="ttname"><a href="namespaceSVF.html#a8234d4b959abc9123993bcff4eee34c1">SVF::Map</a></div><div class="ttdeci">std::unordered_map&lt; Key, Value, Hash, KeyEqual, Allocator &gt; Map</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00100">SVFBasicTypes.h:100</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a7e9a12e188a93ea8e571bac4e49e2a6b"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a7e9a12e188a93ea8e571bac4e49e2a6b">SVF::SCCDetection::NodeToNodeMap</a></div><div class="ttdeci">Map&lt; NodeID, NodeID &gt; NodeToNodeMap</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00117">SCC.h:117</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a0e9ca6d916963160fb4ae9acec1c1fe9"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a0e9ca6d916963160fb4ae9acec1c1fe9">SVF::SCCDetection::_SS</a></div><div class="ttdeci">GNodeStack _SS</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00197">SCC.h:197</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a457973fa38fad89bbd2dc41ba041703e"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a457973fa38fad89bbd2dc41ba041703e">SVF::SCCDetection::getRepNodes</a></div><div class="ttdeci">const NodeBS &amp; getRepNodes() const</div><div class="ttdoc">get all repNodeID </div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00181">SCC.h:181</a></div></div>
@@ -114,7 +114,7 @@ $(function() {
 <div class="ttc" id="classSVF_1_1SCCDetection_1_1GNodeSCCInfo_html_a4b8c555a11e9eae2065ec1549ce537de"><div class="ttname"><a href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a4b8c555a11e9eae2065ec1549ce537de">SVF::SCCDetection::GNodeSCCInfo::GNodeSCCInfo</a></div><div class="ttdeci">GNodeSCCInfo()</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00071">SCC.h:71</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_1_1GNodeSCCInfo_html_af9ee3c8655cd3d5ac7cc3863e6af9af7"><div class="ttname"><a href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#af9ee3c8655cd3d5ac7cc3863e6af9af7">SVF::SCCDetection::GNodeSCCInfo::inSCC</a></div><div class="ttdeci">bool inSCC(void) const</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00081">SCC.h:81</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a5fa111bb849052b8a753194cd0cd5e0c"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a5fa111bb849052b8a753194cd0cd5e0c">SVF::SCCDetection::Node_Index</a></div><div class="ttdeci">NodeID Node_Index(GNODE node) const</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00244">SCC.h:244</a></div></div>
-<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00087">SVFBasicTypes.h:87</a></div></div>
+<div class="ttc" id="namespaceSVF_html_a740396763e377643790c8b803ab3e4ea"><div class="ttname"><a href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></div><div class="ttdeci">llvm::SparseBitVector NodeBS</div><div class="ttdef"><b>Definition:</b> <a href="SVFBasicTypes_8h_source.html#l00086">SVFBasicTypes.h:86</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_a9105051438f60587df95a9dba618d008"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#a9105051438f60587df95a9dba618d008">SVF::SCCDetection::_I</a></div><div class="ttdeci">NodeID _I</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00195">SCC.h:195</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_1_1GNodeSCCInfo_html_a8038a801ba0fc31149847a49e074b210"><div class="ttname"><a href="classSVF_1_1SCCDetection_1_1GNodeSCCInfo.html#a8038a801ba0fc31149847a49e074b210">SVF::SCCDetection::GNodeSCCInfo::visited</a></div><div class="ttdeci">bool visited(void) const</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00073">SCC.h:73</a></div></div>
 <div class="ttc" id="classSVF_1_1SCCDetection_html_ad888a3dc94909823319384055896c84d"><div class="ttname"><a href="classSVF_1_1SCCDetection.html#ad888a3dc94909823319384055896c84d">SVF::SCCDetection::setVisited</a></div><div class="ttdeci">void setVisited(NodeID n, bool v)</div><div class="ttdef"><b>Definition:</b> <a href="SCC_8h_source.html#l00210">SCC.h:210</a></div></div>

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

@@ -108,6 +108,8 @@ Classes</h2></td></tr>
 <tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html">std::hash&lt; llvm::SparseBitVector&lt; N &gt; &gt;</a></td></tr>
 <tr class="memdesc:"><td class="mdescLeft">&#160;</td><td class="mdescRight">Specialise hash for SparseBitVectors.  <a href="structstd_1_1hash_3_01llvm_1_1SparseBitVector_3_01N_01_4_01_4.html#details">More...</a><br /></td></tr>
 <tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:"><td class="memItemLeft" align="right" valign="top">struct &#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="structstd_1_1hash_3_01std_1_1vector_3_01T_01_4_01_4.html">std::hash&lt; std::vector&lt; T &gt; &gt;</a></td></tr>
+<tr class="separator:"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table><table class="memberdecls">
 <tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="namespaces"></a>
 Namespaces</h2></td></tr>
@@ -183,8 +185,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:a03d88a0302bcd253387690f13f693f64"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a10cddb090690c82a2aab31a480253d35"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a10cddb090690c82a2aab31a480253d35">SVF::ThreadID</a></td></tr>
 <tr class="separator:a10cddb090690c82a2aab31a480253d35"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></td></tr>
-<tr class="separator:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a740396763e377643790c8b803ab3e4ea"><td class="memItemLeft" align="right" valign="top">typedef llvm::SparseBitVector&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a740396763e377643790c8b803ab3e4ea">SVF::NodeBS</a></td></tr>
 <tr class="separator:a740396763e377643790c8b803ab3e4ea"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ab6cf2115b54ef7135b031efc2f112b54"><td class="memItemLeft" align="right" valign="top">typedef llvm::SparseBitVector&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ab6cf2115b54ef7135b031efc2f112b54">SVF::SparseBitVector</a></td></tr>
@@ -210,8 +210,6 @@ Typedefs</h2></td></tr>
 <tr class="separator:aa408bbe668ca1208beceae0f842079b4"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; NodeID, NodeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#af15e78ec0ab5bf5328d0f8e90c74fe4b">SVF::NodePair</a></td></tr>
 <tr class="separator:af15e78ec0ab5bf5328d0f8e90c74fe4b"><td class="memSeparator" colspan="2">&#160;</td></tr>
-<tr class="memitem:a32489632f53dce062ca2e8bff42c65cf"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; NodeID, Version &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></td></tr>
-<tr class="separator:a32489632f53dce062ca2e8bff42c65cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a3c2bd95727ec0d9c55c631b6617026c8"><td class="memItemLeft" align="right" valign="top">typedef OrderedSet&lt; NodeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a3c2bd95727ec0d9c55c631b6617026c8">SVF::OrderedNodeSet</a></td></tr>
 <tr class="separator:a3c2bd95727ec0d9c55c631b6617026c8"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:a212231734fa43d5c7414137deaac7df3"><td class="memItemLeft" align="right" valign="top">typedef Set&lt; NodeID &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a212231734fa43d5c7414137deaac7df3">SVF::NodeSet</a></td></tr>
@@ -240,6 +238,14 @@ Typedefs</h2></td></tr>
 <tr class="separator:a542c6d5483bfc74fa58b45ad06b65960"><td class="memSeparator" colspan="2">&#160;</td></tr>
 <tr class="memitem:ad5ce5ddecac033fe5309cb929d8dea3a"><td class="memItemLeft" align="right" valign="top">typedef llvm::StringMap&lt; u32_t &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#ad5ce5ddecac033fe5309cb929d8dea3a">SVF::StringMap</a></td></tr>
 <tr class="separator:ad5ce5ddecac033fe5309cb929d8dea3a"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memItemLeft" align="right" valign="top">typedef unsigned&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a9ec7a8dc63411ee3724a25a59191be0c">SVF::Version</a></td></tr>
+<tr class="separator:a9ec7a8dc63411ee3724a25a59191be0c"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a046466b2ed3618072fee227b569da6eb"><td class="memItemLeft" align="right" valign="top">typedef Set&lt; Version &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a046466b2ed3618072fee227b569da6eb">SVF::VersionSet</a></td></tr>
+<tr class="separator:a046466b2ed3618072fee227b569da6eb"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a32489632f53dce062ca2e8bff42c65cf"><td class="memItemLeft" align="right" valign="top">typedef std::pair&lt; NodeID, Version &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a32489632f53dce062ca2e8bff42c65cf">SVF::VersionedVar</a></td></tr>
+<tr class="separator:a32489632f53dce062ca2e8bff42c65cf"><td class="memSeparator" colspan="2">&#160;</td></tr>
+<tr class="memitem:a544021f3075a89ff634b215a0efe3385"><td class="memItemLeft" align="right" valign="top">typedef Set&lt; VersionedVar &gt;&#160;</td><td class="memItemRight" valign="bottom"><a class="el" href="namespaceSVF.html#a544021f3075a89ff634b215a0efe3385">SVF::VersionedVarSet</a></td></tr>
+<tr class="separator:a544021f3075a89ff634b215a0efe3385"><td class="memSeparator" colspan="2">&#160;</td></tr>
 </table>
 <h2 class="groupheader">Macro Definition Documentation</h2>
 <a id="af091e361d7961cb895ff2101eceed953"></a>
@@ -257,7 +263,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00172">172</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -273,7 +279,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -305,7 +311,7 @@ Typedefs</h2></td></tr>
 <p>LLVM debug macros, define type of your DEBUG model of each pass. </p>
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00144">144</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00147">147</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -321,7 +327,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -337,7 +343,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00165">165</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00168">168</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -353,7 +359,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -369,7 +375,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00155">155</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00158">158</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -385,7 +391,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00156">156</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -403,7 +409,7 @@ Typedefs</h2></td></tr>
 <p>General debug flag is for each phase of a pass, it is often in a colorful output format. </p>
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -419,7 +425,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00161">161</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -435,7 +441,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00152">152</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00155">155</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -451,7 +457,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00153">153</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00156">156</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -467,7 +473,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -483,7 +489,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00164">164</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00167">167</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -503,7 +509,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00145">145</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00148">148</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -523,7 +529,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00146">146</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00149">149</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -539,7 +545,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00151">151</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00154">154</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -555,7 +561,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00157">157</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00160">160</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -571,7 +577,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00163">163</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00166">166</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -587,7 +593,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00159">159</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00162">162</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -605,7 +611,7 @@ Typedefs</h2></td></tr>
 <p>Size of native integer that we'll use for bit vectors, in bits. </p>
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00175">175</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00178">178</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>
@@ -621,7 +627,7 @@ Typedefs</h2></td></tr>
       </table>
 </div><div class="memdoc">
-<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00171">171</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
+<p class="definition">Definition at line <a class="el" href="SVFBasicTypes_8h_source.html#l00174">174</a> of file <a class="el" href="SVFBasicTypes_8h_source.html">SVFBasicTypes.h</a>.</p>
 </div>
 </div>