<!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"/>
<title>CVC3: Member List</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<link href="doxygen.css" rel="stylesheet" type="text/css"/>
</head>
<body>
<!-- Generated by Doxygen 1.7.4 -->
<div id="top">
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr style="height: 56px;">
<td style="padding-left: 0.5em;">
<div id="projectname">CVC3 <span id="projectnumber">2.4.1</span></div>
</td>
</tr>
</tbody>
</table>
</div>
<div id="navrow1" class="tabs">
<ul class="tablist">
<li><a href="index.html"><span>Main Page</span></a></li>
<li><a href="pages.html"><span>Related Pages</span></a></li>
<li><a href="modules.html"><span>Modules</span></a></li>
<li><a href="namespaces.html"><span>Namespaces</span></a></li>
<li class="current"><a href="annotated.html"><span>Classes</span></a></li>
<li><a href="files.html"><span>Files</span></a></li>
</ul>
</div>
<div id="navrow2" class="tabs2">
<ul class="tablist">
<li><a href="annotated.html"><span>Class List</span></a></li>
<li><a href="classes.html"><span>Class Index</span></a></li>
<li><a href="hierarchy.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
</div>
<div class="header">
<div class="headertitle">
<div class="title">CDatabase Member List</div> </div>
</div>
<div class="contents">
This is the complete list of members for <a class="el" href="classCDatabase.html">CDatabase</a>, including all inherited members.<table>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a6adefe9983a5487fca8fc26cf8d9573f">_clauses</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a3a4e4403ef1f9cb15c219bfe52b1d935">_lit_pool_end_storage</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a970c8066adfcb3875af1f78f1c4029ff">_lit_pool_finish</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a9a30273cdd0b1f4814f470950cd90a77">_lit_pool_start</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a5f8cf11f16f22e1ffd47a8d0146a584f">_mem_limit</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#aa53ab545bfb59adcee894879520ee612">_num_var_in_new_cl</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#abb17b94a5d63adc740acbe28adb537dd">_stats</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ae238340b46c3fc75854c4c244ae96d28">_unused_clause_idx_queue</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a0bc13af9359ede872eefe8e1f44b3069">_variables</a></td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [protected]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a84d9594576e3c2c13bde2f9d6a98a583">add_variable</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a3959a40851f6fcb985542d1d43ff75dc">CDatabase</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a5af3586dfcd579ab14d37c6b6cf75e18">clause</a>(ClauseIdx idx)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a0c2329a20ee0a2672475933c3edd888e">clauses</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a81a2e3d63658a6aa21bda0b8660ee15f">compact_lit_pool</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a074d5b5a1fa285b8ae0e3c516a06a508">detail_dump_cl</a>(ClauseIdx cl_idx, ostream &os=cout)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a4ecc7a06a141221adf3aff50d3ac6cf6">dump</a>(ostream &os=cout)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ae121408a92221766e9139e7cf40ab7de">enlarge_lit_pool</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a358ccda3851e0469ef0f2a6f3cf55726">estimate_mem_usage</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a3e469952453c4b10f1040e9a19375f77">find_unit_literal</a>(ClauseIdx cl)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a8bac062c6bcaf5e92160fd0eff63bcd2">init</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a25c0a024183a09bf973942b1e4865501">init_num_clauses</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ac4f22334ba90a99dc686757f484a9651">init_num_literals</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#aeb01a55c31dfd135d9f19b561829e88d">is_conflict</a>(ClauseIdx cl)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a85e3fc325b5e311c4081e5ac05e4ac5c">is_satisfied</a>(ClauseIdx cl)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a338b044147d1e34dfbed7cc8663725ae">lit_pool</a>(int i)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a2e6aeb6e495ae18667311b79982a5e6d">lit_pool_begin</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a3217dc6be8cff75fd418fbd4ff2e5763">lit_pool_end</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ac66c5172be66fa260f8f6d5fd41ca295">lit_pool_free_space</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a7fa3358fa63aa02cae8055c0dfe832b7">lit_pool_push_back</a>(int value)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ab6e49a71237bf7a6f060f79675bb39e7">lit_pool_size</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ab0c8f1826cf8c92fc01943ab62d223df">literal_value</a>(CLitPoolElement l)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a6529c55a489afcd88e37370d6a61ae96">mark_clause_deleted</a>(CClause &cl)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a8fa67bd6b830c6853b01ed51b5fd183c">mark_var_in_new_cl</a>(int v_idx, int phase)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a1758bead04486434d17201a4bc9e6e40">mem_usage</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a7c466015881107beb66f443839fd75e9">num_added_clauses</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a098b913b13aaab438a5f73a4cef09370">num_added_literals</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a1ea198396d083b323c22cd49cc2be36c">num_clauses</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ad386f2990781ab78ebbe6eb83b7c365e">num_deleted_clauses</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a3e0c56c9059f90ce0b3ba0f94e2aeed2">num_deleted_literals</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a93f69dacd75d1cf2d4a006b961f3b7b6">num_literals</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ac95e4d7648334447162c0fb4e3de28d7">num_variables</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a0a1c2417b7ef79f11d50add3d49625f7">output_lit_pool_state</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#adfda0cf04a767a89cc9ac7dbeb7a11ce">set_mem_limit</a>(int n)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#ae153743ecd52bb30bb757ad8d49c74e9">set_variable_number</a>(int n)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#addf48e1802591c3d505308224d7ceb31">stats</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#af421024d0ade14743332069684aba162">variable</a>(int idx)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#af4388cf12d2984898332c519b220d67b">variables</a>(void)</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
<tr class="memlist"><td><a class="el" href="classCDatabase.html#a9a3adb67c04d4f1432556aab4149841e">~CDatabase</a>()</td><td><a class="el" href="classCDatabase.html">CDatabase</a></td><td><code> [inline]</code></td></tr>
</table></div>
<hr class="footer"/><address class="footer"><small>Generated on Wed Sep 7 2011 for CVC3 by 
<a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.7.4 </small></address>
</body>
</html>
