svf-tools 1.0.905 → 1.0.907

package/SVF-doxygen/html/functions_a.html

@@ -68,16 +68,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1NumericLiteral.html#a6ed0bfe0bbecc1a403434aa70744691c">SVF::NumericLiteral</a>
 </li>
 <li>abstract_consequence()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a012d18ece2c66ba6e784ae9578171369">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a575995a08ab7d186e03e9632398500ce">SVF::RelationSolver</a>
 </li>
-<li>AbstractExecution()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a84d8fedb7e9d23e92ffcb74b4cfbf78c">SVF::AbstractExecution</a>
+<li>AbstractInterpretation()
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a4080994b793d9510c00cb3a0260e0a61">SVF::AbstractInterpretation</a>
 </li>
-<li>AbstractValue()
-: <a class="el" href="classSVF_1_1AbstractValue.html#a56c3cfc51a812f4a9b3171371d3efa60">SVF::AbstractValue</a>
+<li>AbstractState()
+: <a class="el" href="classSVF_1_1AbstractState.html#aac4048e1e39f2dbc16f20b7ffe61af5e">SVF::AbstractState</a>
 </li>
-<li>AbstractValueK
-: <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16">SVF::AbstractValue</a>
+<li>AbstractValue()
+: <a class="el" href="structSVF_1_1AbstractValue.html#a5c743f114bc4dc2b451019e95214bf5a">SVF::AbstractValue</a>
 </li>
 <li>accept()
 : <a class="el" href="classSVF_1_1WTO.html#af2ac6543be66a6ca5911f49f16c341c4">SVF::WTO&lt; GraphT &gt;</a>
