<!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"/>
<title>CVC3: Member List</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="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 style="padding-left: 0.5em;">
<div id="projectname">CVC3
</div>
</td>
</tr>
</tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.2 -->
<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="inherits.html"><span>Class Hierarchy</span></a></li>
<li><a href="functions.html"><span>Class Members</span></a></li>
</ul>
</div>
</div><!-- top -->
<div class="header">
<div class="headertitle">
<div class="title">CVariable Member List</div> </div>
</div><!--header-->
<div class="contents">
<p>This is the complete list of members for <a class="el" href="classCVariable.html">CVariable</a>, including all inherited members.</p>
<table class="directory">
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#add75b1771456c8373c055ce56795abb7">_antecedence</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#aa099734654610fbe932b440ae9550cb6">_dlevel</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#aa33dc62f930de685f1e0a69c3c1c2cef">_ht_ptrs</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#ab84b85036f11ce8252d38cfab388ff4b">_in_new_cl</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#a50e9a718302d737d0108c7aa443a842a">_is_marked</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a9b7f0efebea35da376d4db863bdfd2a9">_lits_count</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#a3679cd1ad89f8ae495bc8f31f36c0f60">_scores</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a68bb88b73fda42d5076bc8a34c490b33">_value</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#ac0b464c860f8702f36f9e256836a4bf9">_var_score_pos</a></td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">protected</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a474d619248f352afcaa3fd4fb6c8788d">clear_marked</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#ac4db0d1a0f6c5a42a2a746dff0013019">CVariable</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#aedac20571208b480adb2aff58797981a">dlevel</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#ae03057639e30c735148c083c2305ae75">dump</a>(ostream &os=cout)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a92a4c6ae0e4b566d1f664add2aeb39e9">get_antecedence</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#aef0698f402345545601284fa7682e6f5">ht_ptr</a>(int i)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a106db2a07df4461da1ccfdf17faa8cdf">in_new_cl</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#a8be2f24a39402da9c9047c701c0e0486">is_marked</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a200c0dd2b0b7cadd109b662fb20ec889">lits_count</a>(int i)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#ac3e0d4831cd8625025002e21998517cd">operator<<</a>(ostream &os, CVariable &v)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">friend</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#acf5cbd17ee39aa733dd5445c5836ec81">score</a>(int i)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#a519b8d883ea489998f7cabd31fae1ddb">score</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#ab10578bfddce9b0dfb959b84395d799c">set_antecedence</a>(ClauseIdx ante)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#a74c853f04808a514d7c99514a7583e2d">set_in_new_cl</a>(int phase)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a605e80794f39e7aa307d94fd13017431">set_marked</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classCVariable.html#a7319394585df665256e74df1282f992f">value</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classCVariable.html#a5d0f657e55242e1324c345bb8f6c9877">var_score_pos</a>(void)</td><td class="entry"><a class="el" href="classCVariable.html">CVariable</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
</table></div><!-- contents -->
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>
Generated on Thu May 16 2013 13:25:17 for CVC3 by  <a href="http://www.doxygen.org/index.html">
<img class="footer" src="doxygen.png" alt="doxygen"/>
</a> 1.8.2
</small></address>
</body>
</html>
