svf-tools 1.0.418 → 1.0.419

package/SVF-doxygen/html/html/classSVF_1_1CondManager-members.html

@@ -69,47 +69,36 @@ $(function() {
 
 <p>This is the complete list of members for <a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a>, including all inherited members.</p>
 <table class="directory">
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a3621c17b2ff1beb7aa4e467ec357713b">allocatedConds</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a4b88160366a7c7b2bf7e2ab632ed04c7">AND</a>(CondExpr *lhs, CondExpr *rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#afb6c29587f01bf5b80878bae0850d2f6">BranchCond</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ac735eb27ed4328f97ced87494683f7f1">branchCondManager</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#afd01891f45e085e990c9dbba5cbf3914">branchCondToCondExpr</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#af2cf8e42c15d6a0640f13c55050f616f">BranchCondToCondExprMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aa307bb05b92907ccf8859b4bac53b796">CondManager</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aedda2ed496d0009d92d44a82af2ce8ae">AND</a>(CondExpr *lhs, CondExpr *rhs)=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa106b111c9871d823d33c83758d890a0d">BDDMgrK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a692a05088457ba5e4e1b7873c8da411d">CondManager</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">protected</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a1e48008a3fe3a562512e253133aa557f">condMgr</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329">condToInstMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a3cd3149a0bb5b605e61f0935bd234f3b">CondToTermInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ae4ad2a90ac794163060290b6ac1f2949">createFreshBranchCond</a>(const Instruction *inst)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a087773d6ae6ed6af009a356dd7b61e11">cxt</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a907afafc19d8faa7a200bf4f1e07bb4f">dumpStr</a>(const CondExpr *e) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#acd773bd9dbf5161e488c827b0b71481d">extractSubConds</a>(const CondExpr *cond, NodeBS &amp;support) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a0ba3cf86743de62bcd5fd38d8166bc90">falseCond</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ac246b92ebdf6a9635ed79892b81b9ae8">getCond</a>(u32_t id) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74f">CondMgrKind</a> enum name</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ab986c3f6281995e302dabe4776768329">condToInstMap</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a01565ecb4f167283396be0e446b9df0a">CondToTermInstMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#abd330e858463fed92fb3df6e8529f790">createFreshBranchCond</a>(const Instruction *inst)=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a19c63783d5d20f363be3641941263a78">dumpStr</a>(const CondExpr *e) const =0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a66ed79e36f8c09ee3ae58fb9b4a6f3e3">extractSubConds</a>(const CondExpr *cond, NodeBS &amp;support) const =0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a0ba3cf86743de62bcd5fd38d8166bc90">falseCond</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ad0273f830c9a6791aea55bfbdebf1138">getCond</a>(u32_t id) const =0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a4fac6a918f1f6d09fe1a4ceac7c19428">getCondInst</a>(const CondExpr *cond) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a0128830b629c00d91dc78d348300e7c6">getCondMgr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#af167e75fab5f61b18bff296075c107d1">getCondNumber</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a08cad78a4ebb31f32b72d5ff9793b83e">getCondMgr</a>(CondMgrKind _condMgrKind)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a03d9a0d209505631f6d9e500d9c6bde3">getCondNumber</a>()=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
   <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a39e9d42cb3661d1c686b5163c70eeade">getFalseCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a8a9d3d96c2c8cfef8b9d9c27c28871f6">getMemUsage</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a0ca23ef4850f9be8abf303eafd104dab">getOrAddBranchCond</a>(const z3::expr &amp;e, BranchCond *branchCond)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">getTrueCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a1f6aceb4d48a37bcb0e2f1776116b760">IDToCondExprMap</a> typedef</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a9d1f2e6ef92ee120c7f26d98b1389b04">getMemUsage</a>()=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ac74f182ef249a7c892ba9c630f889ddc">getTrueCond</a>() const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a6151817a6f671fa1e7814e74f7ce2e51">isAllPathReachable</a>(const CondExpr *e)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#adef2474c65a7f9d96b27ee670136a240">isEquivalentBranchCond</a>(const CondExpr *lhs, const CondExpr *rhs) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ad1de136dbd62c3b9a7447222bd0890fa">isNegCond</a>(const CondExpr *cond) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a725d9c0a3aad4ebea3f06edf433f04ea">isSatisfiable</a>(const CondExpr *cond)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a5751792e45c8abd5ffd3610d94e9f0b7">NEG</a>(CondExpr *lhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aa5e6dbdb4c88941996f7865a2d3ca314">negConds</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a83824b36d6cd073a171df9919aa0c704">OR</a>(CondExpr *lhs, CondExpr *rhs)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a385339096b4322654b5b2c7a37e852fe">printDbg</a>(const CondExpr *e)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ab9772aa1a35e963ccc9ce1007ebc1310">printModel</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a2748338b4a5b122b5bbf4a9cb1f54211">releaseCondMgr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf">setCondInst</a>(const CondExpr *cond, const Instruction *inst)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a049541fec44cac3401a0dc68ff2f0ac1">setNegCondInst</a>(const CondExpr *cond, const Instruction *inst)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aeb4f9f4968f57602d12225757073f0f8">simplify</a>(const z3::expr &amp;expr) const</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a771bda4bb55dd8c95a03f1a74a215126">sol</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aa20839631502b975590754e146242175">isEquivalentBranchCond</a>(const CondExpr *lhs, const CondExpr *rhs)=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a1007afa25f9a95c5d12c58852ef74686">isNegCond</a>(const CondExpr *cond) const =0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a5ef85ea09500adc006a25c1eb3426831">isSatisfiable</a>(const CondExpr *cond)=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aecb97f6eb6ba2943b2eaa7a8212a9ba6">NEG</a>(CondExpr *lhs)=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aa6dcd9cb78deef05b6c4d4e9b6b0a16b">OR</a>(CondExpr *lhs, CondExpr *rhs)=0</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a2748338b4a5b122b5bbf4a9cb1f54211">releaseCondMgr</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">static</span></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a1fbf7dd446309e13671d838c91da26bf">setCondInst</a>(const CondExpr *cond, const Instruction *inst)</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
   <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a7efaeff7229fcfdc6c05d53ee3e1d916">totalCondNum</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
-  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4">trueCond</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
-  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a5677513376a78707de664c1cc85805aa">~CondManager</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#aed854ecc55a568597f7d7f1f78fb92f4">trueCond</a></td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">protected</span><span class="mlabel">static</span></td></tr>
+  <tr class="even"><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#a7f7519973f1e0ab8054670a6154bd74fa0d24aacdb91d2684f43135bd654f5780">Z3MgrK</a> enum value</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"></td></tr>
+  <tr><td class="entry"><a class="el" href="classSVF_1_1CondManager.html#ae17d57a0fdc02a5558120e65e11976d4">~CondManager</a>()</td><td class="entry"><a class="el" href="classSVF_1_1CondManager.html">SVF::CondManager</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
 </table></div><!-- contents -->
 <!-- start footer part -->
 <hr class="footer"/><address class="footer"><small>