svf-tools 1.0.418 → 1.0.421

package/SVF-doxygen/html/html/functions_s.html

@@ -98,12 +98,12 @@ $(function() {
 <li>SB_SLICESOURCE
 : <a class="el" href="classSVF_1_1Annotator.html#a01900f5ada5948361cc18857aee26744">SVF::Annotator</a>
 </li>
-<li>SBV
-: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
-</li>
 <li>sbv
 : <a class="el" href="classSVF_1_1PointsTo.html#aecd6b98c0687de59aebb297ec38a7084">SVF::PointsTo</a>
 </li>
+<li>SBV
+: <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923eacccb6e19f3e8db5f5b5b8858b22da61a">SVF::PointsTo</a>
+</li>
 <li>sbvIt
 : <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ac13245e140ab7c488c776b8dd97facf4">SVF::PointsTo::PointsToIterator</a>
 </li>
@@ -112,13 +112,11 @@ $(function() {
 </li>
 <li>SCC
 : <a class="el" href="classSVF_1_1MRGenerator.html#af8d52e6c9884c6e1abc6dbcbc5e32629">SVF::MRGenerator</a>
+, <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
 <li>scc
 : <a class="el" href="classSVF_1_1WPASolver.html#a21709a0f33b6238afe735cc9fe49ff70">SVF::WPASolver&lt; GraphType &gt;</a>
 </li>
-<li>SCC
-: <a class="el" href="classSVF_1_1WPASolver.html#a1352953966be14b2a1d6244f35e74a33">SVF::WPASolver&lt; GraphType &gt;</a>
-</li>
 <li>sccCandidates
 : <a class="el" href="classSVF_1_1AndersenSCD.html#aeb0b3644c3bfbfa5768b92c99aeeef40">SVF::AndersenSCD</a>
 </li>
@@ -136,12 +134,12 @@ $(function() {
 <li>SCCDetectionTime
 : <a class="el" href="classSVF_1_1PTAStat.html#ad4c1cf3750341f73987c37745f3bd2aa">SVF::PTAStat</a>
 </li>
-<li>SCCEdgeFlag
-: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
-</li>
 <li>sccEdgeFlag
 : <a class="el" href="classSVF_1_1ConstraintNode.html#a0fd9fca5ed82cf83dbd825d23c63783a">SVF::ConstraintNode</a>
 </li>
+<li>SCCEdgeFlag
+: <a class="el" href="classSVF_1_1ConstraintNode.html#a6e59b815d784bc1a9437290ff0e1e28c">SVF::ConstraintNode</a>
+</li>
 <li>SCCMergeTime
 : <a class="el" href="classSVF_1_1PTAStat.html#a8c4101e697057269def501d14a987287">SVF::PTAStat</a>
 </li>
@@ -355,7 +353,7 @@ $(function() {
 , <a class="el" href="classSVF_1_1DCHNode.html#a798e80f0cc5951789474abc3a0999166">SVF::DCHNode</a>
 </li>
 <li>setNegCondInst()
-: <a class="el" href="classSVF_1_1CondManager.html#a049541fec44cac3401a0dc68ff2f0ac1">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#a7ec31e7f5d856ac7de8416573aef396f">SVF::Z3Manager</a>
 </li>
 <li>setNodeNumAfterPAGBuild()
 : <a class="el" href="classSVF_1_1IRGraph.html#a5fe12445ed0528183775747dec356db0">SVF::IRGraph</a>
@@ -531,7 +529,7 @@ $(function() {
 , <a class="el" href="structSVF_1_1SVFUtil_1_1simplify__type_3_01const_01From_01_4.html#afdc334dc0c584651f9ab538e38cf3aff">SVF::SVFUtil::simplify_type&lt; const From &gt;</a>
 </li>
 <li>simplify()
-: <a class="el" href="classSVF_1_1CondManager.html#aeb4f9f4968f57602d12225757073f0f8">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#aa0fd8e460f4d89155da3487c0350f972">SVF::Z3Manager</a>
 </li>
 <li>SingleCondVar
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#a0ef73bd2c1b42439ee6f265e07f17514">SVF::CondPointsToSet&lt; Cond &gt;</a>
@@ -576,7 +574,7 @@ $(function() {
 , <a class="el" href="structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856">DdSubtable</a>
 </li>
 <li>sol
-: <a class="el" href="classSVF_1_1CondManager.html#a771bda4bb55dd8c95a03f1a74a215126">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#ac6fe9310046274759c45c1435fcc85c6">SVF::Z3Manager</a>
 </li>
 <li>solve()
 : <a class="el" href="classSVF_1_1WPAMinimumSolver.html#afb4c3a86fdb91cbb555669003cf299c2">SVF::WPAMinimumSolver&lt; GraphType &gt;</a>
@@ -820,12 +818,12 @@ $(function() {
 <li>StoresToMRsMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#afacb458ca832ef459e873b7d90134a8c">SVF::MRGenerator</a>
 </li>
-<li>StoresToPointsToMap
-: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
-</li>
 <li>storesToPointsToMap
 : <a class="el" href="classSVF_1_1MRGenerator.html#a7d86f708743a59aa31c0a9fd6de45dac">SVF::MRGenerator</a>
 </li>
+<li>StoresToPointsToMap
+: <a class="el" href="classSVF_1_1MRGenerator.html#a357e1654e30b2f91f6ea30ea5a52e91d">SVF::MRGenerator</a>
+</li>
 <li>storeTime
 : <a class="el" href="classSVF_1_1FlowSensitive.html#a82b76087363b26fbe749653935569de7">SVF::FlowSensitive</a>
 </li>

package/SVF-doxygen/html/html/functions_t.html

@@ -602,13 +602,11 @@ $(function() {
 , <a class="el" href="classSVF_1_1MSSADEF.html#a9e8a03dc2c2f76ef6bc095f21911f5b6">SVF::MSSADEF</a>
 , <a class="el" href="classSVF_1_1MSSAMU.html#a3cbe5ca0cb91090ef0e8b331e2f15f7c">SVF::MSSAMU&lt; Cond &gt;</a>
 , <a class="el" href="classSVF_1_1ObjTypeInfo.html#a6e7780d4e2639c089ff6c853d8d78a4d">SVF::ObjTypeInfo</a>
+, <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
 </li>
 <li>Type
 : <a class="el" href="classSVF_1_1PointsTo.html#a8f757f92ebf0a2ebdb5e6b001606923e">SVF::PointsTo</a>
 </li>
-<li>type
-: <a class="el" href="classSVF_1_1PointsTo.html#aaa9c956187f2c04a7a242ce440d1416f">SVF::PointsTo</a>
-</li>
 <li>TypeAnalysis()
 : <a class="el" href="classSVF_1_1TypeAnalysis.html#aaec66fea631bfe00064182e17dfb9db3">SVF::TypeAnalysis</a>
 </li>

package/SVF-doxygen/html/html/functions_type_b.html

@@ -129,13 +129,12 @@ $(function() {
 <li>BBWorkList
 : <a class="el" href="classSVF_1_1PCG.html#a05759205f1362b6d72041cf669cf028d">SVF::PCG</a>
 </li>
-<li>BranchCond
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#ad90fb1713be8b6a064e2423da5dd98b3">SVF::BranchCondExpr</a>
-, <a class="el" href="classSVF_1_1BranchCondManager.html#a37bec50768d5df6317a4ba6c790c569d">SVF::BranchCondManager</a>
-, <a class="el" href="classSVF_1_1CondManager.html#afb6c29587f01bf5b80878bae0850d2f6">SVF::CondManager</a>
+<li>BDDCond
+: <a class="el" href="classSVF_1_1BDDExpr.html#a8b8ff2750644582e55ff8a5d39826f9f">SVF::BDDExpr</a>
+, <a class="el" href="classSVF_1_1BDDManager.html#a7a1692324d6b152588ef4d52013f8d00">SVF::BDDManager</a>
 </li>
-<li>BranchCondToCondExprMap
-: <a class="el" href="classSVF_1_1CondManager.html#af2cf8e42c15d6a0640f13c55050f616f">SVF::CondManager</a>
+<li>BDDToBDDCondExpr
+: <a class="el" href="classSVF_1_1BDDManager.html#a54716dd8be2691e3e0dbffc14461c1e8">SVF::BDDManager</a>
 </li>
 </ul>
 </div><!-- contents -->

package/SVF-doxygen/html/html/functions_type_c.html

@@ -238,7 +238,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1CondPointsToSet.html#ad9e4dea4b65d5f4a903a3cf89a421077">SVF::CondPointsToSet&lt; Cond &gt;</a>
 </li>
 <li>CondToTermInstMap
-: <a class="el" href="classSVF_1_1CondManager.html#a3cd3149a0bb5b605e61f0935bd234f3b">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1CondManager.html#a01565ecb4f167283396be0e446b9df0a">SVF::CondManager</a>
 </li>
 <li>const_alias_iterator
 : <a class="el" href="classSVF_1_1SVFModule.html#a600d5cf02c750f78b461fcabc3e29f7f">SVF::SVFModule</a>

package/SVF-doxygen/html/html/functions_type_i.html

@@ -81,7 +81,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a5af399ccac6ec809ade8f778379027bb">SVF::SymbolTableInfo</a>
 </li>
 <li>IDToCondExprMap
-: <a class="el" href="classSVF_1_1CondManager.html#a1f6aceb4d48a37bcb0e2f1776116b760">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#aae29d2331b696987a2ca5c349bb8315b">SVF::Z3Manager</a>
 </li>
 <li>IdToIdMap
 : <a class="el" href="classSVF_1_1CSC.html#a3fb06a0c1d3960c32e52ff485417035c">SVF::CSC</a>
@@ -92,6 +92,9 @@ $(function() {
 <li>IDToNodeMapTy
 : <a class="el" href="classSVF_1_1GenericGraph.html#ab9027b190f50ceefc90094e4f967f269">SVF::GenericGraph&lt; NodeTy, EdgeTy &gt;</a>
 </li>
+<li>IndexToBDDCond
+: <a class="el" href="classSVF_1_1BDDManager.html#a33bb37b30e4c7364d6df73d209bd81d0">SVF::BDDManager</a>
+</li>
 <li>Inst2LabelMap
 : <a class="el" href="classSVF_1_1SVFStmt.html#a5a3db6b1335b4adc55b961a6f480f228">SVF::SVFStmt</a>
 </li>

package/SVF-doxygen/html/html/functions_type_z.html

@@ -0,0 +1,77 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
+<html xmlns="http://www.w3.org/1999/xhtml">
+<head>
+<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
+<meta http-equiv="X-UA-Compatible" content="IE=9"/>
+<meta name="generator" content="Doxygen 1.8.13"/>
+<meta name="viewport" content="width=device-width, initial-scale=1"/>
+<title>Static Value-Flow Analysis: Class Members - Typedefs</title>
+<link href="tabs.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="dynsections.js"></script>
+<link href="search/search.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="search/searchdata.js"></script>
+<script type="text/javascript" src="search/search.js"></script>
+<link href="doxygen.css" rel="stylesheet" type="text/css" />
+</head>
+<body>
+<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
+<div id="titlearea">
+<table cellspacing="0" cellpadding="0">
+ <tbody>
+ <tr style="height: 56px;">
+  <td id="projectalign" style="padding-left: 0.5em;">
+   <div id="projectname">Static Value-Flow Analysis
+   </div>
+  </td>
+ </tr>
+ </tbody>
+</table>
+</div>
+<!-- end header part -->
+<!-- Generated by Doxygen 1.8.13 -->
+<script type="text/javascript">
+var searchBox = new SearchBox("searchBox", "search",false,'Search');
+</script>
+<script type="text/javascript" src="menudata.js"></script>
+<script type="text/javascript" src="menu.js"></script>
+<script type="text/javascript">
+$(function() {
+  initMenu('',true,false,'search.php','Search');
+  $(document).ready(function() { init_search(); });
+});
+</script>
+<div id="main-nav"></div>
+</div><!-- top -->
+<!-- window showing the filter options -->
+<div id="MSearchSelectWindow"
+     onmouseover="return searchBox.OnSearchSelectShow()"
+     onmouseout="return searchBox.OnSearchSelectHide()"
+     onkeydown="return searchBox.OnSearchSelectKey(event)">
+</div>
+
+<!-- iframe showing the search results (closed by default) -->
+<div id="MSearchResultsWindow">
+<iframe src="javascript:void(0)" frameborder="0" 
+        name="MSearchResults" id="MSearchResults">
+</iframe>
+</div>
+
+<div class="contents">
+&#160;
+
+<h3><a id="index_z"></a>- z -</h3><ul>
+<li>Z3Cond
+: <a class="el" href="classSVF_1_1Z3Expr.html#a4c5d8b4850d005c46dc52b4a448a1235">SVF::Z3Expr</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#aae5b5661f0a34771753648072d6ea20a">SVF::Z3Manager</a>
+</li>
+</ul>
+</div><!-- contents -->
+<!-- start footer part -->
+<hr class="footer"/><address class="footer"><small>
+Generated by &#160;<a href="http://www.doxygen.org/index.html">
+<img class="footer" src="doxygen.png" alt="doxygen"/>
+</a> 1.8.13
+</small></address>
+</body>
+</html>

package/SVF-doxygen/html/html/functions_v.html

@@ -129,12 +129,12 @@ $(function() {
 : <a class="el" href="classSVF_1_1CoreBitVector_1_1CoreBitVectorIterator.html#a6a59f0e97fc9cf278ed22b0a4c109ae1">SVF::CoreBitVector::CoreBitVectorIterator</a>
 , <a class="el" href="classSVF_1_1PointsTo_1_1PointsToIterator.html#ab81cda692bb6ad451276f571a25c0751">SVF::PointsTo::PointsToIterator</a>
 </li>
-<li>valueToEdgeMap
-: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
-</li>
 <li>ValueToEdgeMap
 : <a class="el" href="classSVF_1_1IRGraph.html#addfc2131699f5ecee3a45d65cda46c24">SVF::IRGraph</a>
 </li>
+<li>valueToEdgeMap
+: <a class="el" href="classSVF_1_1IRGraph.html#a1308b5d3001c6676e8a8be6a8b118704">SVF::IRGraph</a>
+</li>
 <li>ValueToIDMapTy
 : <a class="el" href="classSVF_1_1SymbolTableInfo.html#a03a11c48d748990ddac1ac5866ecb48e">SVF::SymbolTableInfo</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_a.html

@@ -175,9 +175,6 @@ $(function() {
 <li>allocated
 : <a class="el" href="structDdManager.html#a3bc65a8323c85495c64877963eb34845">DdManager</a>
 </li>
-<li>allocatedConds
-: <a class="el" href="classSVF_1_1CondManager.html#a3621c17b2ff1beb7aa4e467ec357713b">SVF::CondManager</a>
-</li>
 <li>allocator
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a67e85749e539ea34146b197668a4ea64">SVF::NodeIDAllocator</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_b.html

@@ -97,6 +97,12 @@ $(function() {
 <li>bbToCondMap
 : <a class="el" href="classSVF_1_1PathCondAllocator.html#ac3a0aa27f317d7d9214181b599f19f24">SVF::PathCondAllocator</a>
 </li>
+<li>bddCond
+: <a class="el" href="classSVF_1_1BDDExpr.html#ad4aabf0e3cd6004c71aa5528c8ca5731">SVF::BDDExpr</a>
+</li>
+<li>bddToBddCondExprMap
+: <a class="el" href="classSVF_1_1BDDManager.html#acb037c79511b40032e523494a804adb3">SVF::BDDManager</a>
+</li>
 <li>BestCandidate
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#a3556bdda6725b72d0ca88364daeae32e">SVF::NodeIDAllocator::Clusterer</a>
 </li>
@@ -119,15 +125,6 @@ $(function() {
 <li>blackHolePointerId
 : <a class="el" href="classSVF_1_1NodeIDAllocator.html#a535be344f97496d8086e2861ea6dc2ea">SVF::NodeIDAllocator</a>
 </li>
-<li>branchCond
-: <a class="el" href="classSVF_1_1BranchCondExpr.html#a99b54ea1152131f8e0991374043ffced">SVF::BranchCondExpr</a>
-</li>
-<li>branchCondManager
-: <a class="el" href="classSVF_1_1CondManager.html#ac735eb27ed4328f97ced87494683f7f1">SVF::CondManager</a>
-</li>
-<li>branchCondToCondExpr
-: <a class="el" href="classSVF_1_1CondManager.html#afd01891f45e085e990c9dbba5cbf3914">SVF::CondManager</a>
-</li>
 <li>branchCondVal
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#aa1c91aad3dec610100b1f2f4b9826d10">SVF::IntraCFGEdge</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_c.html

@@ -305,6 +305,9 @@ $(function() {
 <li>condition
 : <a class="el" href="classSVF_1_1SelectStmt.html#a2d6e9d7131bc69a0e88b703c2c03d7e2">SVF::SelectStmt</a>
 </li>
+<li>ConditionType
+: <a class="el" href="classSVF_1_1Options.html#a87567aa3e6423fc96e0dfbaff00ed565">SVF::Options</a>
+</li>
 <li>conditionVar
 : <a class="el" href="classSVF_1_1IntraCFGEdge.html#a1d49f742d3f93361c7ba1b69e074ceb5">SVF::IntraCFGEdge</a>
 </li>
@@ -495,10 +498,10 @@ $(function() {
 : <a class="el" href="classSVF_1_1SVFIRBuilder.html#a5afb07f2cf8d76f8db334250e0c96cc0">SVF::SVFIRBuilder</a>
 </li>
 <li>cxt
-: <a class="el" href="classSVF_1_1CondManager.html#a087773d6ae6ed6af009a356dd7b61e11">SVF::CondManager</a>
-, <a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc</a>
+: <a class="el" href="classSVF_1_1CxtProc.html#af5f186c71d815dabcbfab6bae7c57b59">SVF::CxtProc</a>
 , <a class="el" href="classSVF_1_1CxtStmt.html#ae451ee5a61dbdd2367a04cee304bbcb1">SVF::CxtStmt</a>
 , <a class="el" href="classSVF_1_1CxtThread.html#ae8e5c401e008739bf018f1d618c08ea5">SVF::CxtThread</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#ac5968fcdba98bd405509b8abd1997cbc">SVF::Z3Manager</a>
 </li>
 <li>CXT_THREAD
 : <a class="el" href="classSVF_1_1MTAResultValidator.html#a251e16fc1fb663c238122dd6d2ba02e1">SVF::MTAResultValidator</a>

package/SVF-doxygen/html/html/functions_vars_e.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="structDdChildren.html#aedecad6f1bca3d6b46c71b0a011e51c5">DdChildren</a>
 </li>
 <li>e
-: <a class="el" href="classSVF_1_1CondExpr.html#aa730ac78b531e785b9c16b62a9cf0fa1">SVF::CondExpr</a>
+: <a class="el" href="classSVF_1_1Z3Expr.html#a12503523dc2ddbc8cd8ef658de6e3cb0">SVF::Z3Expr</a>
 </li>
 <li>edge2pts
 : <a class="el" href="classSVF_1_1MTASVFGBuilder.html#a1c0de33bba2f05f14140d872c345ab38">SVF::MTASVFGBuilder</a>

package/SVF-doxygen/html/html/functions_vars_i.html

@@ -100,6 +100,9 @@ $(function() {
 <li>idCounter
 : <a class="el" href="classSVF_1_1PersistentPointsToCache.html#ad8d24772f7503e0e735f546506d2bcc5">SVF::PersistentPointsToCache&lt; Data &gt;</a>
 </li>
+<li>idToCondExprMap
+: <a class="el" href="classSVF_1_1Z3Manager.html#a72e5e03058e98c4f511ce2bb180f89cf">SVF::Z3Manager</a>
+</li>
 <li>idToCSMap
 : <a class="el" href="classSVF_1_1PTACallGraph.html#a5d6f63baad19589a9fd1e069631e18fa">SVF::PTACallGraph</a>
 </li>
@@ -127,6 +130,9 @@ $(function() {
 , <a class="el" href="structst__generator.html#af2fe4c02d62ac650ad39cc28a424b798">st_generator</a>
 , <a class="el" href="structSVF_1_1VersionedFlowSensitive_1_1SCC_1_1NodeData.html#a823afbcf2b99a38367b7bc8be17ff2ba">SVF::VersionedFlowSensitive::SCC::NodeData</a>
 </li>
+<li>indexToBddCondMap
+: <a class="el" href="classSVF_1_1BDDManager.html#a7b780b30a7c433dcccab1e29b85b7704">SVF::BDDManager</a>
+</li>
 <li>IndirectCallLimit
 : <a class="el" href="classSVF_1_1Options.html#ad6c29b05188c9e06aa89623c61865ed8">SVF::Options</a>
 </li>

package/SVF-doxygen/html/html/functions_vars_m.html

@@ -65,7 +65,7 @@ $(function() {
 : <a class="el" href="classSVF_1_1RaceResultValidator.html#abd3ad42a71357dfd1483e6e0d18d5ebd">SVF::RaceResultValidator</a>
 </li>
 <li>m_bdd_mgr
-: <a class="el" href="classSVF_1_1BranchCondManager.html#a0c6278a5b4419e16c8fb5d3f8f8162a2">SVF::BranchCondManager</a>
+: <a class="el" href="classSVF_1_1BDDManager.html#aae62fd27ddc847758ea67000580efdb8">SVF::BDDManager</a>
 </li>
 <li>m_cond
 : <a class="el" href="classSVF_1_1CondVar.html#a90b13685d2126f8c10dde4a504bb28df">SVF::CondVar&lt; Cond &gt;</a>

package/SVF-doxygen/html/html/functions_vars_n.html

@@ -68,7 +68,7 @@ $(function() {
 : <a class="el" href="structcuddPathPair.html#a968dc3d34b592da2876517a687873281">cuddPathPair</a>
 </li>
 <li>negConds
-: <a class="el" href="classSVF_1_1CondManager.html#aa5e6dbdb4c88941996f7865a2d3ca314">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#abd4a010660942227d7db81533e80b2c3">SVF::Z3Manager</a>
 </li>
 <li>NewBvNumWords
 : <a class="el" href="classSVF_1_1NodeIDAllocator_1_1Clusterer.html#af3fe4b4098898ee38928c9db30ea0fe9">SVF::NodeIDAllocator::Clusterer</a>

package/SVF-doxygen/html/html/functions_vars_s.html

@@ -174,7 +174,7 @@ $(function() {
 , <a class="el" href="structDdSubtable.html#ab01ae39304c9a7ce2236584a78ff5856">DdSubtable</a>
 </li>
 <li>sol
-: <a class="el" href="classSVF_1_1CondManager.html#a771bda4bb55dd8c95a03f1a74a215126">SVF::CondManager</a>
+: <a class="el" href="classSVF_1_1Z3Manager.html#ac6fe9310046274759c45c1435fcc85c6">SVF::Z3Manager</a>
 </li>
 <li>solveAll
 : <a class="el" href="classSVF_1_1DDAClient.html#aa8a67c60ec0395c9cfae178dcff638a8">SVF::DDAClient</a>

package/SVF-doxygen/html/html/functions_z.html

@@ -61,6 +61,22 @@ $(function() {
 <div class="textblock">Here is a list of all class members with links to the classes they belong to:</div>
 
 <h3><a id="index_z"></a>- z -</h3><ul>
+<li>Z3Cond
+: <a class="el" href="classSVF_1_1Z3Expr.html#a4c5d8b4850d005c46dc52b4a448a1235">SVF::Z3Expr</a>
+, <a class="el" href="classSVF_1_1Z3Manager.html#aae5b5661f0a34771753648072d6ea20a">SVF::Z3Manager</a>
+</li>
+<li>Z3Expr()
+: <a class="el" href="classSVF_1_1Z3Expr.html#a6d57d4b10076ddf91cf47bf4d8878cd8">SVF::Z3Expr</a>
+</li>
+<li>Z3K
+: <a class="el" href="classSVF_1_1CondExpr.html#aef2356f5c1c3178a7b54f46b7c2144a6af0ee682babaa91484a4cd3315b6aba2c">SVF::CondExpr</a>
+</li>
+<li>Z3Manager()
+: <a class="el" href="classSVF_1_1Z3Manager.html#a2b2c98208ab6d9b6fd103a965d9aa1ac">SVF::Z3Manager</a>
+</li>
+<li>Z3MgrK
+: <a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa0d24aacdb91d2684f43135bd654f5780">SVF::CondManager</a>
+</li>
 <li>zero
 : <a class="el" href="structDdManager.html#acad9c199ad43af1a2c837ef5be30d01d">DdManager</a>
 </li>