svf-tools 1.0.291 → 1.0.295

package/SVF-doxygen/html/html/globals_func_c.html

@@ -73,15 +73,12 @@ $(function() {
 <li>convertExpression()
 : <a class="el" href="BreakConstantExpr_8cpp.html#a25cf7d9aff084a1cd1aa51c85a4a17e1">BreakConstantExpr.cpp</a>
 </li>
-<li>convertGEP()
-: <a class="el" href="BreakConstantExpr_8cpp.html#a6589d553bf45afce2d441f5c3e065a58">BreakConstantExpr.cpp</a>
-</li>
 <li>copyOrder()
 : <a class="el" href="cuddInt_8c.html#acad9fa7ce3b1333a9c072bca7dafcbb6">cuddInt.c</a>
 </li>
 <li>Cudd_addCmpl()
-: <a class="el" href="cuddInt_8c.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cudd.h</a>
+: <a class="el" href="cudd_8h.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#a0776cc88f7f4911a8c7bede3f3aacdfd">cuddInt.c</a>
 </li>
 <li>Cudd_addEvalConst()
 : <a class="el" href="cudd_8h.html#a88cac595be91f0524a8be01c2b330661">cudd.h</a>
@@ -96,8 +93,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#aef6faa7c3d70abff90b5187b2f505310">cuddInt.c</a>
 </li>
 <li>Cudd_bddAnd()
-: <a class="el" href="cuddInt_8c.html#a8374b23de03000aeafb9b6deecee4b3c">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#a8374b23de03000aeafb9b6deecee4b3c">cudd.h</a>
+: <a class="el" href="cudd_8h.html#a8374b23de03000aeafb9b6deecee4b3c">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#a8374b23de03000aeafb9b6deecee4b3c">cuddInt.c</a>
 </li>
 <li>Cudd_bddAndLimit()
 : <a class="el" href="cudd_8h.html#adfbb2fd5b9c884df0d684a86dc26a97d">cudd.h</a>
@@ -131,8 +128,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a40fd71665cde402bd5bc4f39015c09ae">cuddInt.c</a>
 </li>
 <li>Cudd_bddLeq()
-: <a class="el" href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">cudd.h</a>
-, <a class="el" href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a89a46089e8572876a1521cdee6cb31a2">cuddInt.c</a>
+, <a class="el" href="cudd_8h.html#a89a46089e8572876a1521cdee6cb31a2">cudd.h</a>
 </li>
 <li>Cudd_bddLeqUnless()
 : <a class="el" href="cudd_8h.html#a5dcbf450b32f6937bc6dba252474638d">cudd.h</a>
@@ -194,8 +191,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a1878b826a0a318e816d419ca5bcea97b">cuddInt.c</a>
 </li>
 <li>Cudd_EqualSupNorm()
-: <a class="el" href="cuddInt_8c.html#abe0be57ead326db49e00a51d7acf75f9">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#abe0be57ead326db49e00a51d7acf75f9">cudd.h</a>
+: <a class="el" href="cudd_8h.html#abe0be57ead326db49e00a51d7acf75f9">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#abe0be57ead326db49e00a51d7acf75f9">cuddInt.c</a>
 </li>
 <li>Cudd_EquivDC()
 : <a class="el" href="cudd_8h.html#a3e078600dd9087c623e1bdfea00d599d">cudd.h</a>
@@ -322,8 +319,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a30ef132c1f56bdb0e26efc81fa695cf3">cuddInt.c</a>
 </li>
 <li>Cudd_SetMinHit()
-: <a class="el" href="cuddInt_8c.html#ae96f3e2036a77ab8c1318e607dea232b">cuddInt.c</a>
-, <a class="el" href="cudd_8h.html#ae96f3e2036a77ab8c1318e607dea232b">cudd.h</a>
+: <a class="el" href="cudd_8h.html#ae96f3e2036a77ab8c1318e607dea232b">cudd.h</a>
+, <a class="el" href="cuddInt_8c.html#ae96f3e2036a77ab8c1318e607dea232b">cuddInt.c</a>
 </li>
 <li>Cudd_Srandom()
 : <a class="el" href="cudd_8h.html#aa90de9057062381cbb8f367f67a7094f">cudd.h</a>
@@ -485,8 +482,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a1c1bf08350088e17ef443273e2c8de6b">cuddInt.c</a>
 </li>
 <li>cuddGa()
-: <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a30cf6e35aee984f79054c81d8d994e51">cuddInt.c</a>
 </li>
 <li>cuddGarbageCollect()
 : <a class="el" href="cuddInt_8h.html#a67e9deab5db86e16734a413ad199719c">cuddInt.h</a>
@@ -516,8 +513,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a9bf314654e2092980899575ffc3aeaa3">cuddInt.c</a>
 </li>
 <li>cuddHashTableInsert1()
-: <a class="el" href="cuddInt_8h.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a33441f3cc9ba4dcc96433d23adf4b536">cuddInt.h</a>
 </li>
 <li>cuddHashTableInsert2()
 : <a class="el" href="cuddInt_8c.html#a3bb782d3c2c4225e79f82706ee2bb755">cuddInt.c</a>
@@ -553,16 +550,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>cuddLinearAndSifting()
 : <a class="el" href="cuddInt_8h.html#a6280eb698415f13868d44ada26f93d64">cuddInt.h</a>
@@ -580,8 +577,8 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a9b3e20543e022d0d3092591b73b7b939">cuddInt.c</a>
 </li>
 <li>cuddLocalCacheClearDead()
-: <a class="el" href="cuddInt_8h.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#afcc9444fb15a2e92ec840a1fe3a18afd">cuddInt.h</a>
 </li>
 <li>cuddLocalCacheRemoveFromList()
 : <a class="el" href="cuddInt_8c.html#a0ce0bf5ccf36cef240bf9927ed606824">cuddInt.c</a>
@@ -590,8 +587,8 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#a5325adbe14e1e1de34ddb6fd5de4ec6a">cuddInt.c</a>
 </li>
 <li>cuddMakeBddFromZddCover()
-: <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#ab1a42f8ffa091f37d1aa152908a778bb">cuddInt.h</a>
 </li>
 <li>cuddNextHigh()
 : <a class="el" href="cuddInt_8h.html#a1001b8075a1b90d0231d8967a0290186">cuddInt.h</a>
@@ -617,80 +614,80 @@ $(function() {
 , <a class="el" href="cuddInt_8c.html#a2d3bb63f4ba1ba097c0f9775ddc1f830">cuddInt.c</a>
 </li>
 <li>cuddReclaim()
-: <a class="el" href="cuddInt_8h.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#acc19dbda07ed77727cd149f7aeb2527b">cuddInt.h</a>
 </li>
 <li>cuddReclaimZdd()
 : <a class="el" href="cuddInt_8h.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#adc39ed6aca9e7c16f7370bb373ed694b">cuddInt.c</a>
 </li>
 <li>cuddRehash()
-: <a class="el" href="cuddInt_8h.html#a808cc83054e0925704d498f721605926">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a808cc83054e0925704d498f721605926">cuddInt.c</a>
+, <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>
 </li>
 <li>cuddResizeTableZdd()
-: <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af9fabe670c27f42152573dbf713ec2ee">cuddInt.h</a>
 </li>
 <li>cuddSetInteract()
 : <a class="el" href="cuddInt_8c.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.c</a>
 , <a class="el" href="cuddInt_8h.html#a888f4a3339c8df41fa0eefd265657a44">cuddInt.h</a>
 </li>
 <li>cuddShrinkDeathRow()
-: <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a68543f5aa10af3730f82919fdac4fd98">cuddInt.h</a>
 </li>
 <li>cuddSifting()
-: <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ad379df946ff42f0241f8cc432ed5a61a">cuddInt.c</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_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a02e55858557a72e60c2c2e81a53916d8">cuddInt.h</a>
 </li>
 <li>cuddSwapping()
-: <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4fcc58544702da24985351c6e63fcc04">cuddInt.h</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>
 </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>
+: <a class="el" href="cuddInt_8c.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a8a7e7ba2e8fb65399112bd5b7fd71ad4">cuddInt.h</a>
 </li>
 <li>cuddSymmSiftingConv()
 : <a class="el" href="cuddInt_8h.html#a26500cac5e214614917e48563a2fd133">cuddInt.h</a>
 , <a class="el" href="cuddInt_8c.html#a26500cac5e214614917e48563a2fd133">cuddInt.c</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_8h.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a4e44fedc71d81a76167dc441ca10cff6">cuddInt.c</a>
+: <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_8c.html#a82d51c70097e5d4acddd5c8c4aef6d73">cuddInt.c</a>
@@ -715,32 +712,32 @@ $(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>
+: <a class="el" href="cuddInt_8c.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a83f563a2bf47531a70e0b34c3cdd504b">cuddInt.h</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>
 </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>
+: <a class="el" href="cuddInt_8c.html#a4ac974deda65b0071f01780d8132efca">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a4ac974deda65b0071f01780d8132efca">cuddInt.h</a>
 </li>
 <li>cuddZddFreeUniv()
 : <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>
-, <a class="el" href="cuddInt_8c.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.c</a>
+: <a class="el" href="cuddInt_8c.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#a0767c8eb1d5d87d76cec9bfa86e996d1">cuddInt.h</a>
 </li>
 <li>cuddZddGetCofactors3()
 : <a class="el" href="cuddInt_8c.html#a57eb6f354f1b6ed2cdd629162f46db82">cuddInt.c</a>
@@ -755,8 +752,8 @@ $(function() {
 , <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>
+: <a class="el" href="cuddInt_8c.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.c</a>
+, <a class="el" href="cuddInt_8h.html#af607cebd30fbd27bb9bd0fa125a1e1a8">cuddInt.h</a>
 </li>
 <li>cuddZddGetNodeIVO()
 : <a class="el" href="cuddInt_8c.html#af19757ac3885d62886ce2a63ba409ce3">cuddInt.c</a>
@@ -775,16 +772,16 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#abadd982c3d591b858a9a2369659e4528">cuddInt.h</a>
 </li>
 <li>cuddZddIntersect()
-: <a class="el" href="cuddInt_8c.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a985332f0d24772bc916a46f2b3465b53">cuddInt.h</a>
+: <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>
-, <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#ab0441bafcc095a43788d491e762b790c">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#ab0441bafcc095a43788d491e762b790c">cuddInt.c</a>
 </li>
 <li>cuddZddLinearAux()
 : <a class="el" href="cuddInt_8c.html#a50676cdc8f1a9b86dd6847fbd8a8181c">cuddInt.c</a>
@@ -806,12 +803,12 @@ $(function() {
 : <a class="el" href="cuddInt_8c.html#ac95a47c799b37da2d56034245c3632f6">cuddInt.c</a>
 </li>
 <li>cuddZddNextHigh()
-: <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#a7b76a250d30e9522c9ee1551d38843d6">cuddInt.c</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>
@@ -821,8 +818,8 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a99b880cf40736e465e1cbf46cb13da40">cuddInt.h</a>
 </li>
 <li>cuddZddSifting()
-: <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
-, <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
+: <a class="el" href="cuddInt_8h.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.h</a>
+, <a class="el" href="cuddInt_8c.html#aaff66bd6a0344a5ece2fbd3c121a6f75">cuddInt.c</a>
 </li>
 <li>cuddZddSiftingAux()
 : <a class="el" href="cuddInt_8c.html#ad38635cb1780f4f2c80fd27141c0daef">cuddInt.c</a>
@@ -837,12 +834,12 @@ $(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>
@@ -873,8 +870,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>
@@ -887,8 +884,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>
@@ -902,20 +899,20 @@ $(function() {
 , <a class="el" href="cuddInt_8h.html#a5ff41c21e47b8bc8f6d1249de47bbd6d">cuddInt.h</a>
 </li>
 <li>cuddZddWeakDiv()
-: <a class="el" href="cuddInt_8h.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.h</a>
-, <a class="el" href="cuddInt_8c.html#a86e1c6c9f20fb70fdd9579a4c63f448d">cuddInt.c</a>
+: <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>
 </li>
 <li>cutree_cdist()
-: <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</a>
-, <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+: <a class="el" href="fastcluster_8h.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.h</a>
+, <a class="el" href="fastcluster_8cpp.html#a8dbbd465af9ed88a066301ac83ce6961">fastcluster.cpp</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/namespaceSVF.html

@@ -4613,8 +4613,8 @@ template&lt;typename T , unsigned N&gt; </div>
 
 <p>Returns a new lhs &amp; rhs. </p>
 
-<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00495">495</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;{</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    result &amp;= rhs;</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00552">552</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;{</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;    result &amp;= rhs;</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4646,8 +4646,8 @@ template&lt;typename T , unsigned N&gt; </div>
 
 <p>Returns a new lhs &amp; rhs. </p>
 
-<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00495">495</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00496"></a><span class="lineno">  496</span>&#160;{</div><div class="line"><a name="l00497"></a><span class="lineno">  497</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00498"></a><span class="lineno">  498</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00499"></a><span class="lineno">  499</span>&#160;    result &amp;= rhs;</div><div class="line"><a name="l00500"></a><span class="lineno">  500</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00501"></a><span class="lineno">  501</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00552">552</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00553"></a><span class="lineno">  553</span>&#160;{</div><div class="line"><a name="l00554"></a><span class="lineno">  554</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00555"></a><span class="lineno">  555</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00556"></a><span class="lineno">  556</span>&#160;    result &amp;= rhs;</div><div class="line"><a name="l00557"></a><span class="lineno">  557</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00558"></a><span class="lineno">  558</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4679,8 +4679,8 @@ template&lt;typename T , unsigned N&gt; </div>
 
 <p>Returns a new lhs - rhs. </p>
 
-<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00503">503</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00504"></a><span class="lineno">  504</span>&#160;{</div><div class="line"><a name="l00505"></a><span class="lineno">  505</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00506"></a><span class="lineno">  506</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00507"></a><span class="lineno">  507</span>&#160;    result -= rhs;</div><div class="line"><a name="l00508"></a><span class="lineno">  508</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00509"></a><span class="lineno">  509</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00560">560</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00561"></a><span class="lineno">  561</span>&#160;{</div><div class="line"><a name="l00562"></a><span class="lineno">  562</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00563"></a><span class="lineno">  563</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00564"></a><span class="lineno">  564</span>&#160;    result -= rhs;</div><div class="line"><a name="l00565"></a><span class="lineno">  565</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00566"></a><span class="lineno">  566</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>
@@ -4744,8 +4744,8 @@ template&lt;typename F , typename S &gt; </div>
 
 <p>Returns a new lhs | rhs. </p>
 
-<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00487">487</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
-<div class="fragment"><div class="line"><a name="l00488"></a><span class="lineno">  488</span>&#160;{</div><div class="line"><a name="l00489"></a><span class="lineno">  489</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00490"></a><span class="lineno">  490</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00491"></a><span class="lineno">  491</span>&#160;    result |= rhs;</div><div class="line"><a name="l00492"></a><span class="lineno">  492</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00493"></a><span class="lineno">  493</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
+<p class="definition">Definition at line <a class="el" href="PointsTo_8cpp_source.html#l00544">544</a> of file <a class="el" href="PointsTo_8cpp_source.html">PointsTo.cpp</a>.</p>
+<div class="fragment"><div class="line"><a name="l00545"></a><span class="lineno">  545</span>&#160;{</div><div class="line"><a name="l00546"></a><span class="lineno">  546</span>&#160;    <span class="comment">// TODO: optimise.</span></div><div class="line"><a name="l00547"></a><span class="lineno">  547</span>&#160;    PointsTo <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a> = lhs;</div><div class="line"><a name="l00548"></a><span class="lineno">  548</span>&#160;    result |= rhs;</div><div class="line"><a name="l00549"></a><span class="lineno">  549</span>&#160;    <span class="keywordflow">return</span> <a class="code" href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a>;</div><div class="line"><a name="l00550"></a><span class="lineno">  550</span>&#160;}</div><div class="ttc" id="cuddInt_8c_html_a8b2e13c78efca330f06b6ddcd7464b41"><div class="ttname"><a href="cuddInt_8c.html#a8b2e13c78efca330f06b6ddcd7464b41">result</a></div><div class="ttdeci">static int result</div><div class="ttdef"><b>Definition:</b> <a href="cuddInt_8c_source.html#l07466">cuddInt.c:7466</a></div></div>
 </div><!-- fragment -->
 </div>
 </div>

package/SVF-doxygen/html/html/search/all_10.js

@@ -11,7 +11,7 @@ var searchData=
   ['pagbuilderfromfile_2eh',['PAGBuilderFromFile.h',['../PAGBuilderFromFile_8h.html',1,'']]],
   ['pagdotgraph',['PAGDotGraph',['../classSVF_1_1Options.html#a3a20311c732fb391332ae0ee1cb450a0',1,'SVF::Options']]],
   ['pagdotgraphshorter',['PAGDotGraphShorter',['../classSVF_1_1Options.html#a8eba08052f7af57b762155a58844480c',1,'SVF::Options']]],
-  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()']]],
+  ['pagedge',['PAGEdge',['../classSVF_1_1PAGEdge.html',1,'SVF::PAGEdge'],['../classSVF_1_1PAGEdge.html#ab686138c420a0b03cf8f1c1dff044318',1,'SVF::PAGEdge::PAGEdge()'],['../classSVF_1_1StmtVFGNode.html#ab5f48de8258f92bb7b9d411e178beb49',1,'SVF::StmtVFGNode::pagEdge()']]],
   ['pagedge_2eh',['PAGEdge.h',['../PAGEdge_8h.html',1,'']]],
   ['pagedgekindtosetmap',['PAGEdgeKindToSetMap',['../classSVF_1_1PAG.html#a32c107e02c73642ff4afd08b6cf22232',1,'SVF::PAG']]],
   ['pagedgelist',['PAGEdgeList',['../classSVF_1_1ICFGNode.html#a31df97cc8bea7de78c99fcef820e3a96',1,'SVF::ICFGNode::PAGEdgeList()'],['../classSVF_1_1PAG.html#a3b70f1f3b785d735243962e83e210652',1,'SVF::PAG::PAGEdgeList()'],['../classSVF_1_1MRGenerator.html#a1715322c61a3f41f1a093098591869d4',1,'SVF::MRGenerator::PAGEdgeList()'],['../classSVF_1_1MemSSA.html#ac04de5e349ced05d7289b8ee55c86e34',1,'SVF::MemSSA::PAGEdgeList()']]],
@@ -47,7 +47,7 @@ var searchData=
   ['pagnodetounaryopvfgnodemap',['PAGNodeToUnaryOPVFGNodeMap',['../classSVF_1_1VFG.html#ac7083aa233d8e3820d6eb8e922f0c051',1,'SVF::VFG']]],
   ['pagnodetounaryopvfgnodemapty',['PAGNodeToUnaryOPVFGNodeMapTy',['../classSVF_1_1VFG.html#acfcd84ac6bedde4e7e74abdeb9233474',1,'SVF::VFG']]],
   ['pagprint',['PAGPrint',['../classSVF_1_1Options.html#a98df022c5da54ea30b3f0ce008d3ca80',1,'SVF::Options']]],
-  ['pagreadfromtxt',['pagReadFromTXT',['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()'],['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()']]],
+  ['pagreadfromtxt',['pagReadFromTxt',['../classSVF_1_1SVFModule.html#a2547331e2c32b077d5876e609cb7f48f',1,'SVF::SVFModule::pagReadFromTxt()'],['../classSVF_1_1SVFModule.html#a1357c876eccedd58b3abe68875b3a570',1,'SVF::SVFModule::pagReadFromTXT()']]],
   ['pairheadmap',['pairheadmap',['../classSVF_1_1MTASVFGBuilder.html#af65f6553c6a7184401e249d777cd520e',1,'SVF::MTASVFGBuilder']]],
   ['pairindex',['pairIndex',['../structDdSubtable.html#a027d40eb603e409faef302acc952ca85',1,'DdSubtable']]],
   ['pairtailmap',['pairtailmap',['../classSVF_1_1MTASVFGBuilder.html#aa444ad49952922e1b862b75c4949de78',1,'SVF::MTASVFGBuilder']]],
@@ -142,7 +142,7 @@ var searchData=
   ['pointeranalysisimpl_2ecpp',['PointerAnalysisImpl.cpp',['../PointerAnalysisImpl_8cpp.html',1,'']]],
   ['pointeranalysisimpl_2eh',['PointerAnalysisImpl.h',['../PointerAnalysisImpl_8h.html',1,'']]],
   ['pointertype',['PointerType',['../structSVF_1_1SVFUtil_1_1cast__retty__impl_3_01To_00_01std_1_1unique__ptr_3_01From_01_4_01_4.html#a9d08abc346f3b77c487eba144f3cbd8d',1,'SVF::SVFUtil::cast_retty_impl< To, std::unique_ptr< From > >::PointerType()'],['../namespaceSVF.html#aa962cc1d782cc46553251e96b64a754b',1,'SVF::PointerType()']]],
-  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::PointsTo'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)']]],
+  ['pointsto',['PointsTo',['../classSVF_1_1PointsTo.html',1,'SVF::PointsTo'],['../classSVF_1_1CondPointsToSet.html#a63f09ca69e00b317de29af6a6a12daac',1,'SVF::CondPointsToSet::pointsTo(void)'],['../classSVF_1_1CondPointsToSet.html#ada240bc77570174a1d17ac097583fa78',1,'SVF::CondPointsToSet::pointsTo(void) const'],['../classSVF_1_1CondPointsToSet.html#a03311162626acf16ad05b7b93248a92b',1,'SVF::CondPointsToSet::pointsTo(Cond cond) const'],['../classSVF_1_1CondPointsToSet.html#a8775ef2c073af6c8055c3f5b0035288f',1,'SVF::CondPointsToSet::pointsTo(Cond cond)'],['../classSVF_1_1PointsTo.html#a05aa807f21f311eb50ff11dde98b8d22',1,'SVF::PointsTo::PointsTo(void)'],['../classSVF_1_1PointsTo.html#acef2d3e41263aef641c3411e28ad445c',1,'SVF::PointsTo::PointsTo(const PointsTo &pt)'],['../classSVF_1_1PointsTo.html#a5ecef616428a70e8e7726406dfb43544',1,'SVF::PointsTo::PointsTo(PointsTo &&pt)']]],
   ['pointsto_2ecpp',['PointsTo.cpp',['../PointsTo_8cpp.html',1,'']]],
   ['pointsto_2eh',['PointsTo.h',['../PointsTo_8h.html',1,'']]],
   ['pointstoid',['PointsToID',['../namespaceSVF.html#ae545a88267bd2246de827cf590675aca',1,'SVF']]],
@@ -197,7 +197,7 @@ var searchData=
   ['printmodel',['printModel',['../classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310',1,'SVF::CondManager']]],
   ['printpathcond',['printPathCond',['../classSVF_1_1PathCondAllocator.html#a2932b15ef74e46b676075ba1b2e82111',1,'SVF::PathCondAllocator::printPathCond()'],['../classSVF_1_1Options.html#ae6b763ff293381ed5da9b07c2e8ae496',1,'SVF::Options::PrintPathCond()']]],
   ['printpts',['printPts',['../svf-ex_8cpp.html#ae004a620ad67220b6dd8212a2ad625a9',1,'svf-ex.cpp']]],
-  ['printquerypts',['PrintQueryPts',['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()'],['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()']]],
+  ['printquerypts',['printQueryPTS',['../classSVF_1_1DDAPass.html#afc700bd3abb5d9199621741b9bd04f0f',1,'SVF::DDAPass::printQueryPTS()'],['../classSVF_1_1Options.html#aabfcfcd67df527cdf587aff5ecc26a10',1,'SVF::Options::PrintQueryPts()']]],
   ['printresults',['printResults',['../classSVF_1_1PCG.html#ab8a16eb34da91f2b7cd5a456653b1da0',1,'SVF::PCG']]],
   ['printstat',['printStat',['../classSVF_1_1DDAStat.html#a845ddc7725f4ebc011789a548a0aa377',1,'SVF::DDAStat::printStat()'],['../classSVF_1_1ICFGStat.html#a2058c584a93cb6c90f165207dbdb01d6',1,'SVF::ICFGStat::printStat()'],['../classSVF_1_1MemSSAStat.html#a6d57200d65d86cf575ede71bd5be7a29',1,'SVF::MemSSAStat::printStat()'],['../classSVF_1_1SVFGStat.html#a67e0f3d1eb1cf8bf6dda57b602d6dac7',1,'SVF::SVFGStat::printStat()'],['../classSVF_1_1PointerAnalysis.html#a4880571f57542afc50da506dfe273183',1,'SVF::PointerAnalysis::printStat()'],['../classSVF_1_1PTAStat.html#aa5f455bfa79743b8e263431593d29bbf',1,'SVF::PTAStat::printStat()'],['../classSVF_1_1AndersenBase.html#a566830d0c7a1f5cd967bb8f2ab168f8d',1,'SVF::AndersenBase::printStat()']]],
   ['printstatperquery',['printStatPerQuery',['../classSVF_1_1DDAStat.html#acacabea1b7b875e2f60f931fe0e6f625',1,'SVF::DDAStat::printStatPerQuery()'],['../classSVF_1_1PTAStat.html#a7ce0630cfe41448bec002f03a176175d',1,'SVF::PTAStat::printStatPerQuery()']]],
@@ -262,7 +262,7 @@ var searchData=
   ['pstat',['PStat',['../classSVF_1_1Options.html#a498a1a05a08be1ffd845aefeb0672bcb',1,'SVF::Options']]],
   ['pt',['pt',['../classSVF_1_1PointsTo_1_1PointsToIterator.html#a8be3dd8b1e66eac8577bf16b7403c9c5',1,'SVF::PointsTo::PointsToIterator']]],
   ['pta',['pta',['../classSVF_1_1SVFG.html#a0d6cfa496e6885fe31b6b7a651fa01a8',1,'SVF::SVFG::pta()'],['../classSVF_1_1PTAStat.html#a608441b95be0861d8c1b0a035281f4d5',1,'SVF::PTAStat::pta()'],['../classSVF_1_1MRGenerator.html#afb7ce3a24edda14895999eb15231daff',1,'SVF::MRGenerator::pta()'],['../classSVF_1_1MemSSA.html#a468e1481926df6865678b7232bb79bf3',1,'SVF::MemSSA::pta()'],['../classSVF_1_1PCG.html#adb917fc3adc3b0c3aedd57e9c77eae05',1,'SVF::PCG::pta()'],['../classSVF_1_1TCT.html#a980de0593e41d18d2716aa5120d35d04',1,'SVF::TCT::pta()'],['../classSVF_1_1TypeBasedHeapCloning.html#a7d3f7d27c9491b099a623ba03b1c4732',1,'SVF::TypeBasedHeapCloning::pta()'],['../classSVF_1_1AndersenStat.html#a8af8dd60987c4c99ea3727d9db87c187',1,'SVF::AndersenStat::pta()']]],
-  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()']]],
+  ['ptacallgraph',['PTACallGraph',['../classSVF_1_1PTACallGraph.html',1,'SVF::PTACallGraph'],['../classSVF_1_1PointerAnalysis.html#ad47b39252e02c68dfb466d4f42dc7ebe',1,'SVF::PointerAnalysis::ptaCallGraph()'],['../classSVF_1_1SrcSnkDDA.html#a97be553370acf305f86e903bc3f0bb1a',1,'SVF::SrcSnkDDA::ptaCallGraph()'],['../classSVF_1_1PTACallGraph.html#a612b05f1c37dc50a888b773b9bbe093f',1,'SVF::PTACallGraph::PTACallGraph()']]],
   ['ptacallgraph_2ecpp',['PTACallGraph.cpp',['../PTACallGraph_8cpp.html',1,'']]],
   ['ptacallgraph_2eh',['PTACallGraph.h',['../PTACallGraph_8h.html',1,'']]],
   ['ptacallgraphedge',['PTACallGraphEdge',['../classSVF_1_1PTACallGraphEdge.html',1,'SVF::PTACallGraphEdge'],['../classSVF_1_1PTACallGraphEdge.html#aa34123e6c62c3f152b579510c09984e6',1,'SVF::PTACallGraphEdge::PTACallGraphEdge()']]],
@@ -280,7 +280,7 @@ var searchData=
   ['ptaty',['ptaTy',['../classSVF_1_1PointerAnalysis.html#ade83738ac754d5ffc2a3b497b600cad4',1,'SVF::PointerAnalysis::ptaTy()'],['../classSVF_1_1PointerAnalysis.html#a0b182ac680cce0547dbe7714c870ca85',1,'SVF::PointerAnalysis::PTATY()']]],
   ['ptatype',['PTAType',['../classSVF_1_1PTAType.html',1,'SVF::PTAType'],['../classSVF_1_1PTAType.html#a2c4257200d48cad0bda92b4298879827',1,'SVF::PTAType::PTAType()']]],
   ['ptatype_2eh',['PTAType.h',['../PTAType_8h.html',1,'']]],
-  ['ptavector',['PTAVector',['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()']]],
+  ['ptavector',['ptaVector',['../classSVF_1_1WPAPass.html#a72a66ae158793f5d1bcb37b655db4446',1,'SVF::WPAPass::ptaVector()'],['../classSVF_1_1DDAPass.html#acc7ad5d3266cb3e24fba0b4db186348a',1,'SVF::DDAPass::PTAVector()'],['../classSVF_1_1WPAPass.html#ad4e3d480ebcc6bbbb7bcc8dc3df8663e',1,'SVF::WPAPass::PTAVector()']]],
   ['ptbackingtype',['PTBackingType',['../classSVF_1_1BVDataPTAImpl.html#ad76328a8543b02784992afc2d5501d8a',1,'SVF::BVDataPTAImpl']]],
   ['ptcache',['ptCache',['../classSVF_1_1PersistentPTData.html#a146a25bf9ae76f4c3c117433df9d382f',1,'SVF::PersistentPTData::ptCache()'],['../classSVF_1_1PersistentDiffPTData.html#a444bc59754b4c365327b7ef44baadcd2',1,'SVF::PersistentDiffPTData::ptCache()'],['../classSVF_1_1PersistentDFPTData.html#af86313e37c5177e45456f813b9b46a4f',1,'SVF::PersistentDFPTData::ptCache()'],['../classSVF_1_1BVDataPTAImpl.html#a94acf249e50ad56f966ddad6843c18f8',1,'SVF::BVDataPTAImpl::ptCache()']]],
   ['ptd',['ptD',['../classSVF_1_1BVDataPTAImpl.html#aee07488c4d53551826439d79b28e2e6d',1,'SVF::BVDataPTAImpl::ptD()'],['../classSVF_1_1CondPTAImpl.html#af960c10e49932ea5e9dcdd299ff300ce',1,'SVF::CondPTAImpl::ptD()']]],

package/SVF-doxygen/html/html/search/all_12.js

@@ -171,7 +171,7 @@ var searchData=
   ['returnsymmap',['returnSymMap',['../classSVF_1_1SymbolTableInfo.html#ae6f8a4dbe09ff4756983ffdbed6d0681',1,'SVF::SymbolTableInfo']]],
   ['rev',['rev',['../classSVF_1_1PTData.html#a46fa3ec6462f3dda19549340281bb219',1,'SVF::PTData']]],
   ['reversenodemapping',['reverseNodeMapping',['../classSVF_1_1PointsTo.html#a1ae4abe690d21eb5aaf2154243b604c1',1,'SVF::PointsTo']]],
-  ['revptsmap',['revPtsMap',['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()'],['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()']]],
+  ['revptsmap',['RevPtsMap',['../classSVF_1_1MutablePTData.html#a6d491581d17876625d0265cd26acd8e1',1,'SVF::MutablePTData::RevPtsMap()'],['../classSVF_1_1PersistentPTData.html#aad89172e6e99d5ee576faa7bc74b36d8',1,'SVF::PersistentPTData::RevPtsMap()'],['../classSVF_1_1PersistentDiffPTData.html#ac008ee5f7e4d286f9e76d85989358305',1,'SVF::PersistentDiffPTData::RevPtsMap()'],['../classSVF_1_1MutablePTData.html#ad8c9fc1b290372ed9c68e54687724b64',1,'SVF::MutablePTData::revPtsMap()'],['../classSVF_1_1PersistentPTData.html#a7b43ad5045ebdaa86f2587ea3f2f9563',1,'SVF::PersistentPTData::revPtsMap()']]],
   ['rfinept',['RFINEPT',['../dda_8cpp.html#a3abc2ce6737d192a5c3f967734fe8389',1,'dda.cpp']]],
   ['rid',['rid',['../classSVF_1_1MemRegion.html#aeb8ba1e0c907aeb3de84d8bd899c98b4',1,'SVF::MemRegion']]],
   ['rlimit_5fdata_5fdefault',['RLIMIT_DATA_DEFAULT',['../util_8c.html#a078d50c5bc23076e0d2af8d96156aeae',1,'util.c']]],