svf-tools 1.0.757 → 1.0.759

package/SVF-doxygen/html/html/fastcluster_8cpp.html

@@ -330,7 +330,7 @@ Functions</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="fastcluster_8cpp_source.html#l00156">156</a> of file <a class="el" href="fastcluster_8cpp_source.html">fastcluster.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;{</div>
 <div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160; </div>
-<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="comment">// call appropriate culstering function</span></div>
+<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="comment">// call appropriate clustering function</span></div>
 <div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    cluster_result Z2(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-1);</div>
 <div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <span class="keywordflow">if</span> (method == <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a>)</div>
 <div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    {</div>

package/SVF-doxygen/html/html/fastcluster_8cpp_source.html

@@ -70,7 +70,7 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <a href="fastcluster_8cpp.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//</span></div>
-<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">// C++ standalone verion of fastcluster by Daniel Müllner</span></div>
+<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">// C++ standalone version of fastcluster by Daniel Müllner</span></div>
 <div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//</span></div>
 <div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// Copyright: Christoph Dalitz, 2020</span></div>
 <div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">//            Daniel Müllner, 2011</span></div>
@@ -216,7 +216,7 @@ $(function() {
 <div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;<span class="comment">// Output arguments:</span></div>
 <div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;<span class="comment">//   merge   = allocated (n-1)x2 matrix (2*(n-1) array) for storing result.</span></div>
 <div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;<span class="comment">//             Result follows R hclust convention:</span></div>
-<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;<span class="comment">//              - observabe indices start with one</span></div>
+<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;<span class="comment">//              - observable indices start with one</span></div>
 <div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;<span class="comment">//              - merge[i][] contains the merged nodes in step i</span></div>
 <div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;<span class="comment">//              - merge[i][j] is negative when the node is an atom</span></div>
 <div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;<span class="comment">//   height  = allocated (n-1) array with distances at each merge step</span></div>
@@ -227,7 +227,7 @@ $(function() {
 <div class="line"><a name="l00156"></a><span class="lineno"><a class="line" href="fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9">  156</a></span>&#160;<span class="keywordtype">int</span> <a class="code" href="fastcluster_8cpp.html#acccd226cbdf0944b5c9e24c84a4599c9">hclust_fast</a>(<span class="keywordtype">int</span> <a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>, <span class="keywordtype">double</span>* distmat, <span class="keywordtype">int</span> method, <span class="keywordtype">int</span>* merge, <span class="keywordtype">double</span>* height)</div>
 <div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;{</div>
 <div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160; </div>
-<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="comment">// call appropriate culstering function</span></div>
+<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="comment">// call appropriate clustering function</span></div>
 <div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    cluster_result Z2(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-1);</div>
 <div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <span class="keywordflow">if</span> (method == <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a>)</div>
 <div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    {</div>

package/SVF-doxygen/html/html/fastcluster_8h.html

@@ -123,7 +123,7 @@ Functions</h2></td></tr>
 <div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a> = 0,</div>
 <div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="comment">// complete link with the nearest-neighbor-chain algorithm (Murtagh, 1984)</span></div>
 <div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a> = 1,</div>
-<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="comment">// omplete link with the nearest-neighbor-chain algorithm (Murtagh, 1984)</span></div>
+<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="comment">// complete link with the nearest-neighbor-chain algorithm (Murtagh, 1984)</span></div>
 <div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a> = 2,</div>
 <div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="comment">// median link with the generic algorithm (Müllner, 2011)</span></div>
 <div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a> = 3,</div>
@@ -349,7 +349,7 @@ Functions</h2></td></tr>
 <p class="definition">Definition at line <a class="el" href="fastcluster_8cpp_source.html#l00156">156</a> of file <a class="el" href="fastcluster_8cpp_source.html">fastcluster.cpp</a>.</p>
 <div class="fragment"><div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;{</div>
 <div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160; </div>
-<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="comment">// call appropriate culstering function</span></div>
+<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;    <span class="comment">// call appropriate clustering function</span></div>
 <div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;    cluster_result Z2(<a class="code" href="cJSON_8cpp.html#ab6e2ea6dc7bd57d1483413449998230a">n</a>-1);</div>
 <div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;    <span class="keywordflow">if</span> (method == <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a>)</div>
 <div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;    {</div>

package/SVF-doxygen/html/html/fastcluster_8h_source.html

@@ -70,7 +70,7 @@ $(function() {
 </div><!--header-->
 <div class="contents">
 <a href="fastcluster_8h.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;<span class="comment">//</span></div>
-<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">// C++ standalone verion of fastcluster by Daniel Muellner</span></div>
+<div class="line"><a name="l00002"></a><span class="lineno">    2</span>&#160;<span class="comment">// C++ standalone version of fastcluster by Daniel Muellner</span></div>
 <div class="line"><a name="l00003"></a><span class="lineno">    3</span>&#160;<span class="comment">//</span></div>
 <div class="line"><a name="l00004"></a><span class="lineno">    4</span>&#160;<span class="comment">// Copyright: Daniel Muellner, 2011</span></div>
 <div class="line"><a name="l00005"></a><span class="lineno">    5</span>&#160;<span class="comment">//            Christoph Dalitz, 2020</span></div>
@@ -96,7 +96,7 @@ $(function() {
 <div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160; </div>
 <div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment">//</span></div>
 <div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="comment">// Assigns cluster labels (0, ..., nclust-1) to the n points such</span></div>
-<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment">// that the hierarchical clsutering is stopped at cluster distance cdist</span></div>
+<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="comment">// that the hierarchical clustering is stopped at cluster distance cdist</span></div>
 <div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="comment">//</span></div>
 <div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="comment">// Input arguments:</span></div>
 <div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="comment">//   n      = number of observables</span></div>
@@ -124,7 +124,7 @@ $(function() {
 <div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="comment">// Output arguments:</span></div>
 <div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="comment">//   merge   = allocated (n-1)x2 matrix (2*(n-1) array) for storing result.</span></div>
 <div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="comment">//             Result follows R hclust convention:</span></div>
-<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="comment">//              - observabe indices start with one</span></div>
+<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="comment">//              - observable indices start with one</span></div>
 <div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="comment">//              - merge[i][] contains the merged nodes in step i</span></div>
 <div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="comment">//              - merge[i][j] is negative when the node is an atom</span></div>
 <div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="comment">//   height  = allocated (n-1) array with distances at each merge step</span></div>
@@ -139,7 +139,7 @@ $(function() {
 <div class="line"><a name="l00068"></a><span class="lineno"><a class="line" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">   68</a></span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddad16cc6362447cc32292c4af4c6fe8024">HCLUST_METHOD_SINGLE</a> = 0,</div>
 <div class="line"><a name="l00069"></a><span class="lineno">   69</span>&#160;    <span class="comment">// complete link with the nearest-neighbor-chain algorithm (Murtagh, 1984)</span></div>
 <div class="line"><a name="l00070"></a><span class="lineno"><a class="line" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">   70</a></span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda44ce22fdfc560f27242e9b8f8e7009f4">HCLUST_METHOD_COMPLETE</a> = 1,</div>
-<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="comment">// omplete link with the nearest-neighbor-chain algorithm (Murtagh, 1984)</span></div>
+<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;    <span class="comment">// complete link with the nearest-neighbor-chain algorithm (Murtagh, 1984)</span></div>
 <div class="line"><a name="l00072"></a><span class="lineno"><a class="line" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">   72</a></span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913dda3ab72664fc61704a1ba46bddbc347115">HCLUST_METHOD_AVERAGE</a> = 2,</div>
 <div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;    <span class="comment">// median link with the generic algorithm (Müllner, 2011)</span></div>
 <div class="line"><a name="l00074"></a><span class="lineno"><a class="line" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">   74</a></span>&#160;    <a class="code" href="fastcluster_8h.html#a4205a14ad66b3320d2e94c61d74913ddaa453b79910d9c6f7f57a179bcdf63474">HCLUST_METHOD_MEDIAN</a> = 3,</div>

package/SVF-doxygen/html/html/files.html

@@ -307,15 +307,16 @@ $(function() {
 <tr id="row_0_1_10_2_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="cJSON_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="cJSON_8cpp.html" target="_self">cJSON.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_10_3_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CoreBitVector_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CoreBitVector_8cpp.html" target="_self">CoreBitVector.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_10_4_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="CppUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="CppUtil_8cpp.html" target="_self">CppUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
-<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_5_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="extapi_8c_source.html"><span class="icondoc"></span></a><a class="el" href="extapi_8c.html" target="_self">extapi.c</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_6_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ExtAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ExtAPI_8cpp.html" target="_self">ExtAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_7_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="NodeIDAllocator_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="NodeIDAllocator_8cpp.html" target="_self">NodeIDAllocator.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_8_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Options_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Options_8cpp.html" target="_self">Options.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_9_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="PTAStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="PTAStat_8cpp.html" target="_self">PTAStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_10_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFBugReport_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFBugReport_8cpp.html" target="_self">SVFBugReport.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_11_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFStat_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFStat_8cpp.html" target="_self">SVFStat.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_12_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="SVFUtil_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="SVFUtil_8cpp.html" target="_self">SVFUtil.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_13_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="ThreadAPI_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="ThreadAPI_8cpp.html" target="_self">ThreadAPI.cpp</a></td><td class="desc"></td></tr>
+<tr id="row_0_1_10_14_" class="even" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Z3Expr_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Z3Expr_8cpp.html" target="_self">Z3Expr.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_" class="even"><td class="entry"><span style="width:32px;display:inline-block;">&#160;</span><span id="arr_0_1_11_" class="arrow" onclick="toggleFolder('0_1_11_')">&#9658;</span><span id="img_0_1_11_" class="iconfclosed" onclick="toggleFolder('0_1_11_')">&#160;</span><a class="el" href="dir_42bed6b03650e8dc21dc01d3676490df.html" target="_self">WPA</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_0_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="Andersen_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="Andersen_8cpp.html" target="_self">Andersen.cpp</a></td><td class="desc"></td></tr>
 <tr id="row_0_1_11_1_" style="display:none;"><td class="entry"><span style="width:64px;display:inline-block;">&#160;</span><a href="AndersenSCD_8cpp_source.html"><span class="icondoc"></span></a><a class="el" href="AndersenSCD_8cpp.html" target="_self">AndersenSCD.cpp</a></td><td class="desc"></td></tr>

package/SVF-doxygen/html/html/functions_a.html

@@ -139,9 +139,6 @@ $(function() {
 <li>Add
 : <a class="el" href="classSVF_1_1BinaryOPStmt.html#a2f647224242dd87099104e0fdc994de6a06926877b6c25931a409224497753862">SVF::BinaryOPStmt</a>
 </li>
-<li>add_entry()
-: <a class="el" href="classSVF_1_1ExtAPI.html#a112b27cba6b2be4f4c1f452d5ee627b4">SVF::ExtAPI</a>
-</li>
 <li>addAbsExecBug()
 : <a class="el" href="classSVF_1_1SVFBugReport.html#a05f395eff23619ed10c31c0acda949e2">SVF::SVFBugReport</a>
 </li>
@@ -306,7 +303,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a6c2280052b44ff7029cf4b98712c374b">SVF::VFG</a>
 </li>
 <li>addComplexConsForExt()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a1f62f737be41d8b275d82bcb8112d2d4">SVF::SVFIRBuilder</a>
+: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ad0e9f1dd1cba235a699c2b710a888d06">SVF::SVFIRBuilder</a>
 </li>
 <li>addCondIntraLock()
 : <a class="el" href="classSVF_1_1LockAnalysis.html#af3b4ffa2e6032ae5e080770275bad585">SVF::LockAnalysis</a>
@@ -726,7 +723,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a59bc855eb8591d88e0898e14d4f4b607">SVF::VFG</a>
 </li>
 <li>addObjNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af9b5c67ca0d91ed20d6ee2d44c1acbd1">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a20ded5829d5975dfaca33f9c64113fe6">SVF::SVFIR</a>
 </li>
 <li>addOffsetVarAndGepTypePair()
 : <a class="el" href="classSVF_1_1AccessPath.html#a2358a8194b5e2c4bcbb5218dee7fcbcd">SVF::AccessPath</a>
@@ -812,12 +809,11 @@ $(function() {
 </li>
 <li>Addr
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">SVF::ConstraintEdge</a>
-, <a class="el" href="classSVF_1_1ExtAPI.html#ac88fa9d671d9b701c072a454e6c30c0fa51e90abc2fa18c0552d84d2997b8662a">SVF::ExtAPI</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -838,7 +834,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
 </li>
 <li>AddressValue()
-: <a class="el" href="classSVF_1_1AddressValue.html#a2a1d67c5e7224503932782b0ce47e6a5">SVF::AddressValue</a>
+: <a class="el" href="classSVF_1_1AddressValue.html#ac7f6b332aedcf8a7d6cb0c9b661ce2bc">SVF::AddressValue</a>
 </li>
 <li>addRetBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -872,7 +868,7 @@ $(function() {
 : <a class="el" href="classllvm_1_1generic__bridge__gep__type__iterator.html#a58127812b9ab914238095883ab1fe24e">llvm::generic_bridge_gep_type_iterator&lt; ItTy &gt;</a>
 </li>
 <li>AddrStmt()
-: <a class="el" href="classSVF_1_1AddrStmt.html#a0fa28f3a081cd6d32801ab245b6e95ae">SVF::AddrStmt</a>
+: <a class="el" href="classSVF_1_1AddrStmt.html#a2576465276cd68b6d2029e1838c3b487">SVF::AddrStmt</a>
 </li>
 <li>addrTaken
 : <a class="el" href="classSVF_1_1SVFFunction.html#a3b93a04e82233f64b1c463f6cece8ea1">SVF::SVFFunction</a>
@@ -924,7 +920,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a633666953f8d6675961981c4eab1adb0">SVF::ConstraintGraph</a>
 </li>
 <li>AddStoreCHI()
-: <a class="el" href="classSVF_1_1MemSSA.html#a0b60dea5024b7303e7d9f223dd45fc7c">SVF::MemSSA</a>
+: <a class="el" href="classSVF_1_1MemSSA.html#a3a2dde7ee3aaf6f66038a6b5ae7255a0">SVF::MemSSA</a>
 </li>
 <li>addStoreEdge()
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a30f043eeca79259d84b97e265110f018">SVF::SVFIRBuilder</a>
@@ -953,15 +949,6 @@ $(function() {
 <li>addSUStat()
 : <a class="el" href="classSVF_1_1DDAVFSolver.html#aeb6b56cf3d140d251b0524eb5cbd6dce">SVF::DDAVFSolver&lt; CVar, CPtSet, DPIm &gt;</a>
 </li>
-<li>addSVFExtCallInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ac241e1fb02c2705120d726ca19505385">SVF::SVFIRBuilder</a>
-</li>
-<li>addSVFExtInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#a6f6a19eebec1a76b84bd6a2c5604026e">SVF::SVFIRBuilder</a>
-</li>
-<li>addSVFExtRetInst()
-: <a class="el" href="classSVF_1_1SVFIRBuilder.html#ab0066684423d972c3d4e768fdb172c19">SVF::SVFIRBuilder</a>
-</li>
 <li>addSVFGEdge()
 : <a class="el" href="classSVF_1_1SVFG.html#a67750c461e3543f6b75d2dd510d67297">SVF::SVFG</a>
 </li>
@@ -1082,7 +1069,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a65c88a6c20380b715ac8b6c31e68afed">SVF::VFG</a>
 </li>
 <li>addValNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#af298651d6ef2030ca13ae6a9db622eb4">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
 : <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
@@ -1120,18 +1107,18 @@ $(function() {
 </li>
 <li>alias()
 : <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
-, <a class="el" href="classSVF_1_1CFLAlias.html#ab40891c44b83103fc240c1e7c7c60855">SVF::CFLAlias</a>
-, <a class="el" href="classSVF_1_1CondPTAImpl.html#a8e48e9fe6f7e21da49a155f8f6893944">SVF::CondPTAImpl&lt; Cond &gt;</a>
-, <a class="el" href="classSVF_1_1DDAPass.html#a2635769ff8a1e0013b9b8546b18fcfeb">SVF::DDAPass</a>
+, <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
+, <a class="el" href="classSVF_1_1CondPTAImpl.html#a167a232a697976602c2ad0eb6d35c2d6">SVF::CondPTAImpl&lt; Cond &gt;</a>
+, <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
 , <a class="el" href="classSVF_1_1LockAnalysis.html#a4424f27444c12dce8071c56a95c664bf">SVF::LockAnalysis</a>
-, <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1323233941cdc9b99332e4b954a2217">SVF::PointerAnalysis</a>
+, <a class="el" href="classSVF_1_1PointerAnalysis.html#a0f712ead1f31750879948c36b2fc77cf">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1WPAPass.html#a92e19b9ddf342d688ff0f1aa6cecc729">SVF::WPAPass</a>
 </li>
 <li>alias_begin()
-: <a class="el" href="classSVF_1_1SVFModule.html#a0e28f6eaf32efc6f2c0987e64f1df852">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a7f2b4647c8d69c8328b63e576cb6d065">SVF::SVFModule</a>
 </li>
 <li>alias_end()
-: <a class="el" href="classSVF_1_1SVFModule.html#a1bb5c818ec63d81a238f3d242a89079f">SVF::SVFModule</a>
+: <a class="el" href="classSVF_1_1SVFModule.html#a3cfd0983849950099d1e8f8e0fda42bc">SVF::SVFModule</a>
 </li>
 <li>alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#abee99d29b7d4c4915a386895c755009c">SVF::SVFModule</a>
@@ -1245,7 +1232,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>
@@ -1345,6 +1332,9 @@ $(function() {
 <li>annotateSlice()
 : <a class="el" href="classSVF_1_1SrcSnkDDA.html#a8817604b20724703121e9466e5cdb4cd">SVF::SrcSnkDDA</a>
 </li>
+<li>annotations
+: <a class="el" href="classSVF_1_1SVFFunction.html#a47169163b5591547e5258dd697c9163a">SVF::SVFFunction</a>
+</li>
 <li>AnnotationTime
 : <a class="el" href="classSVF_1_1MTAStat.html#a51e1ba35f81d89e210a937942f516839">SVF::MTAStat</a>
 </li>

package/SVF-doxygen/html/html/functions_b.html

@@ -184,9 +184,6 @@ $(function() {
 <li>BasicBlockSet
 : <a class="el" href="classSVF_1_1SaberCondAllocator.html#a45642ecc305ea97b58e0eeebd00fec7b">SVF::SaberCondAllocator</a>
 </li>
-<li>basicOp
-: <a class="el" href="classSVF_1_1ExtAPI_1_1ExtOperation.html#a7c92bc333a393b96d6e4fe9b99a87e30">SVF::ExtAPI::ExtOperation</a>
-</li>
 <li>bb
 : <a class="el" href="classSVF_1_1ICFGNode.html#a0cd08725df3e8665762ee37b5d4c138a">SVF::ICFGNode</a>
 , <a class="el" href="classSVF_1_1LoadMU.html#aadfeb1a4924cbe78a828fd4a94fb59da">SVF::LoadMU&lt; Cond &gt;</a>
@@ -330,7 +327,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue</a>
 </li>
 <li>BoundedZ3Expr()
-: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a572da9c3edd1e61ece1aba72104f71dd">SVF::BoundedZ3Expr</a>
+: <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34">SVF::BoundedZ3Expr</a>
 </li>
 <li>Branch
 : <a class="el" href="classSVF_1_1SVFBugEvent.html#a4d0c0744525bc445a64176c3808377f3a070acf2c72c74cba55b5acea3db9c854">SVF::SVFBugEvent</a>
@@ -344,7 +341,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFStat.html#a17c8ea68bf1341ab80f71fff76a9ffce">SVF::SVFStat</a>
 </li>
 <li>BranchStmt()
-: <a class="el" href="classSVF_1_1BranchStmt.html#a714d118096f0a3d439cfbff10aa455a2">SVF::BranchStmt</a>
+: <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
@@ -370,12 +367,12 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>BugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
-</li>
 <li>bugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
 </li>
+<li>BugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
+</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>
@@ -388,7 +385,7 @@ $(function() {
 <li>build()
 : <a class="el" href="classSVF_1_1CFBasicBlockGBuilder.html#a99e4116e416962d1a2f3eb9b09d253b5">SVF::CFBasicBlockGBuilder</a>
 , <a class="el" href="classSVF_1_1CFBasicBlockGWTO.html#a6cc2cb7b203e16b9cc8f5e121f39bd9f">SVF::CFBasicBlockGWTO</a>
-, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a2e97c964eb1e187a931f17da9672815f">SVF::CFLGraphBuilder</a>
+, <a class="el" href="classSVF_1_1CFLGraphBuilder.html#a27b247b46ce0b467459fcc2d53f50383">SVF::CFLGraphBuilder</a>
 , <a class="el" href="classSVF_1_1GrammarBuilder.html#a23d03b2cd348d85bda1ee582dded6505">SVF::GrammarBuilder</a>
 , <a class="el" href="classSVF_1_1ICFGBuilder.html#ae66565ee32fff4ef5f0157e867333250">SVF::ICFGBuilder</a>
 , <a class="el" href="classSVF_1_1LLVMLoopAnalysis.html#a17e4805c2db146430c58af35625a388d">SVF::LLVMLoopAnalysis</a>
@@ -530,12 +527,12 @@ $(function() {
 <li>buildVTables()
 : <a class="el" href="classSVF_1_1DCHGraph.html#a1215db390515a30fbc416fb14d2e863f">SVF::DCHGraph</a>
 </li>
-<li>BV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
-</li>
 <li>bv
 : <a class="el" href="classSVF_1_1PointsTo.html#a668be9270539fdfc5dbf3efb9cc17587">SVF::PointsTo</a>
 </li>
+<li>BV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eafd6e0658d0eb4cdba368fa8e77d4d892">SVF::PointsTo</a>
+</li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
 , <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>