npm - svf-tools - Versions diffs - 1.0.459 → 1.0.460 - Mend

svf-tools 1.0.459 → 1.0.460

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

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

@@ -124,6 +124,9 @@ $(function() {
 <li>ConstantAggregateZero
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">BasicTypes.h</a>
 </li>
+<li>ConstantData
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">BasicTypes.h</a>
+</li>
 <li>ConstantDataArray
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">BasicTypes.h</a>
 </li>
@@ -150,8 +153,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cuddInt.c</a>
 </li>
 <li>Cudd_addEvalConst()
-: <a class="el" href="cuddInt_8c.html#a88cac595be91f0524a8be01c2b330661">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#a88cac595be91f0524a8be01c2b330661">cudd.h</a>
+: <a class="el" href="cudd_8h.html#a88cac595be91f0524a8be01c2b330661">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#a88cac595be91f0524a8be01c2b330661">cuddInt.c</a>
 </li>
 <li>Cudd_addIteConstant()
 : <a class="el" href="cudd_8h.html#ad1eae04162ef0a94b49121add887ee99">cudd.h</a>
@@ -215,8 +218,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#ad9dd195b3599f9101ff65b57e494f445">cuddInt.c</a>
 </li>
 <li>Cudd_bddOrLimit()
-: <a class="el" href="cudd_8h.html#a6cbc77f8b658ac3c88a2549a84c58b38">cudd.h</a>
-, <a class="el" href="cuddInt_8c.html#a6cbc77f8b658ac3c88a2549a84c58b38">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a6cbc77f8b658ac3c88a2549a84c58b38">cuddInt.c</a>
+, <a class="el" href="cudd_8h.html#a6cbc77f8b658ac3c88a2549a84c58b38">cudd.h</a>
 </li>
 <li>Cudd_bddReadPairIndex()
 : <a class="el" href="cudd_8h.html#a642b76a558f6dafd89648f9f7c470b68">cudd.h</a>
@@ -367,8 +370,8 @@ $(function() {
 : <a class="el" href="cudd_8h.html#afbec19daded82939f6045c92b3a7bde2">cudd.h</a>
 </li>
 <li>Cudd_Init()
-: <a class="el" href="cudd_8h.html#a72894f8bc06257ab2a667acb742a3ab6">cudd.h</a>
-, <a class="el" href="cuddInt_8c.html#a72894f8bc06257ab2a667acb742a3ab6">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a72894f8bc06257ab2a667acb742a3ab6">cuddInt.c</a>
+, <a class="el" href="cudd_8h.html#a72894f8bc06257ab2a667acb742a3ab6">cudd.h</a>
 </li>
 <li>CUDD_INTERNAL_ERROR
 : <a class="el" href="cudd_8h.html#a27114b4342bc1b987f35d751eae2444bad26f07005e0b7534b848d09c834867fd">cudd.h</a>
@@ -680,8 +683,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aeab770a8c957379ede9ec8edd1dd696a">cuddInt.c</a>
 </li>
 <li>cuddAnnealing()
-: <a class="el" href="cuddInt_8h.html#a069882208201ba24a9d4beea7a16e81b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a069882208201ba24a9d4beea7a16e81b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a069882208201ba24a9d4beea7a16e81b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a069882208201ba24a9d4beea7a16e81b">cuddInt.h</a>
 </li>
 <li>cuddBddAlignToZdd()
 : <a class="el" href="cuddInt_8h.html#a76fe76c0bc706efc355dde4db43f8669">cuddInt.h</a>
@@ -712,8 +715,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a6d52cd44b8033b3be8f23d21c46cd425">cuddInt.c</a>
 </li>
 <li>cuddBddMakePrime()
-: <a class="el" href="cuddInt_8c.html#aad1ef5892f9b1b85a2766956fca9761c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aad1ef5892f9b1b85a2766956fca9761c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aad1ef5892f9b1b85a2766956fca9761c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aad1ef5892f9b1b85a2766956fca9761c">cuddInt.c</a>
 </li>
 <li>cuddBddXorExistAbstractRecur()
 : <a class="el" href="cuddInt_8h.html#adfcd7d01c37505e26ff4d7ae7617a43f">cuddInt.h</a>
@@ -736,16 +739,16 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#ae37dae7f5dfb9b15cd8fa8d4f6dd73ff">cuddInt.c</a>
 </li>
 <li>cuddCacheInsert2()
-: <a class="el" href="cuddInt_8h.html#a27a1b481d65f85a84e531e0b18604313">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#acf6d1175a8da1a1613910bac913fee58">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#acf6d1175a8da1a1613910bac913fee58">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a27a1b481d65f85a84e531e0b18604313">cuddInt.h</a>
 </li>
 <li>cuddCacheLookup()
 : <a class="el" href="cuddInt_8h.html#ab2e7f6c2eabfb9af8ed7e52dcc00a678">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#ab2e7f6c2eabfb9af8ed7e52dcc00a678">cuddInt.c</a>
 </li>
 <li>cuddCacheLookup1()
-: <a class="el" href="cuddInt_8h.html#aa45c6025c94c97edbd06fa40651a7894">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a1500a014cb195019ed606382801eb5b4">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a1500a014cb195019ed606382801eb5b4">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aa45c6025c94c97edbd06fa40651a7894">cuddInt.h</a>
 </li>
 <li>cuddCacheLookup1Zdd()
 : <a class="el" href="cuddInt_8h.html#ad34c4c8b4685cf1b3e7a516d290f247e">cuddInt.h</a>
@@ -760,8 +763,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a424382dccaa69680400879c1a6d65c0f">cuddInt.c</a>
 </li>
 <li>cuddCacheLookupZdd()
-: <a class="el" href="cuddInt_8h.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a6ed37dd4abd3aad8e17cfde95808c8f3">cuddInt.h</a>
 </li>
 <li>cuddCacheProfile()
 : <a class="el" href="cuddInt_8c.html#afb729dfe4ad40c46ab9918154831e4a1">cuddInt.c</a>
@@ -778,8 +781,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a3c9555970525d41f0515a2d44438ba8b">cuddInt.c</a>
 </li>
 <li>cuddCofactorRecur()
-: <a class="el" href="cuddInt_8h.html#a18cb115a0f1d45b085e71537119accec">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a18cb115a0f1d45b085e71537119accec">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a18cb115a0f1d45b085e71537119accec">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a18cb115a0f1d45b085e71537119accec">cuddInt.h</a>
 </li>
 <li>cuddCollectNodes()
 : <a class="el" href="cuddInt_8h.html#a2cf3fcfdf91a36cd66978d4f7201c468">cuddInt.h</a>
@@ -816,8 +819,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a2de9b65852f26110cf7ff447c15d04c7">cuddInt.c</a>
 </li>
 <li>cuddExact()
-: <a class="el" href="cuddInt_8h.html#aad1bbbe0b734963912f4af7c6884c654">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#aad1bbbe0b734963912f4af7c6884c654">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#aad1bbbe0b734963912f4af7c6884c654">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aad1bbbe0b734963912f4af7c6884c654">cuddInt.h</a>
 </li>
 <li>cuddFreeTable()
 : <a class="el" href="cuddInt_8h.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.h</a>
@@ -832,8 +835,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a67e9deab5db86e16734a413ad199719c">cuddInt.c</a>
 </li>
 <li>cuddGetBranches()
-: <a class="el" href="cuddInt_8h.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a02d8e03ee77b6c219f4ed3daa95e36a3">cuddInt.h</a>
 </li>
 <li>cuddHashTableAlloc()
 : <a class="el" href="cuddInt_8c.html#aad2edce57dba0d3c39451c5885f6dd15">cuddInt.c</a>
@@ -855,8 +858,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a9bf314654e2092980899575ffc3aeaa3">cuddInt.c</a>
 </li>
 <li>cuddHashTableInsert1()
-: <a class="el" href="cuddInt_8c.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.c</a>
 </li>
 <li>cuddHashTableInsert2()
 : <a class="el" href="cuddInt_8c.html#a3bb782d3c2c4225e79f82706ee2bb755">cuddInt.c</a>
@@ -895,16 +898,16 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#ac9f3d4ce5f9ac0f4fcd8f96587e13227">cuddInt.c</a>
 </li>
 <li>cuddInitInteract()
-: <a class="el" href="cuddInt_8c.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aefe79f742e70f7e5523ed0604b7adfb0">cuddInt.c</a>
 </li>
 <li>cuddInitLinear()
 : <a class="el" href="cuddInt_8h.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#ad92550d1a1e9f8d717102c00b7e7d839">cuddInt.c</a>
 </li>
 <li>cuddInitTable()
-: <a class="el" href="cuddInt_8c.html#aac58f12de669eaac1d445054699e2a88">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aac58f12de669eaac1d445054699e2a88">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aac58f12de669eaac1d445054699e2a88">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aac58f12de669eaac1d445054699e2a88">cuddInt.c</a>
 </li>
 <li>cuddIsConstant
 : <a class="el" href="cuddInt_8h.html#aa5cad999b2a4a3dbbfe5c1da1d8bc028">cuddInt.h</a>
@@ -913,8 +916,8 @@ $(function() {
 : <a class="el" href="cuddInt_8h.html#adcfdb309d88a7e772f0f326667ae86aa">cuddInt.h</a>
 </li>
 <li>cuddLinearAndSifting()
-: <a class="el" href="cuddInt_8h.html#a6280eb698415f13868d44ada26f93d64">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a6280eb698415f13868d44ada26f93d64">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a6280eb698415f13868d44ada26f93d64">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a6280eb698415f13868d44ada26f93d64">cuddInt.h</a>
 </li>
 <li>cuddLinearInPlace()
 : <a class="el" href="cuddInt_8c.html#a94afb04204cc16194cc7a920138bede7">cuddInt.c</a>
@@ -946,8 +949,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
 </li>
 <li>cuddNextLow()
-: <a class="el" href="cuddInt_8c.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ace4f0137c821e3a72f1121ad072de8d8">cuddInt.c</a>
 </li>
 <li>cuddNodeArray()
 : <a class="el" href="cuddInt_8h.html#aa089ce201a38140aa26db5fbe0347c4a">cuddInt.h</a>
@@ -978,8 +981,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.c</a>
 </li>
 <li>cuddReclaimZdd()
-: <a class="el" href="cuddInt_8c.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.c</a>
 </li>
 <li>cuddRef
 : <a class="el" href="cuddInt_8h.html#a5eb828fea5b6c493712d171ca59f4496">cuddInt.h</a>
@@ -989,12 +992,12 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a808cc83054e0925704d498f721605926">cuddInt.h</a>
 </li>
 <li>cuddResizeLinear()
-: <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a952f869c6bd03fd89b1398a8c2149790">cuddInt.h</a>
 </li>
 <li>cuddResizeTableZdd()
-: <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
 </li>
 <li>cuddSatDec
 : <a class="el" href="cuddInt_8h.html#aa87dc1bc9890587b6f88a8afa9a68499">cuddInt.h</a>
@@ -1011,55 +1014,55 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
 </li>
 <li>cuddSifting()
-: <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
 </li>
 <li>cuddSlowTableGrowth()
-: <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a917f877ac725fc2d169102ab9d7aec97">cuddInt.h</a>
 </li>
 <li>cuddSwapInPlace()
-: <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
 </li>
 <li>cuddSwapping()
-: <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
 </li>
 <li>cuddSymmCheck()
-: <a class="el" href="cuddInt_8c.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a23afa87c3a2b034ed77d613510958a42">cuddInt.c</a>
 </li>
 <li>cuddSymmSifting()
 : <a class="el" href="cuddInt_8h.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
 </li>
 <li>cuddSymmSiftingConv()
-: <a class="el" href="cuddInt_8c.html#a26500cac5e214614917e48563a2fd133">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a26500cac5e214614917e48563a2fd133">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a26500cac5e214614917e48563a2fd133">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a26500cac5e214614917e48563a2fd133">cuddInt.c</a>
 </li>
 <li>cuddT
 : <a class="el" href="cuddInt_8h.html#a09834c697b92ac296b1e50c863f88262">cuddInt.h</a>
 </li>
 <li>cuddTestInteract()
-: <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
 </li>
 <li>cuddTreeSifting()
-: <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
 </li>
 <li>cuddUniqueConst()
 : <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.h</a>
 </li>
 <li>cuddUniqueInter()
-: <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
 </li>
 <li>cuddUniqueInterIVO()
-: <a class="el" href="cuddInt_8h.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.h</a>
 </li>
 <li>cuddUniqueInterZdd()
 : <a class="el" href="cuddInt_8h.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.h</a>
@@ -1087,28 +1090,28 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
 </li>
 <li>cuddZddChangeAux()
-: <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
 </li>
 <li>cuddZddComplement()
-: <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
 </li>
 <li>cuddZddDiff()
-: <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
 </li>
 <li>cuddZddDivide()
-: <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
 </li>
 <li>cuddZddDivideF()
 : <a class="el" href="cuddInt_8h.html#a4ac974deda65b0071f01780d8132efca">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
 </li>
 <li>cuddZddFreeUniv()
-: <a class="el" href="cuddInt_8c.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ab5e36f92c1b0f85b30c54984f6377032">cuddInt.c</a>
 </li>
 <li>cuddZddGetCofactors2()
 : <a class="el" href="cuddInt_8h.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.h</a>
@@ -1123,36 +1126,36 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aa74e960c9595f499b6c55c35b76c38c3">cuddInt.c</a>
 </li>
 <li>cuddZddGetNegVarLevel()
-: <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a17372914aa5d0e2b405e6b4db7b340ff">cuddInt.h</a>
 </li>
 <li>cuddZddGetNode()
 : <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
 </li>
 <li>cuddZddGetNodeIVO()
-: <a class="el" href="cuddInt_8h.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.h</a>
 </li>
 <li>cuddZddGetPosVarIndex()
-: <a class="el" href="cuddInt_8h.html#a4449045d422400ac577707490b4b1a05">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4449045d422400ac577707490b4b1a05">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a4449045d422400ac577707490b4b1a05">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4449045d422400ac577707490b4b1a05">cuddInt.h</a>
 </li>
 <li>cuddZddGetPosVarLevel()
-: <a class="el" href="cuddInt_8c.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#add2dde03c13e04eda9512dd54fef4278">cuddInt.c</a>
 </li>
 <li>cuddZddInitUniv()
-: <a class="el" href="cuddInt_8h.html#abadd982c3d591b858a9a2369659e4528">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#abadd982c3d591b858a9a2369659e4528">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#abadd982c3d591b858a9a2369659e4528">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#abadd982c3d591b858a9a2369659e4528">cuddInt.h</a>
 </li>
 <li>cuddZddIntersect()
 : <a class="el" href="cuddInt_8h.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.c</a>
 </li>
 <li>cuddZddIsop()
-: <a class="el" href="cuddInt_8h.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ada2ddff66ba0fabe1c39ac446f77fd32">cuddInt.h</a>
 </li>
 <li>cuddZddIte()
 : <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
@@ -1171,8 +1174,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a839a8dec363eb7d7f729295c45da4fc2">cuddInt.c</a>
 </li>
 <li>cuddZddLinearSifting()
-: <a class="el" href="cuddInt_8c.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a03240bfcc17024895c43dfaf899ed46a">cuddInt.c</a>
 </li>
 <li>cuddZddLinearUp()
 : <a class="el" href="cuddInt_8c.html#ac95a47c799b37da2d56034245c3632f6">cuddInt.c</a>
@@ -1182,19 +1185,19 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
 </li>
 <li>cuddZddNextLow()
-: <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
 </li>
 <li>cuddZddP()
 : <a class="el" href="cuddInt_8h.html#a6e8a6b880ea63f99e8d52084468b0be5">cuddInt.h</a>
 </li>
 <li>cuddZddProduct()
-: <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
 </li>
 <li>cuddZddSifting()
-: <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
 </li>
 <li>cuddZddSiftingAux()
 : <a class="el" href="cuddInt_8c.html#ad38635cb1780f4f2c80fd27141c0daef">cuddInt.c</a>
@@ -1209,8 +1212,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a789113cc56cb05380a131ce5a3aa0aff">cuddInt.c</a>
 </li>
 <li>cuddZddSubset0()
-: <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
 </li>
 <li>cuddZddSubset1()
 : <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
@@ -1221,12 +1224,12 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.h</a>
 </li>
 <li>cuddZddSwapping()
-: <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
 </li>
 <li>cuddZddSymmCheck()
-: <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
 </li>
 <li>cuddZddSymmSifting()
 : <a class="el" href="cuddInt_8c.html#a33b0811f3238900db5c9b07a3fb55f10">cuddInt.c</a>
@@ -1259,8 +1262,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a502f13629f5546da11d81c81cae8cc1b">cuddInt.c</a>
 </li>
 <li>cuddZddUnateProduct()
-: <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#afea6d3e9ead2bc24cc71cf61524b38d8">cuddInt.c</a>
 </li>
 <li>cuddZddUndoMoves()
 : <a class="el" href="cuddInt_8c.html#a37d9d5c0202700e85ee6ab3bb64f9c8f">cuddInt.c</a>
@@ -1270,16 +1273,16 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.c</a>
 </li>
 <li>cuddZddUniqueCompare()
-: <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
 </li>
 <li>cuddZddWeakDiv()
 : <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
 </li>
 <li>cuddZddWeakDivF()
-: <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
 </li>
 <li>cutree_cdist()
 : <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>

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

@@ -134,13 +134,13 @@ $(function() {
 <li>ST_DEFAULT_REORDER_FLAG
 : <a class="el" href="st_8h.html#a933aaa48b6a156a000befde073a24e4c">st.h</a>
 </li>
+<li>ST_DELETE
+: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
+</li>
 <li>st_delete()
 : <a class="el" href="st_8h.html#aeac35fa92942958472a69117777ec90d">st.h</a>
 , <a class="el" href="st_8c.html#a2d8405879414ed73f3ff6a935f3fc269">st.c</a>
 </li>
-<li>ST_DELETE
-: <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1fa64ab176f8e8b9719bcd9b5297ccda9c7">st.h</a>
-</li>
 <li>st_foreach()
 : <a class="el" href="st_8h.html#a5341675ff925b7a670ab4705735ceb38">st.h</a>
 , <a class="el" href="st_8c.html#a4d18e5a6949c772c9ff8c3c70ec00b57">st.c</a>
@@ -227,12 +227,14 @@ $(function() {
 : <a class="el" href="st_8h.html#a6073f524b9f0ec98b2b3d3e59e4e3fbf">st.h</a>
 , <a class="el" href="st_8c.html#a52bf6e577a2a87b2cdedb1c3d0e25075">st.c</a>
 </li>
+<li>st_ptrhash()
+: <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
+</li>
 <li>ST_PTRHASH
 : <a class="el" href="st_8c.html#a524a1efaf5df2432aa5bf96e35546164">st.c</a>
 </li>
 <li>st_ptrhash()
 : <a class="el" href="st_8c.html#ada6e90b4df1ca291977c89a6d4fdea06">st.c</a>
-, <a class="el" href="st_8h.html#a144fc385b211526daab6da9ad5a854cc">st.h</a>
 </li>
 <li>st_retval
 : <a class="el" href="st_8h.html#a0c6a172fd99de7928916e65034ed8b1f">st.h</a>
@@ -271,12 +273,12 @@ $(function() {
 <li>stopping_criterion()
 : <a class="el" href="cuddInt_8c.html#a5f2b499b6706d3e880ad375ab7eacd03">cuddInt.c</a>
 </li>
-<li>storedd
-: <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
-</li>
 <li>STOREDD
 : <a class="el" href="cuddInt_8c.html#ad90b4208ba9aa22e8f37b1ce723cdcf5">cuddInt.c</a>
 </li>
+<li>storedd
+: <a class="el" href="cuddInt_8c.html#a8ed518c7fe7ea969bd6981b71c37ec07">cuddInt.c</a>
+</li>
 <li>strcat()
 : <a class="el" href="util_8h.html#ae726f8c6b65e180aacfb570a35dc8375">util.h</a>
 </li>

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

@@ -114,6 +114,9 @@ $(function() {
 <li>ConstantAggregateZero
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">BasicTypes.h</a>
 </li>
+<li>ConstantData
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8fd472027d8636b36713a7494c88d6">BasicTypes.h</a>
+</li>
 <li>ConstantDataArray
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#a7d8006ceeea7c796af22da70c5cb93a0">BasicTypes.h</a>
 </li>