npm - svf-tools - Versions diffs - 1.0.768 → 1.0.770 - Mend

svf-tools 1.0.768 → 1.0.770

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

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

@@ -1,9 +1,9 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://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="generator" content="Doxygen 1.8.17"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
 <title>Static Value-Flow Analysis: File Members</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
@@ -29,18 +29,21 @@
 </table>
 </div>
 <!-- end header part -->
-<!-- Generated by Doxygen 1.8.13 -->
+<!-- Generated by Doxygen 1.8.17 -->
 <script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
 </script>
 <script type="text/javascript" src="menudata.js"></script>
 <script type="text/javascript" src="menu.js"></script>
 <script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 $(function() {
   initMenu('',true,false,'search.php','Search');
   $(document).ready(function() { init_search(); });
 });
-</script>
+/* @license-end */</script>
 <div id="main-nav"></div>
 </div><!-- top -->
 <!-- window showing the filter options -->
@@ -61,278 +64,14 @@ $(function() {
 &#160;
 <h3><a id="index_d"></a>- d -</h3><ul>
-<li>DAA()
-: <a class="el" href="dda_8cpp.html#a55c1167d4e6efe7828f050d978291725">dda.cpp</a>
-</li>
-<li>ddBddMaximallyExpand()
-: <a class="el" href="cuddInt_8c.html#a4234aacbccc17b321b44725b3d83e70e">cuddInt.c</a>
-</li>
-<li>ddBddShortestPathUnate()
-: <a class="el" href="cuddInt_8c.html#a9c44cbf963f2d7b8989c1fbe85c37d0b">cuddInt.c</a>
-</li>
-<li>ddCheckPermuation()
-: <a class="el" href="cuddInt_8c.html#a321299f5564d7288be5c578ef51ab359">cuddInt.c</a>
-</li>
-<li>ddClearFlag()
-: <a class="el" href="cuddInt_8c.html#ab69f928c3cca42f5b1330803de1d9199">cuddInt.c</a>
-</li>
-<li>ddClearGlobal()
-: <a class="el" href="cuddInt_8c.html#a98f18f030b7f886714a67adbd67e9998">cuddInt.c</a>
-</li>
-<li>ddClearGlobal2()
-: <a class="el" href="cuddInt_8c.html#a2899823347c9e5977b14c0124302dc15">cuddInt.c</a>
-</li>
-<li>ddClearLocal()
-: <a class="el" href="cuddInt_8c.html#aa165018c0f067220038524e3c784d81a">cuddInt.c</a>
-</li>
-<li>ddCountMintermAux()
-: <a class="el" href="cuddInt_8c.html#aa62490abed02f3cc4cddf2e3a52d01e7">cuddInt.c</a>
-</li>
-<li>ddCountPathAux()
-: <a class="el" href="cuddInt_8c.html#aeba3952a88467bdbd83cb4e06f1fe7a2">cuddInt.c</a>
-</li>
-<li>ddCountPathsToNonZero()
-: <a class="el" href="cuddInt_8c.html#a24b544a171dabbf7a64f6efb38dcde65">cuddInt.c</a>
-</li>
-<li>ddCountRoots()
-: <a class="el" href="cuddInt_8c.html#a6d16cfd4281eefc5ba910eee48ba7738">cuddInt.c</a>
-</li>
-<li>ddCreateGroup()
-: <a class="el" href="cuddInt_8c.html#a3501578a1085a2656e68d3db42dfa119">cuddInt.c</a>
-</li>
-<li>ddDagInt()
-: <a class="el" href="cuddInt_8c.html#a2bfa54017e8ca22ee3ad1da33c079d3a">cuddInt.c</a>
-</li>
-<li>ddDissolveGroup()
-: <a class="el" href="cuddInt_8c.html#a13b8f36b44f69dbaca39446b87cc4fe5">cuddInt.c</a>
-</li>
-<li>ddEpdCountMintermAux()
-: <a class="el" href="cuddInt_8c.html#a4a4cc35538276539005784099d4871a7">cuddInt.c</a>
-</li>
-<li>ddExchange()
-: <a class="el" href="cuddInt_8c.html#a9f396915e6af5e5923911f5d3a643c31">cuddInt.c</a>
-</li>
-<li>ddExtSymmCheck()
-: <a class="el" href="cuddInt_8c.html#a4ec0ff39b6ad6597c662702cea79bb73">cuddInt.c</a>
-</li>
-<li>ddFindNodeHiLo()
-: <a class="el" href="cuddInt_8c.html#a8e85f68140b3c7cdd7189ea969c4ca0c">cuddInt.c</a>
-</li>
-<li>ddFindSupport()
-: <a class="el" href="cuddInt_8c.html#af54b57929f015ebda5cd678a39916639">cuddInt.c</a>
-</li>
-<li>ddFixLimits()
-: <a class="el" href="cuddInt_8c.html#a289296f33cef84ced5299b7600a9c352">cuddInt.c</a>
-</li>
-<li>ddGroupMove()
-: <a class="el" href="cuddInt_8c.html#abfd4337630e70c5e2f636680726dd184">cuddInt.c</a>
-</li>
-<li>ddGroupMoveBackward()
-: <a class="el" href="cuddInt_8c.html#a96558106dcf5c25e82314eb7bb8305cc">cuddInt.c</a>
-</li>
-<li>ddGroupSifting()
-: <a class="el" href="cuddInt_8c.html#adb108ab10f1177717295d4a19218dfc4">cuddInt.c</a>
-</li>
-<li>ddGroupSiftingAux()
-: <a class="el" href="cuddInt_8c.html#acbcd118372e901ea20ae1798071b8ad1">cuddInt.c</a>
-</li>
-<li>ddGroupSiftingBackward()
-: <a class="el" href="cuddInt_8c.html#a2e42174536ce7090b7681984e1b3a342">cuddInt.c</a>
-</li>
-<li>ddGroupSiftingDown()
-: <a class="el" href="cuddInt_8c.html#a91dd43f6364d8d6eb5e7079c975ab7c6">cuddInt.c</a>
-</li>
-<li>ddGroupSiftingUp()
-: <a class="el" href="cuddInt_8c.html#ae58a88db7a410a009b668158af59f021">cuddInt.c</a>
-</li>
-<li>ddIsVarHandled()
-: <a class="el" href="cuddInt_8c.html#a7a791b519e8ca0189af98b8319bd32db">cuddInt.c</a>
-</li>
-<li>ddJumpingAux()
-: <a class="el" href="cuddInt_8c.html#a1fb998e6427d83c1a6f0150e2a17467a">cuddInt.c</a>
-</li>
-<li>ddJumpingDown()
-: <a class="el" href="cuddInt_8c.html#a8953d4e48c73c745ff38dd75d2a733f9">cuddInt.c</a>
-</li>
-<li>ddJumpingUp()
-: <a class="el" href="cuddInt_8c.html#acbd149330b834b9a328aafff87bda664">cuddInt.c</a>
-</li>
-<li>ddLCHash()
-: <a class="el" href="cuddInt_8c.html#ae0366a237153d44d7b77649fa4dde016">cuddInt.c</a>
-</li>
-<li>ddLeavesInt()
-: <a class="el" href="cuddInt_8c.html#a947e1124a73ac4cc1867ad1263b5305a">cuddInt.c</a>
-</li>
-<li>ddLinearAndSiftingAux()
-: <a class="el" href="cuddInt_8c.html#a1f514c1463246aeb60158800e5a681ed">cuddInt.c</a>
-</li>
-<li>ddLinearAndSiftingBackward()
-: <a class="el" href="cuddInt_8c.html#a0b2cb59bcdfde630663bf6607162c887">cuddInt.c</a>
-</li>
-<li>ddLinearAndSiftingDown()
-: <a class="el" href="cuddInt_8c.html#ae71b67bc6507c3c732ea5ebdf049086d">cuddInt.c</a>
-</li>
-<li>ddLinearAndSiftingUp()
-: <a class="el" href="cuddInt_8c.html#a11b034486a825bf287d05a2439f9e0b3">cuddInt.c</a>
-</li>
-<li>ddLinearUniqueCompare()
-: <a class="el" href="cuddInt_8c.html#ac787b2aceb06c004845999fe86fe3285">cuddInt.c</a>
-</li>
-<li>ddMergeGroups()
-: <a class="el" href="cuddInt_8c.html#aedbfd481da9492df758ff6cefd204fb3">cuddInt.c</a>
-</li>
-<li>ddNoCheck()
-: <a class="el" href="cuddInt_8c.html#ad159e0f3043c4d679d119536ab7c3255">cuddInt.c</a>
-</li>
-<li>ddPatchTree()
-: <a class="el" href="cuddInt_8c.html#a532d514c8095a7c969adbdcc26c4ad7b">cuddInt.c</a>
-</li>
-<li>ddPermuteWindow3()
-: <a class="el" href="cuddInt_8c.html#a13c35f8cefd95d7046e333d1dccbd95d">cuddInt.c</a>
-</li>
-<li>ddPermuteWindow4()
-: <a class="el" href="cuddInt_8c.html#a5f1a490639ca67773217be170f0f5b1b">cuddInt.c</a>
-</li>
-<li>ddPickArbitraryMinterms()
-: <a class="el" href="cuddInt_8c.html#aa809bfd1adf107190cf7513566db0395">cuddInt.c</a>
-</li>
-<li>ddPrintMintermAux()
-: <a class="el" href="cuddInt_8c.html#a3af7ecd96899781204300c0164b30799">cuddInt.c</a>
-</li>
-<li>ddRehashZdd()
-: <a class="el" href="cuddInt_8c.html#aecec043d5045c4941bca86b7f64f80cb">cuddInt.c</a>
-</li>
-<li>ddReorderChildren()
-: <a class="el" href="cuddInt_8c.html#ab052d2ad9a1daa3cfb9762c8ec5e7100">cuddInt.c</a>
-</li>
-<li>ddReorderPostprocess()
-: <a class="el" href="cuddInt_8c.html#acb38f795d39e6eeb71d62d9ce62278f6">cuddInt.c</a>
-</li>
-<li>ddReorderPreprocess()
-: <a class="el" href="cuddInt_8c.html#af10d05b2d480c2083dc53009b68a5781">cuddInt.c</a>
-</li>
-<li>ddReportRefMess()
-: <a class="el" href="cuddInt_8c.html#a01a7093e6854125815dfdfbfe1d72279">cuddInt.c</a>
-</li>
-<li>ddResetVarHandled()
-: <a class="el" href="cuddInt_8c.html#a835bdf4aabbe81d71a58b0ce600428e5">cuddInt.c</a>
-</li>
-<li>ddResizeTable()
-: <a class="el" href="cuddInt_8c.html#a3969db12e8b7546e567235cd75c549e6">cuddInt.c</a>
-</li>
-<li>ddSecDiffCheck()
-: <a class="el" href="cuddInt_8c.html#a442e870ebaee962eab4c747f1d2dbcf8">cuddInt.c</a>
-</li>
-<li>ddSetVarHandled()
-: <a class="el" href="cuddInt_8c.html#a509604c64c4ff160729a47c11b4d5ae2">cuddInt.c</a>
-</li>
-<li>ddShuffle()
-: <a class="el" href="cuddInt_8c.html#aa844070376bbc546ebb3c0e525ba07de">cuddInt.c</a>
-</li>
-<li>ddShuffle2()
-: <a class="el" href="cuddInt_8c.html#a6d789455b4cc574f920647bbe5b84b67">cuddInt.c</a>
-</li>
-<li>ddSiftingAux()
-: <a class="el" href="cuddInt_8c.html#a406e1e522d0773ed25ea29910166b282">cuddInt.c</a>
-</li>
-<li>ddSiftingBackward()
-: <a class="el" href="cuddInt_8c.html#a7ccd621129c1c758d8496b0cbb9ce4d6">cuddInt.c</a>
-</li>
-<li>ddSiftingDown()
-: <a class="el" href="cuddInt_8c.html#a81764d52b57d94e7f6a54619a6595432">cuddInt.c</a>
-</li>
-<li>ddSiftingUp()
-: <a class="el" href="cuddInt_8c.html#a9e56c68456284e17f15ee6d3b8d714bf">cuddInt.c</a>
-</li>
-<li>ddSiftUp()
-: <a class="el" href="cuddInt_8c.html#a455b1aacb79f33883b83423cc76cbb81">cuddInt.c</a>
-</li>
-<li>ddSiftUp2()
-: <a class="el" href="cuddInt_8c.html#a636684bd15436ff7eb09c2037e622a31">cuddInt.c</a>
-</li>
-<li>ddSuppInteract()
-: <a class="el" href="cuddInt_8c.html#ad6c5bd1818062a4dcd623179238a65c6">cuddInt.c</a>
-</li>
-<li>ddSupportStep()
-: <a class="el" href="cuddInt_8c.html#a83031f46206023ac78fea5a34d7547cf">cuddInt.c</a>
-</li>
-<li>ddSwapAny()
-: <a class="el" href="cuddInt_8c.html#aa58f50e1a6ae91e085cadab816b937be">cuddInt.c</a>
-</li>
-<li>ddSymmGroupMove()
-: <a class="el" href="cuddInt_8c.html#ae06b0c1b19f1f09c404653af5de77813">cuddInt.c</a>
-</li>
-<li>ddSymmGroupMoveBackward()
-: <a class="el" href="cuddInt_8c.html#a3d55ace1226f0f37354f68d1cd3d18aa">cuddInt.c</a>
-</li>
-<li>ddSymmSiftingAux()
-: <a class="el" href="cuddInt_8c.html#a326020bc7248d59f7071ea7385ab8675">cuddInt.c</a>
-</li>
-<li>ddSymmSiftingBackward()
-: <a class="el" href="cuddInt_8c.html#aaf81d04b305a23ba1b7f5d1346e29fd7">cuddInt.c</a>
-</li>
-<li>ddSymmSiftingConvAux()
-: <a class="el" href="cuddInt_8c.html#a97aad05c931ad4d824c1f0e0465e19a0">cuddInt.c</a>
-</li>
-<li>ddSymmSiftingDown()
-: <a class="el" href="cuddInt_8c.html#a5b0bfb37f687969f9da2f923e2f1d731">cuddInt.c</a>
-</li>
-<li>ddSymmSiftingUp()
-: <a class="el" href="cuddInt_8c.html#a18e417f34d28df5b0beabf3491aa14ed">cuddInt.c</a>
-</li>
-<li>ddSymmSummary()
-: <a class="el" href="cuddInt_8c.html#a8b47dce35b7ef8ce6b59bce79999ad02">cuddInt.c</a>
-</li>
-<li>ddSymmUniqueCompare()
-: <a class="el" href="cuddInt_8c.html#af21d70ca7208a3cedbbe5ddce484a47f">cuddInt.c</a>
-</li>
-<li>ddTreeSiftingAux()
-: <a class="el" href="cuddInt_8c.html#ad70fdea4c54ecb6249c0a7aee8f4acc4">cuddInt.c</a>
-</li>
-<li>ddUndoMoves()
-: <a class="el" href="cuddInt_8c.html#a03fc55e8eb128b4dc58299ba9cafa533">cuddInt.c</a>
-</li>
-<li>ddUniqueCompare()
-: <a class="el" href="cuddInt_8c.html#a633360a635abf6047ee256b66656872a">cuddInt.c</a>
-</li>
-<li>ddUniqueCompareGroup()
-: <a class="el" href="cuddInt_8c.html#adf1948b8b4e884782a36932816cd4e14">cuddInt.c</a>
-</li>
-<li>ddUpdateInteract()
-: <a class="el" href="cuddInt_8c.html#ac2635eab8a2b8a42453192f4d511f181">cuddInt.c</a>
-</li>
-<li>ddUpdateMtrTree()
-: <a class="el" href="cuddInt_8c.html#aa021e1c520c159105726ec01d8d86c81">cuddInt.c</a>
-</li>
-<li>ddVarGroupCheck()
-: <a class="el" href="cuddInt_8c.html#aa734c05fc0e0c653eab7b4ed66a74bed">cuddInt.c</a>
-</li>
-<li>ddWindow2()
-: <a class="el" href="cuddInt_8c.html#a5497bb9f10fe62513e18e4e6a871e13e">cuddInt.c</a>
-</li>
-<li>ddWindow3()
-: <a class="el" href="cuddInt_8c.html#a5991965d07c601218aea430780132408">cuddInt.c</a>
-</li>
-<li>ddWindow4()
-: <a class="el" href="cuddInt_8c.html#aab8d4893b1fb48dd484ec9462bfd72e1">cuddInt.c</a>
-</li>
-<li>ddWindowConv2()
-: <a class="el" href="cuddInt_8c.html#aa8e8445ea0dc63153d4209baa9e51a01">cuddInt.c</a>
-</li>
-<li>ddWindowConv3()
-: <a class="el" href="cuddInt_8c.html#a26b3f6d471ae3e448020009d915704db">cuddInt.c</a>
-</li>
-<li>ddWindowConv4()
-: <a class="el" href="cuddInt_8c.html#af4e28dd1ddf852d54e131ec20f1d8f45">cuddInt.c</a>
-</li>
-<li>debugFindParent()
-: <a class="el" href="cuddInt_8c.html#adb43ad2845dab8bca9cddc7c4d5dc9d5">cuddInt.c</a>
+<li>dcgettext()
+: <a class="el" href="extapi_8c.html#ae47e2e0ff32239d263bc2d182b3cabca">extapi.c</a>
 </li>
-<li>DFREECHECKER()
-: <a class="el" href="saber_8cpp.html#ae783b2330e99490ef5d366605d1098cf">saber.cpp</a>
+<li>dgettext()
+: <a class="el" href="extapi_8c.html#ae9c3a42a44267df221d0c4fe5b2ea439">extapi.c</a>
 </li>
-<li>dp2()
-: <a class="el" href="cuddInt_8c.html#a080be670e3403d8e4ab391fcb3a6adae">cuddInt.c</a>
+<li>dngettext()
+: <a class="el" href="extapi_8c.html#a54ac933fa6a0e84898be26c04faacb92">extapi.c</a>
 </li>
 </ul>
 </div><!-- contents -->
@@ -340,7 +79,7 @@ $(function() {
 <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
+</a> 1.8.17
 </small></address>
 </body>
 </html>

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

@@ -1,9 +1,9 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://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="generator" content="Doxygen 1.8.17"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
 <title>Static Value-Flow Analysis: File Members</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
@@ -29,18 +29,21 @@
 </table>
 </div>
 <!-- end header part -->
-<!-- Generated by Doxygen 1.8.13 -->
+<!-- Generated by Doxygen 1.8.17 -->
 <script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
 </script>
 <script type="text/javascript" src="menudata.js"></script>
 <script type="text/javascript" src="menu.js"></script>
 <script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 $(function() {
   initMenu('',true,false,'search.php','Search');
   $(document).ready(function() { init_search(); });
 });
-</script>
+/* @license-end */</script>
 <div id="main-nav"></div>
 </div><!-- top -->
 <!-- window showing the filter options -->
@@ -61,108 +64,16 @@ $(function() {
 &#160;
 <h3><a id="index_e"></a>- e -</h3><ul>
-<li>ENABLECONTEXT()
-: <a class="el" href="dda_8cpp.html#a1fe1900e000a62ca91dc0651bfa3a24f">dda.cpp</a>
-</li>
-<li>ENABLEFIELD()
-: <a class="el" href="dda_8cpp.html#adad2a8a1b2f5bf9f333382725f174cb0">dda.cpp</a>
-</li>
-<li>ENABLEFLOW()
-: <a class="el" href="dda_8cpp.html#af95c31f8cf35812a4fe4a22342aacaa2">dda.cpp</a>
-</li>
 <li>ensure()
 : <a class="el" href="cJSON_8cpp.html#a3faa1600bc8001eaed05f16060668ce6">cJSON.cpp</a>
 </li>
-<li>EpdAdd3()
-: <a class="el" href="epd_8h.html#afa1ea5db2ee414c65f06709aaad4c676">epd.h</a>
-, <a class="el" href="epd_8c.html#afa1ea5db2ee414c65f06709aaad4c676">epd.c</a>
-</li>
-<li>EpdAlloc()
-: <a class="el" href="epd_8c.html#a660d7b3c89a57b16874fbf0c1fc59254">epd.c</a>
-, <a class="el" href="epd_8h.html#a660d7b3c89a57b16874fbf0c1fc59254">epd.h</a>
-</li>
-<li>EpdConvert()
-: <a class="el" href="epd_8h.html#ad2740ef110f1edc78e12a068c89505cf">epd.h</a>
-, <a class="el" href="epd_8c.html#ad2740ef110f1edc78e12a068c89505cf">epd.c</a>
-</li>
-<li>EpdCopy()
-: <a class="el" href="epd_8h.html#ac3ef00334ae73b507ea891da35f2f946">epd.h</a>
-, <a class="el" href="epd_8c.html#ac3ef00334ae73b507ea891da35f2f946">epd.c</a>
-</li>
-<li>EpdFree()
-: <a class="el" href="epd_8h.html#abcdbf814341ce56484daf43d4e037376">epd.h</a>
-, <a class="el" href="epd_8c.html#abcdbf814341ce56484daf43d4e037376">epd.c</a>
-</li>
-<li>EpdGetExponent()
-: <a class="el" href="epd_8c.html#afd4116b28acd1c3104d2a42695aabbdd">epd.c</a>
-, <a class="el" href="epd_8h.html#afd4116b28acd1c3104d2a42695aabbdd">epd.h</a>
-</li>
-<li>EpdGetExponentDecimal()
-: <a class="el" href="epd_8h.html#a0a74be42e849347477d9d77a7e3161ca">epd.h</a>
-, <a class="el" href="epd_8c.html#a0a74be42e849347477d9d77a7e3161ca">epd.c</a>
-</li>
-<li>EpdIsInf()
-: <a class="el" href="epd_8h.html#a6b0e5f24e209e0312af28f27471faef2">epd.h</a>
-, <a class="el" href="epd_8c.html#a6b0e5f24e209e0312af28f27471faef2">epd.c</a>
-</li>
-<li>EpdIsNan()
-: <a class="el" href="epd_8h.html#a3536c078e406935aad14411b65d8e67b">epd.h</a>
-, <a class="el" href="epd_8c.html#a3536c078e406935aad14411b65d8e67b">epd.c</a>
-</li>
-<li>EpdMakeInf()
-: <a class="el" href="epd_8h.html#ad7f335f4d08864f0998ddc0bf9144201">epd.h</a>
-, <a class="el" href="epd_8c.html#ad7f335f4d08864f0998ddc0bf9144201">epd.c</a>
-</li>
-<li>EpdMakeNan()
-: <a class="el" href="epd_8h.html#ab4a88d4bcd2b94aed8fb71d15b9cc5f8">epd.h</a>
-, <a class="el" href="epd_8c.html#ab4a88d4bcd2b94aed8fb71d15b9cc5f8">epd.c</a>
-</li>
-<li>EpdMakeZero()
-: <a class="el" href="epd_8h.html#ab56af3479962e2623017beaae0bc9e9d">epd.h</a>
-, <a class="el" href="epd_8c.html#ab56af3479962e2623017beaae0bc9e9d">epd.c</a>
-</li>
-<li>EpdMultiply()
-: <a class="el" href="epd_8h.html#ae65723654e1ae7f24ddb41a494c07346">epd.h</a>
-, <a class="el" href="epd_8c.html#ae65723654e1ae7f24ddb41a494c07346">epd.c</a>
-</li>
-<li>EpdMultiply3()
-: <a class="el" href="epd_8c.html#a5cf176ea9bc3122b55f307d903e08bc6">epd.c</a>
-, <a class="el" href="epd_8h.html#a5cf176ea9bc3122b55f307d903e08bc6">epd.h</a>
-</li>
-<li>EpdMultiply3Decimal()
-: <a class="el" href="epd_8h.html#aa989d84c8140369fe1a2518fd44baad4">epd.h</a>
-, <a class="el" href="epd_8c.html#aa989d84c8140369fe1a2518fd44baad4">epd.c</a>
-</li>
-<li>EpdNormalize()
-: <a class="el" href="epd_8c.html#ad588094bd12baaedfab1fbad84d7420c">epd.c</a>
-, <a class="el" href="epd_8h.html#ad588094bd12baaedfab1fbad84d7420c">epd.h</a>
-</li>
-<li>EpdNormalizeDecimal()
-: <a class="el" href="epd_8c.html#a45a9a9a3701d4af7b895140082afd3fa">epd.c</a>
-, <a class="el" href="epd_8h.html#a45a9a9a3701d4af7b895140082afd3fa">epd.h</a>
-</li>
-<li>EpdPow2()
-: <a class="el" href="epd_8c.html#ab698b565b8fe370d23a71a92f1cbd460">epd.c</a>
-, <a class="el" href="epd_8h.html#ab698b565b8fe370d23a71a92f1cbd460">epd.h</a>
-</li>
-<li>EpdPow2Decimal()
-: <a class="el" href="epd_8c.html#aa69188dd624691e44c14889eba0cd9ca">epd.c</a>
-, <a class="el" href="epd_8h.html#aa69188dd624691e44c14889eba0cd9ca">epd.h</a>
-</li>
-<li>EpdSubtract3()
-: <a class="el" href="epd_8h.html#a766747cec957171a7386fec2faf697cd">epd.h</a>
-, <a class="el" href="epd_8c.html#a766747cec957171a7386fec2faf697cd">epd.c</a>
-</li>
-<li>exit()
-: <a class="el" href="util_8h.html#a43b6ea6be735bb828bc062c70cadeff8">util.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
+</a> 1.8.17
 </small></address>
 </body>
 </html>

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

@@ -1,9 +1,9 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://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="generator" content="Doxygen 1.8.17"/>
 <meta name="viewport" content="width=device-width, initial-scale=1"/>
 <title>Static Value-Flow Analysis: File Members</title>
 <link href="tabs.css" rel="stylesheet" type="text/css"/>
@@ -29,18 +29,21 @@
 </table>
 </div>
 <!-- end header part -->
-<!-- Generated by Doxygen 1.8.13 -->
+<!-- Generated by Doxygen 1.8.17 -->
 <script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 var searchBox = new SearchBox("searchBox", "search",false,'Search');
+/* @license-end */
 </script>
 <script type="text/javascript" src="menudata.js"></script>
 <script type="text/javascript" src="menu.js"></script>
 <script type="text/javascript">
+/* @license magnet:?xt=urn:btih:cf05388f2679ee054f2beb29a391d25f4e673ac3&amp;dn=gpl-2.0.txt GPL-v2 */
 $(function() {
   initMenu('',true,false,'search.php','Search');
   $(document).ready(function() { init_search(); });
 });
-</script>
+/* @license-end */</script>
 <div id="main-nav"></div>
 </div><!-- top -->
 <!-- window showing the filter options -->
@@ -61,29 +64,23 @@ $(function() {
 &#160;
 <h3><a id="index_f"></a>- f -</h3><ul>
+<li>Fbar()
+: <a class="el" href="PEGGrammar_8txt.html#a381299bc74db18cd7c54b9e856fca447">PEGGrammar.txt</a>
+</li>
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>
-<li>FILECHECKER()
-: <a class="el" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">saber.cpp</a>
-</li>
-<li>find_best()
-: <a class="el" href="cuddInt_8c.html#a1efeea833dfd194338306de03a31e8ed">cuddInt.c</a>
-</li>
-<li>fixVarTree()
-: <a class="el" href="cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1">cuddInt.c</a>
+<li>fgets()
+: <a class="el" href="extapi_8c.html#a55c10fd7c7152a709388daa21827771c">extapi.c</a>
 </li>
 <li>for()
 : <a class="el" href="cJSON_8cpp.html#a8a10bf77b3753124dd7ae92c5c4184cc">cJSON.cpp</a>
 </li>
-<li>free()
-: <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
-</li>
-<li>freeMatrix()
-: <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
+<li>freopen()
+: <a class="el" href="extapi_8c.html#acda43fbb34d834cbd461d206b6df17fe">extapi.c</a>
 </li>
-<li>freePathPair()
-: <a class="el" href="cuddInt_8c.html#a498f7e0ebf19b278dd9e7d9651b82eef">cuddInt.c</a>
+<li>freopen64()
+: <a class="el" href="extapi_8c.html#af03756fc9a14bdfa7e473514b8be069a">extapi.c</a>
 </li>
 </ul>
 </div><!-- contents -->
@@ -91,7 +88,7 @@ $(function() {
 <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
+</a> 1.8.17
 </small></address>
 </body>
 </html>