svf-tools 1.0.424 → 1.0.427

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

@@ -70,6 +70,12 @@ $(function() {
 <li>CADB
 : <a class="el" href="cuddInt_8c.html#a0202a359acec2086139802843fa21923">cuddInt.c</a>
 </li>
+<li>CallBrInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#ada7ea2b41c600e036569e18bd0719270">BasicTypes.h</a>
+</li>
+<li>CastInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a20b13f90796ee748f58e6c5faa7c63da">BasicTypes.h</a>
+</li>
 <li>CBA
 : <a class="el" href="cuddInt_8c.html#a4a52e3913dd36bb2bbeea6d936786237">cuddInt.c</a>
 </li>
@@ -97,6 +103,9 @@ $(function() {
 <li>clsName
 : <a class="el" href="CPPUtil_8cpp.html#a7622b99b57e87ceef06c0d154fae281b">CPPUtil.cpp</a>
 </li>
+<li>CmpInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a02550b1e1110f4cfca868603ce243564">BasicTypes.h</a>
+</li>
 <li>computed
 : <a class="el" href="cuddInt_8c.html#a40cfa3fddea607393205b428c33f032a">cuddInt.c</a>
 </li>
@@ -109,6 +118,15 @@ $(function() {
 <li>ConstantAggregateZero
 : <a class="el" href="SVF-FE_2BasicTypes_8h.html#ae4ed20ab05ea5735549d1ef4367735cd">BasicTypes.h</a>
 </li>
+<li>ConstantDataSequential
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a66b2dbc1be121511c3b5b264f94558d3">BasicTypes.h</a>
+</li>
+<li>ConstantExpr
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a60115de303225d173fb935cf7619a2cb">BasicTypes.h</a>
+</li>
+<li>ConstantStruct
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39fea8c436d96d2b5a74f5e02cc5d952">BasicTypes.h</a>
+</li>
 <li>convertExpression()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
@@ -142,8 +160,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a8374b23de03000aeafb9b6deecee4b3c">cuddInt.c</a>
 </li>
 <li>Cudd_bddAndLimit()
-: <a class="el" href="cuddInt_8c.html#adfbb2fd5b9c884df0d684a86dc26a97d">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#adfbb2fd5b9c884df0d684a86dc26a97d">cudd.h</a>
+: <a class="el" href="cudd_8h.html#adfbb2fd5b9c884df0d684a86dc26a97d">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#adfbb2fd5b9c884df0d684a86dc26a97d">cuddInt.c</a>
 </li>
 <li>Cudd_bddExistAbstract()
 : <a class="el" href="cudd_8h.html#a38ddb1590403cc2c2d6c382b68835269">cudd.h</a>
@@ -196,8 +214,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a642b76a558f6dafd89648f9f7c470b68">cuddInt.c</a>
 </li>
 <li>Cudd_BddToCubeArray()
-: <a class="el" href="cudd_8h.html#ab53ebc58628a5a659b86025e6ed9c492">cudd.h</a>
-, <a class="el" href="cuddInt_8c.html#ab53ebc58628a5a659b86025e6ed9c492">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ab53ebc58628a5a659b86025e6ed9c492">cuddInt.c</a>
+, <a class="el" href="cudd_8h.html#ab53ebc58628a5a659b86025e6ed9c492">cudd.h</a>
 </li>
 <li>Cudd_bddVarIsDependent()
 : <a class="el" href="cudd_8h.html#a4175e1b1c5fe59957da7be2966036a77">cudd.h</a>
@@ -363,8 +381,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a46290c6915c9d64fbe24a3faf40ced5d">cuddInt.c</a>
 </li>
 <li>Cudd_IterDerefBdd()
-: <a class="el" href="cuddInt_8c.html#a15905d5750b5f2f948329ce0f67a0fc8">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#a15905d5750b5f2f948329ce0f67a0fc8">cudd.h</a>
+: <a class="el" href="cudd_8h.html#a15905d5750b5f2f948329ce0f67a0fc8">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#a15905d5750b5f2f948329ce0f67a0fc8">cuddInt.c</a>
 </li>
 <li>Cudd_LargestCube()
 : <a class="el" href="cudd_8h.html#a5722a5bf76d99cd30783ad87ba03bf96">cudd.h</a>
@@ -661,8 +679,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a76fe76c0bc706efc355dde4db43f8669">cuddInt.c</a>
 </li>
 <li>cuddBddAndRecur()
-: <a class="el" href="cuddInt_8h.html#a1766cd8bf8b2ec57ade0db1a461e352b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a1766cd8bf8b2ec57ade0db1a461e352b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a1766cd8bf8b2ec57ade0db1a461e352b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a1766cd8bf8b2ec57ade0db1a461e352b">cuddInt.h</a>
 </li>
 <li>cuddBddBooleanDiffRecur()
 : <a class="el" href="cuddInt_8h.html#a978a5620fcf9f0463404d89870713340">cuddInt.h</a>
@@ -673,8 +691,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aedc6f9870c712caec0c42ba311984288">cuddInt.c</a>
 </li>
 <li>cuddBddIntersectRecur()
-: <a class="el" href="cuddInt_8c.html#aa43deef9cc0de026d2b4917aef1b4d62">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aa43deef9cc0de026d2b4917aef1b4d62">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aa43deef9cc0de026d2b4917aef1b4d62">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aa43deef9cc0de026d2b4917aef1b4d62">cuddInt.c</a>
 </li>
 <li>cuddBddIsop()
 : <a class="el" href="cuddInt_8h.html#af63228ad50be517bfbdc8ddc6ca48af4">cuddInt.h</a>
@@ -705,32 +723,32 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#ac766e39390bf4d3c975d4a6bd34653dc">cuddInt.c</a>
 </li>
 <li>cuddCacheInsert1()
-: <a class="el" href="cuddInt_8c.html#ae37dae7f5dfb9b15cd8fa8d4f6dd73ff">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a42a5de1e6785fc89bb6df75ff076f62c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a42a5de1e6785fc89bb6df75ff076f62c">cuddInt.h</a>
+, <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_8c.html#a6007aa85a642c938cc0c08020240b893">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ad34c4c8b4685cf1b3e7a516d290f247e">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ad34c4c8b4685cf1b3e7a516d290f247e">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a6007aa85a642c938cc0c08020240b893">cuddInt.c</a>
 </li>
 <li>cuddCacheLookup2()
-: <a class="el" href="cuddInt_8h.html#a070823435f540c772453821f35dfa547">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ab4f89447f0f0892337a1d6ff4c533933">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a070823435f540c772453821f35dfa547">cuddInt.h</a>
 </li>
 <li>cuddCacheLookup2Zdd()
-: <a class="el" href="cuddInt_8c.html#a424382dccaa69680400879c1a6d65c0f">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ae693ffc8540d9e1bcd488ec90a52e893">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ae693ffc8540d9e1bcd488ec90a52e893">cuddInt.h</a>
+, <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>
@@ -751,20 +769,20 @@ $(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_8c.html#a2cf3fcfdf91a36cd66978d4f7201c468">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a2cf3fcfdf91a36cd66978d4f7201c468">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a2cf3fcfdf91a36cd66978d4f7201c468">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a2cf3fcfdf91a36cd66978d4f7201c468">cuddInt.c</a>
 </li>
 <li>cuddComputeFloorLog2()
-: <a class="el" href="cuddInt_8h.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ac0c1936c2994972303a3a2696d9bdf39">cuddInt.h</a>
 </li>
 <li>cuddConstantLookup()
-: <a class="el" href="cuddInt_8c.html#a1b226d52d599fc2febf36966be142b11">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a1b226d52d599fc2febf36966be142b11">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a1b226d52d599fc2febf36966be142b11">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a1b226d52d599fc2febf36966be142b11">cuddInt.c</a>
 </li>
 <li>cuddDeallocMove
 : <a class="el" href="cuddInt_8h.html#a97e622c1fa0463d7b77ec6e113aad89b">cuddInt.h</a>
@@ -789,20 +807,20 @@ $(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_8c.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.c</a>
 </li>
 <li>cuddGa()
-: <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
 </li>
 <li>cuddGarbageCollect()
-: <a class="el" href="cuddInt_8c.html#a67e9deab5db86e16734a413ad199719c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a67e9deab5db86e16734a413ad199719c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a67e9deab5db86e16734a413ad199719c">cuddInt.h</a>
+, <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>
@@ -841,8 +859,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#afd730a2140b0e0009f659f85af2efdfc">cuddInt.c</a>
 </li>
 <li>cuddHashTableLookup1()
-: <a class="el" href="cuddInt_8c.html#a10dc94baf12ac76234775b6ba0d04e65">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a10dc94baf12ac76234775b6ba0d04e65">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a10dc94baf12ac76234775b6ba0d04e65">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a10dc94baf12ac76234775b6ba0d04e65">cuddInt.c</a>
 </li>
 <li>cuddHashTableLookup2()
 : <a class="el" href="cuddInt_8c.html#a4a672d94fcbd1084a6164da71ece13d2">cuddInt.c</a>
@@ -851,8 +869,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a3e01ff980c57a850c2ac2e25ba79b3a2">cuddInt.c</a>
 </li>
 <li>cuddHashTableQuit()
-: <a class="el" href="cuddInt_8c.html#ac48511fd185191433d7f180850e71e0f">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ac48511fd185191433d7f180850e71e0f">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ac48511fd185191433d7f180850e71e0f">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ac48511fd185191433d7f180850e71e0f">cuddInt.c</a>
 </li>
 <li>cuddHashTableResize()
 : <a class="el" href="cuddInt_8c.html#ac0269abf4cc795878e023811d7fbba1d">cuddInt.c</a>
@@ -890,8 +908,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a6280eb698415f13868d44ada26f93d64">cuddInt.h</a>
 </li>
 <li>cuddLinearInPlace()
-: <a class="el" href="cuddInt_8h.html#a94afb04204cc16194cc7a920138bede7">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a94afb04204cc16194cc7a920138bede7">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a94afb04204cc16194cc7a920138bede7">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a94afb04204cc16194cc7a920138bede7">cuddInt.h</a>
 </li>
 <li>cuddLocalCacheAddToList()
 : <a class="el" href="cuddInt_8c.html#ab6fa61b6c791a7a7fe678994675aef47">cuddInt.c</a>
@@ -915,12 +933,12 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
 </li>
 <li>cuddNextHigh()
-: <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.c</a>
+, <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>
@@ -951,8 +969,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>
@@ -962,8 +980,8 @@ $(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_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
@@ -980,8 +998,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
 </li>
 <li>cuddShrinkDeathRow()
-: <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
 </li>
 <li>cuddSifting()
 : <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
@@ -1008,8 +1026,8 @@ $(function() {
 , <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>
@@ -1019,16 +1037,16 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a2cc583804f0963d4a76049be83d54d9c">cuddInt.h</a>
 </li>
 <li>cuddTreeSifting()
-: <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a66ff5219b538de2d580f832a4ddfc362">cuddInt.c</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_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a767e31fbbfdbddc623396dde86249497">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a767e31fbbfdbddc623396dde86249497">cuddInt.c</a>
 </li>
 <li>cuddUniqueInterIVO()
 : <a class="el" href="cuddInt_8c.html#af46446c8dfbd689f5d68be71275816c3">cuddInt.c</a>
@@ -1042,8 +1060,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a032202341a5cf6eaf13b788b8d8d0881">cuddInt.c</a>
 </li>
 <li>cuddUpdateInteractionMatrix()
-: <a class="el" href="cuddInt_8h.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a73a2fde2f2e7ccf9c38312f2fe9e62ca">cuddInt.h</a>
 </li>
 <li>cuddV
 : <a class="el" href="cuddInt_8h.html#ae4c91711a93064634cccc69dc22f3712">cuddInt.h</a>
@@ -1060,20 +1078,20 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#ae994abd80d7d5b41c74a3a6016f52815">cuddInt.h</a>
 </li>
 <li>cuddZddChangeAux()
-: <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#aaca76fe4ed2c4316c53afcf996e6ae20">cuddInt.h</a>
 </li>
 <li>cuddZddComplement()
 : <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_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a6af3c223536b1c0cf632f4e3cd7e5e2d">cuddInt.c</a>
 </li>
 <li>cuddZddDivide()
-: <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#adf85f81e2cabd23947220f77681a6b0f">cuddInt.c</a>
 </li>
 <li>cuddZddDivideF()
 : <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
@@ -1104,16 +1122,16 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</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_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>
@@ -1124,12 +1142,12 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.h</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_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
 </li>
 <li>cuddZddLinearAux()
 : <a class="el" href="cuddInt_8c.html#a50676cdc8f1a9b86dd6847fbd8a8181c">cuddInt.c</a>
@@ -1151,19 +1169,19 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#ac95a47c799b37da2d56034245c3632f6">cuddInt.c</a>
 </li>
 <li>cuddZddNextHigh()
-: <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
 </li>
 <li>cuddZddNextLow()
-: <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a986286a0a4952cfbe5095afde9c69b19">cuddInt.h</a>
 </li>
 <li>cuddZddP()
 : <a class="el" href="cuddInt_8h.html#a6e8a6b880ea63f99e8d52084468b0be5">cuddInt.h</a>
 </li>
 <li>cuddZddProduct()
-: <a class="el" href="cuddInt_8c.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.c</a>
 </li>
 <li>cuddZddSifting()
 : <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
@@ -1182,20 +1200,20 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a789113cc56cb05380a131ce5a3aa0aff">cuddInt.c</a>
 </li>
 <li>cuddZddSubset0()
-: <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a7f3e9b7302820781160c550d08667d3c">cuddInt.c</a>
 </li>
 <li>cuddZddSubset1()
-: <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a54688fe7f1014c1e871ab5966d9e948e">cuddInt.c</a>
 </li>
 <li>cuddZddSwapInPlace()
 : <a class="el" href="cuddInt_8c.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a89a9fd8d4d09048463a62256b8dab6c9">cuddInt.h</a>
 </li>
 <li>cuddZddSwapping()
-: <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a2fceb4892ce0dcc3f78e2558593e724b">cuddInt.h</a>
 </li>
 <li>cuddZddSymmCheck()
 : <a class="el" href="cuddInt_8h.html#aa370fba2ec1edad4d8c9c9d5f1516eae">cuddInt.h</a>
@@ -1218,8 +1236,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#abea7ac08bf99972d38972dbc9666a7cc">cuddInt.c</a>
 </li>
 <li>cuddZddSymmSiftingConv()
-: <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ac76928dd3d33600509504d53802c3000">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ac76928dd3d33600509504d53802c3000">cuddInt.h</a>
 </li>
 <li>cuddZddSymmSiftingConvAux()
 : <a class="el" href="cuddInt_8c.html#a447c4ee2e2ea22adaa37d20ac8f6a6f8">cuddInt.c</a>
@@ -1232,8 +1250,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>
@@ -1243,24 +1261,24 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#af13034436631370bd5c24e9f8e58e38b">cuddInt.h</a>
 </li>
 <li>cuddZddUniqueCompare()
-: <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.c</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_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a24e2e6aa2dffe817f50ebed63f048db1">cuddInt.h</a>
 </li>
 <li>cutree_cdist()
-: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
+: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
 </li>
 <li>cutree_k()
-: <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
-, <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
+: <a class="el" href="fastcluster_8cpp.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.cpp</a>
+, <a class="el" href="fastcluster_8h.html#a4815993b37ce6e177c9838584e4cda24">fastcluster.h</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/globals_f.html

@@ -67,6 +67,9 @@ $(function() {
 <li>fc_isnan()
 : <a class="el" href="fastcluster_8cpp.html#a8abcd9d66492e761592578e82ce2cba0">fastcluster.cpp</a>
 </li>
+<li>FenceInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a43a430043d6520ceac623115ab2fbf56">BasicTypes.h</a>
+</li>
 <li>FILECHECKER()
 : <a class="el" href="saber_8cpp.html#ae054770c30aa9b9ef72d5bc84084b472">saber.cpp</a>
 </li>
@@ -79,18 +82,21 @@ $(function() {
 <li>fixVarTree()
 : <a class="el" href="cuddInt_8c.html#a9a7571d0ca349667f3912593b8a7d8d1">cuddInt.c</a>
 </li>
-<li>FREE
-: <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
-</li>
 <li>free()
 : <a class="el" href="util_8h.html#a3110dcad20c2a6616d360901b94e06a1">util.h</a>
 </li>
+<li>FREE
+: <a class="el" href="util_8h.html#aa279a8302d25fa9dfeb3e00161aee784">util.h</a>
+</li>
 <li>freeMatrix()
 : <a class="el" href="cuddInt_8c.html#ae61a29ea2e8e94b45114dbb698e14ac7">cuddInt.c</a>
 </li>
 <li>freePathPair()
 : <a class="el" href="cuddInt_8c.html#a498f7e0ebf19b278dd9e7d9651b82eef">cuddInt.c</a>
 </li>
+<li>FreezeInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a17cb164afe37512fdd064acc8ee7cc66">BasicTypes.h</a>
+</li>
 </ul>
 </div><!-- contents -->
 <!-- start footer part -->

package/SVF-doxygen/html/html/globals_g.html

@@ -70,6 +70,9 @@ $(function() {
 <li>getCube()
 : <a class="el" href="cuddInt_8c.html#ac4564d7da48b5f6457d7adca5e619b4c">cuddInt.c</a>
 </li>
+<li>GetElementPtrInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a255d310b1b573ca5c69fd715d7815d79">BasicTypes.h</a>
+</li>
 <li>getenv()
 : <a class="el" href="util_8h.html#aee28fd8a0e40b6d958f7d20348e45368">util.h</a>
 </li>

package/SVF-doxygen/html/html/globals_i.html

@@ -83,12 +83,24 @@ $(function() {
 , <a class="el" href="saber_8cpp.html#a2d332c504284f0bc181289ee67479845">saber.cpp</a>
 , <a class="el" href="wpa_8cpp.html#a2d332c504284f0bc181289ee67479845">wpa.cpp</a>
 </li>
+<li>InsertElementInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aca8159b0dbaf5b71dc69b9d9c7b200ec">BasicTypes.h</a>
+</li>
+<li>InsertValueInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5ef6dd0250254e2609a8f35ece1d57c5">BasicTypes.h</a>
+</li>
+<li>IntToPtrInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a39fa3cd232776e9a7bd6337c6242b906">BasicTypes.h</a>
+</li>
+<li>InvokeInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#aa437c87b40ddb0d2b16631b00994ff75">BasicTypes.h</a>
+</li>
 <li>isAliasTestFunction()
 : <a class="el" href="TypeBasedHeapCloning_8cpp.html#a2be9728908f88e4e16b1e6218801fa06">TypeBasedHeapCloning.cpp</a>
 </li>
 <li>IsInfDouble()
-: <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
-, <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
+: <a class="el" href="epd_8c.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.c</a>
+, <a class="el" href="epd_8h.html#aeda4ed6e719d13f84d757c9709f02ceb">epd.h</a>
 </li>
 <li>IsNanDouble()
 : <a class="el" href="epd_8h.html#a1208453615d2a105e5d8d55b2c4f3c37">epd.h</a>

package/SVF-doxygen/html/html/globals_l.html

@@ -61,6 +61,9 @@ $(function() {
 <div class="textblock">Here is a list of all file members with links to the files they belong to:</div>
 
 <h3><a id="index_l"></a>- l -</h3><ul>
+<li>LandingPadInst
+: <a class="el" href="SVF-FE_2BasicTypes_8h.html#a5b02d9efe63d84149e54736b81f922f1">BasicTypes.h</a>
+</li>
 <li>large
 : <a class="el" href="cuddInt_8c.html#a134b3b75fc389f1772e03372004cfeff">cuddInt.c</a>
 </li>