@@ -92,16 +92,16 @@ $(function() {
 : <a class="el" href="classSVF_1_1BufferOverflowBug.html#a07fa3b9bf041ade658526fd3bc9d361c">SVF::BufferOverflowBug</a>
 </li>
 <li>AccessMemoryViaCallArgs()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac920e03f019c47e585f6d0138f91585f">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a048e203517ac727e6fe0653e1f24052c">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaCopyStmt()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a20df87d2a269c3feab3acc40e4cd8801">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a550c12360c2149ba0e55bdf4cf7b8dd0">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaLoadStmt()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a98f3c7d5e4b3722b717071cd320c8a60">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac60581a57407fa4c65b1975f5be687b8">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessMemoryViaRetNode()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a140acf4733b46855c8627cf10dbb0bd5">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a29fe7c63c61a7aec8ae1477a061f5bf2">SVF::AbstractInterpretation</a>
 </li>
 <li>AccessPair()
 : <a class="el" href="classSVF_1_1RaceResultValidator_1_1AccessPair.html#a7dd2f8afab59ee4d107a6bfdb6c151ea">SVF::RaceResultValidator::AccessPair</a>
@@ -716,7 +716,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1VFG.html#a373e7066630719ffb7c62681f2c2a74e">SVF::VFG</a>
 </li>
 <li>addMDTag()
-: <a class="el" href="classSVF_1_1Annotator.html#ad1424270d91f70dee1461b6301ce8091">SVF::Annotator</a>
+: <a class="el" href="classSVF_1_1Annotator.html#ade321f69e1a727f1be15860e01effa43">SVF::Annotator</a>
 </li>
 <li>AddModelFlag
 : <a class="el" href="classSVF_1_1Options.html#aac637c9746749320a4ebd6af36212c56">SVF::Options</a>
@@ -849,13 +849,16 @@ $(function() {
 , <a class="el" href="classSVF_1_1PTData.html#ac1b9dc035fb0bdf468c7d14b9f9d437a">SVF::PTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 , <a class="el" href="classSVF_1_1VersionedPTData.html#ae00316730227769a39b22d3df1b6d38a">SVF::VersionedPTData&lt; Key, KeySet, Data, DataSet, VersionedKey, VersionedKeySet &gt;</a>
 </li>
+<li>addr
+: <a class="el" href="structSVF_1_1AbstractValue.html#a14167db89d63bdd80778c5c46f8a3568">SVF::AbstractValue</a>
+</li>
 <li>Addr
 : <a class="el" href="classSVF_1_1ConstraintEdge.html#a663af27955ba0c545f34fa1f076b7375aed68bc43e8aae49e8590e140eb0ffaf3">SVF::ConstraintEdge</a>
 , <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9a0a9a0f650e864e89b7cbb3dc8c8aa197">SVF::SVFStmt</a>
 , <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75af866301a661c59a7aa3182c0a7fc0c92">SVF::VFGNode</a>
 </li>
 <li>AddrCGEdge()
-: <a class="el" href="classSVF_1_1AddrCGEdge.html#a131779667553499b85423e1932664252">SVF::AddrCGEdge</a>
+: <a class="el" href="classSVF_1_1AddrCGEdge.html#a9c8da69a469e51d83c5009ba2685bcf6">SVF::AddrCGEdge</a>
 </li>
 <li>AddrCGEdgeSet
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a5bbd6df25027d26911f5d8d6a10881dc">SVF::ConstraintGraph</a>
@@ -869,14 +872,14 @@ $(function() {
 <li>addressInEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a214d8c0cb3913cb3403d686790c9eabb">SVF::ConstraintNode</a>
 </li>
-<li>AddressK
-: <a class="el" href="classSVF_1_1AbstractValue.html#afc79860ce75455825ff75d1fef804c16a7febb7f584172f4687c83b201a615187">SVF::AbstractValue</a>
-</li>
 <li>addressOutEdges
 : <a class="el" href="classSVF_1_1ConstraintNode.html#af05accba5a61957323bc2fd409b6f6e0">SVF::ConstraintNode</a>
 </li>
+<li>AddressType
+: <a class="el" href="structSVF_1_1AbstractValue.html#af93f4b54b34e74579ad177ead629b53aa67fecb8d6a035a581c4d27d743c9f0f5">SVF::AbstractValue</a>
+</li>
 <li>AddressValue()
-: <a class="el" href="classSVF_1_1AddressValue.html#a4be7b51c3290d9cccdf7f8d3c734bcce">SVF::AddressValue</a>
+: <a class="el" href="classSVF_1_1AddressValue.html#ad66b4fda1ac1a177d3877cf1927aa291">SVF::AddressValue</a>
 </li>
 <li>addRetBlock()
 : <a class="el" href="classSVF_1_1ICFG.html#ac58aa82eb74616a6608ff51d92f5baf6">SVF::ICFG</a>
@@ -903,11 +906,6 @@ $(function() {
 <li>addRevPts()
 : <a class="el" href="classSVF_1_1MutablePTData.html#ad3175d9c02d8a9f6ad1752ccf3e468cb">SVF::MutablePTData&lt; Key, KeySet, Data, DataSet &gt;</a>
 </li>
-<li>Addrs
-: <a class="el" href="classSVF_1_1ExeState.html#a78038dd4884a501cfc94f073021eac96">SVF::ExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ConsExeState.html#a7c892fb77ff402212af4ab30301f0f9d">SVF::SVFIR2ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a85f206bddccb2d644ef20f60ea17c9f3">SVF::SVFIR2ItvExeState</a>
-</li>
 <li>AddrSet
 : <a class="el" href="classSVF_1_1AddressValue.html#a58a1b87857377f372782a7873e5d4ea6">SVF::AddressValue</a>
 </li>
@@ -1120,7 +1118,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIR.html#ac792c1f8b385515a8cc0a0303d40f212">SVF::SVFIR</a>
 </li>
 <li>addVarargNode()
-: <a class="el" href="classSVF_1_1SVFIR.html#a078c01295f47bf12f1a2b8abfab8b28d">SVF::SVFIR</a>
+: <a class="el" href="classSVF_1_1SVFIR.html#a6ade5bf3edc7b6c3faafc3e5ff3d0538">SVF::SVFIR</a>
 </li>
 <li>addVariantGepCGEdge()
 : <a class="el" href="classSVF_1_1ConstraintGraph.html#a6902cabb252b1eaadb3c8220b4581a2f">SVF::ConstraintGraph</a>
@@ -1154,17 +1152,17 @@ $(function() {
 : <a class="el" href="classSVF_1_1SparseBitVector_1_1SparseBitVectorIterator.html#a346d500f11666f4746237f42a8d67fc1">SVF::SparseBitVector&lt; ElementSize &gt;::SparseBitVectorIterator</a>
 </li>
 <li>AEAPI
-: <a class="el" href="classSVF_1_1AbstractExecution.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#ac0bcb586dffbfadeb33f501cafbaa1c9">SVF::AbstractInterpretation</a>
 </li>
 <li>AEPrecision
 : <a class="el" href="classSVF_1_1Options.html#a922c40a80ef055f7f861948d2158f8a7">SVF::Options</a>
 </li>
 <li>AEStat
-: <a class="el" href="classSVF_1_1AbstractExecution.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AbstractExecution</a>
-, <a class="el" href="classSVF_1_1AEStat.html#a1e297f15d582d8c94c128a146ec92e1d">SVF::AEStat</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#adc6fd1004f4277cb4d6c8bb0dacf3208">SVF::AbstractInterpretation</a>
+, <a class="el" href="classSVF_1_1AEStat.html#a9a3a1cc22654d3d259599005a5336923">SVF::AEStat</a>
 </li>
 <li>alias()
-: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a63c474d3a2d4d196e167d6969c6ad21f">SVF::BVDataPTAImpl</a>
+: <a class="el" href="classSVF_1_1BVDataPTAImpl.html#a236d3e9c894fd7c34c8d7a77ac11dd48">SVF::BVDataPTAImpl</a>
 , <a class="el" href="classSVF_1_1CFLAlias.html#afb96040a903b9b889fcf23b26cb4565a">SVF::CFLAlias</a>
 , <a class="el" href="classSVF_1_1CondPTAImpl.html#adb1ed3728d53a13c94402392155e9913">SVF::CondPTAImpl&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1DDAPass.html#a96de481dd2af7b39428aff38158c1d4e">SVF::DDAPass</a>
@@ -1282,7 +1280,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1ProgSlice.html#aa7979418bed24fcecfc6fa04532cd586">SVF::ProgSlice</a>
 </li>
 <li>analyse()
-: <a class="el" href="classSVF_1_1AbstractExecution.html#a46364bb8814f7bf6ddd492aa7dc58ffb">SVF::AbstractExecution</a>
+: <a class="el" href="classSVF_1_1AbstractInterpretation.html#a2670b663d2c5afa974dfc0f316a273d1">SVF::AbstractInterpretation</a>
 </li>
 <li>analyze()
 : <a class="el" href="classSVF_1_1AndersenBase.html#a944966086ecb716184c8cdcc43db5751">SVF::AndersenBase</a>
@@ -1293,7 +1291,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1LockAnalysis.html#ad1516b6cb1dbd06b8dff04ae3c944621">SVF::LockAnalysis</a>
 , <a class="el" href="classSVF_1_1LockResultValidator.html#a88ff3ed1398a0b847d71a4c0352ed66d">SVF::LockResultValidator</a>
 , <a class="el" href="classSVF_1_1MHP.html#a02457fa6e3c85c897ec3b3d8db18cc4b">SVF::MHP</a>
-, <a class="el" href="classSVF_1_1MTAResultValidator.html#a462f1554e058b656861abfb0aa2e47ff">SVF::MTAResultValidator</a>
+, <a class="el" href="classSVF_1_1MTAResultValidator.html#a13073beef204314602c2dc92ec473484">SVF::MTAResultValidator</a>
 , <a class="el" href="classSVF_1_1PCG.html#a50b677ec622247a464cee7f0f45c5a53">SVF::PCG</a>
 , <a class="el" href="classSVF_1_1PointerAnalysis.html#ae1e217dc18be0ce70bee5ad930cb54c6">SVF::PointerAnalysis</a>
 , <a class="el" href="classSVF_1_1RaceResultValidator.html#ab8a261120a7f6520d22a6f5cdf2257e9">SVF::RaceResultValidator</a>
@@ -1431,15 +1429,8 @@ $(function() {
 <li>applyEdgeMask()
 : <a class="el" href="classSVF_1_1SVFIRReader.html#aa554326050f1e921449b560d94b7bb07">SVF::SVFIRReader</a>
 </li>
-<li>applyPhi()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a6304348363989dde61754ae161756f0f">SVF::ConsExeState</a>
-</li>
-<li>applySelect()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a3f5fa4efdd0f45b375f18596734f3d07">SVF::ConsExeState</a>
-</li>
 <li>applySummary()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a600317df0db3e813b952727884111cdd">SVF::ConsExeState</a>
-, <a class="el" href="classSVF_1_1SVFIR2ItvExeState.html#a198e8d5f586a698462dee2c3fde8c83e">SVF::SVFIR2ItvExeState</a>
+: <a class="el" href="classSVF_1_1SVFIR2AbsState.html#ad247b7d3ff5fd99c0d92cac8f1c876eb">SVF::SVFIR2AbsState</a>
 </li>
 <li>ARet
 : <a class="el" href="classSVF_1_1VFGNode.html#a99a54cf322b0eec3a1ef109ce5f2db75a283c290539f7f46d3cd474137ff37dfb">SVF::VFGNode</a>
@@ -1470,14 +1461,10 @@ $(function() {
 </li>
 <li>ashr
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a9d53b6b9f55f308ef2c661d2a8ecb41d">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a48568c2eb6d4b6088b7e1fd976730259">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a5c3347a21592e43e36d421ea5cae6bc9">SVF::Z3Expr</a>
 </li>
-<li>assign()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a673a2b823a1c3ea46f38e3956ca143e8">SVF::ConsExeState</a>
-</li>
 <li>AssignStmt()
-: <a class="el" href="classSVF_1_1AssignStmt.html#a05751cd905e9b21a80d6144072fa97fb">SVF::AssignStmt</a>
+: <a class="el" href="classSVF_1_1AssignStmt.html#aff4c35109790daed3c6170c985153620">SVF::AssignStmt</a>
 </li>
 <li>atEnd
 : <a class="el" href="classSVF_1_1CondPointsToSet_1_1CondPtsSetIterator.html#ad22614f30570619802e23715d1d5eaf0">SVF::CondPointsToSet&lt; Cond &gt;::CondPtsSetIterator</a>

package/SVF-doxygen/html/functions_b.html

@@ -262,13 +262,13 @@ $(function() {
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>
 </li>
 <li>beta()
-: <a class="el" href="classSVF_1_1RelationSolver.html#ac4abc5e1eb3b638710572c958162c22c">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a342d3c7d5192449fb10e9c3bab2de24f">SVF::RelationSolver</a>
 </li>
 <li>bilateral()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a0df88638c5e3f8cd56d34088b96199f1">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a23c59e437950b139dde49f11eb45b63a">SVF::RelationSolver</a>
 </li>
 <li>Bilateral_time()
-: <a class="el" href="classSymblicAbstractionTest.html#ad6525df45acfeb1c9c31fc54219a4217">SymblicAbstractionTest</a>
+: <a class="el" href="classSymblicAbstractionTest.html#ad9539ad539a0e3848b7ad1d65ebe81fe">SymblicAbstractionTest</a>
 </li>
 <li>BinaryOp
 : <a class="el" href="classSVF_1_1SVFStmt.html#a0ab8621e75e75f03425c323b3ed62ce9ad58f5e59c55e1ffd23b83d16224fed13">SVF::SVFStmt</a>
@@ -332,12 +332,9 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFGOPT.html#a6d5cdb3b78e4ed482b0da4c64323b463">SVF::SVFGOPT</a>
 </li>
 <li>bottom()
-: <a class="el" href="classSVF_1_1IntervalESBase.html#a839e8ee927c1cad86aef3059b41ba2eb">SVF::IntervalESBase</a>
+: <a class="el" href="classSVF_1_1AbstractState.html#a325ac3691d7252d0dcef9aa5f774b4c4">SVF::AbstractState</a>
 , <a class="el" href="classSVF_1_1IntervalValue.html#aa027be2f9243ce4cae799b265b019443">SVF::IntervalValue</a>
 </li>
-<li>bottomConstant()
-: <a class="el" href="classSVF_1_1SingleAbsValue.html#a0e7dde6b5ae9a605230a49b3216ea6e8">SVF::SingleAbsValue</a>
-</li>
 <li>BoundedZ3Expr()
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#ab5c21e9cce17bc0887ed5f3678810b34">SVF::BoundedZ3Expr</a>
 </li>
@@ -362,7 +359,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchStmt.html#a83244ad7db61a544f7538961081d4fbd">SVF::BranchStmt</a>
 </li>
 <li>BranchVFGNode()
-: <a class="el" href="classSVF_1_1BranchVFGNode.html#ad1aa629eae4006a68a1e6e8a7621a494">SVF::BranchVFGNode</a>
+: <a class="el" href="classSVF_1_1BranchVFGNode.html#adbaa9b14441cb66ad46671d93c09c513">SVF::BranchVFGNode</a>
 </li>
 <li>brConditions
 : <a class="el" href="classSVF_1_1CDGEdge.html#a061f2c40b29b00f09ff02206c09405c0">SVF::CDGEdge</a>
@@ -380,10 +377,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1BranchVFGNode.html#ab2c5f49a3ac21d827b37b0e4b61f1a10">SVF::BranchVFGNode</a>
 </li>
 <li>BS()
-: <a class="el" href="classSVF_1_1RelationSolver.html#a7e827609a1d69c6517f1a3eee0326fc3">SVF::RelationSolver</a>
+: <a class="el" href="classSVF_1_1RelationSolver.html#a98f7e3ae9f43aea178d77a58ac8e927f">SVF::RelationSolver</a>
 </li>
 <li>BS_time()
-: <a class="el" href="classSymblicAbstractionTest.html#a61df4b66ebc9b3eb38d773aa375ee759">SymblicAbstractionTest</a>
+: <a class="el" href="classSymblicAbstractionTest.html#a00618d1c3ca0c30883aad8f95e9f9f30">SymblicAbstractionTest</a>
 </li>
 <li>buffer
 : <a class="el" href="structprintbuffer.html#a754f63618e91db99f7ab6cfc4e629013">printbuffer</a>
@@ -403,21 +400,21 @@ $(function() {
 <li>bugEventStack
 : <a class="el" href="classSVF_1_1GenericBug.html#ac0b91adaf9df0d57dc2e179d962ca490">SVF::GenericBug</a>
 </li>
-<li>bugSet
-: <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
-</li>
 <li>BugSet
 : <a class="el" href="classSVF_1_1SVFBugReport.html#a357fa4ad635d2c53693ab147f255f7ac">SVF::SVFBugReport</a>
 </li>
+<li>bugSet
+: <a class="el" href="classSVF_1_1SVFBugReport.html#acacf8d5aa4aab95be34a5a1cb21838b3">SVF::SVFBugReport</a>
+</li>
 <li>bugStr
 : <a class="el" href="classSVF_1_1AEStat.html#a2387fafd4d8f7775cb4ebf7b41b07bf8">SVF::AEStat</a>
 </li>
-<li>bugType
-: <a class="el" href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">SVF::GenericBug</a>
-</li>
 <li>BugType
 : <a class="el" href="classSVF_1_1GenericBug.html#a7aeeb33097bca5f7fe6747f90f5cecac">SVF::GenericBug</a>
 </li>
+<li>bugType
+: <a class="el" href="classSVF_1_1GenericBug.html#a143c39c6a120e0ea1371bc309bf05d51">SVF::GenericBug</a>
+</li>
 <li>BugType2Str
 : <a class="el" href="classSVF_1_1GenericBug.html#a5cfadd60fc90ea6cb7b51aa1f292b6a3">SVF::GenericBug</a>
 </li>
@@ -468,7 +465,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CHGBuilder.html#a87ad835786fb8fed2a24c122fa839c25">SVF::CHGBuilder</a>
 </li>
 <li>buildCHGNodes()
-: <a class="el" href="classSVF_1_1CHGBuilder.html#a648e97899c16a5634fc8369aef8a031f">SVF::CHGBuilder</a>
+: <a class="el" href="classSVF_1_1CHGBuilder.html#abca5a0a010fdb63a3fa8b92ea0dd55e6">SVF::CHGBuilder</a>
 </li>
 <li>buildClassNameToAncestorsDescendantsMap()
 : <a class="el" href="classSVF_1_1CHGBuilder.html#ae7832c277f0ff86f3ae750aac6063adb">SVF::CHGBuilder</a>
@@ -500,9 +497,6 @@ $(function() {
 <li>buildGlobalDefToRepMap()
 : <a class="el" href="classSVF_1_1LLVMModuleSet.html#aaab03cb6ff665bc008c67b866ba81e47">SVF::LLVMModuleSet</a>
 </li>
-<li>buildGlobES()
-: <a class="el" href="classSVF_1_1ConsExeState.html#a4cdddbbcb6b07f2db9cfad565ca7e57b">SVF::ConsExeState</a>
-</li>
 <li>buildICFGNodeControlMap()
 : <a class="el" href="classSVF_1_1CDGBuilder.html#ab56c8f3ab29a907d420622dd8e933f0d">SVF::CDGBuilder</a>
 </li>
@@ -577,7 +571,6 @@ $(function() {
 </li>
 <li>bv2int
 : <a class="el" href="classSVF_1_1BoundedZ3Expr.html#a5ee6157debdd7b34108d7375c8b6bef1">SVF::BoundedZ3Expr</a>
-, <a class="el" href="classSVF_1_1SingleAbsValue.html#a9e6498ae2ea330a9eb10bbc2030014b7">SVF::SingleAbsValue</a>
 , <a class="el" href="classSVF_1_1Z3Expr.html#a349068a6c6c45f42ee3fedb0a487c06a">SVF::Z3Expr</a>
 </li>
 <li>BVDataImpl