<!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">Xchaff Member List</div> </div>
</div><!--header-->
<div class="contents">
<p>This is the complete list of members for <a class="el" href="classXchaff.html">Xchaff</a>, including all inherited members.</p>
<table class="directory">
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a7680ebfc3431daea429904672209fdb8">_assignment_hook</a></td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aff3437eb408419a6c84e9ff923ef5444">_assignment_hook_cookie</a></td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a745565adebc2ce37a9781e03860ba8ca">_decision_hook</a></td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#ac3a215c0cf6649a72471e5559e3e6f04">_decision_hook_cookie</a></td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#ad12d883fd228bfbabd7cbe96e75fb9e1">_solver</a></td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">private</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#adee5769adfc8bc73e27117eacd1d5e06">AddClause</a>(std::vector< Lit > &lits)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a1fb269f00fd9da8242e2bad01967f097">SatSolver::AddClause</a>(std::vector< Lit > &lits)=0</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a771730713d9da6f1161de299c6acc308">AddVariable</a>()</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a510ddbd9f083c5372bdaf5f449f4846b">AddVariables</a>(int nvars)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a09aef5b79042b31f37d0184667c34d53a1a1ccd6ae244cce5f08fcdf2d4621fe0">BUDGET_EXCEEDED</a> enum value</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#ab20bcd7cd57b138b62e63d0e1d9a425f">Continue</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#aad67f64508f2560518d09449cd4e39ee">Create</a>()</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">static</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a833d889d53fa2dbd609dac14625a5325">DeleteClause</a>(Clause clause)</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#ab763aebc2ca5e3b489aab695ed469213">DisableClauseDeletion</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a8a481eb175d81a80556e13ecff483da1">EnableClauseDeletion</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a90a038ad50d710508f2f3c0a3f909528">GetBudgetUsed</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#aa7755a77a17224ef7540ff9cf475ebe0">GetClause</a>(int clauseIndex)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#ad55fdf1df93621b0f79859f9180eed8c">GetClauseLits</a>(SatSolver::Clause clause, std::vector< Lit > *lits)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#af0c71f214e5980cf6848abaeaa3dbf16">SatSolver::GetClauseLits</a>(Clause clause, std::vector< Lit > *lits)=0</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a4683a3d3e3c9ea39da714c76f0aa4471">GetFirstClause</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#ac3891ccb7f41fb72e294da3899779c62">GetFirstVar</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a4ff03b5c032c7344058759ef1165ad9e">GetMaxDLevel</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#ad483bd394ba347d90afb2354a3579d5b">GetMemUsed</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#af02ffc8cb39e8740a7536323ee937d76">GetNextClause</a>(Clause clause)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#aff81fd8f5d3c694e8f5112077142ea03">GetNextVar</a>(Var var)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aafeebd0e319671ade2b15418a5491aa1">GetNumConflicts</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a0ae00dfb15ac6f1f6947056c448cc4db">GetNumDecisions</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a6f69523569c280d1486b7c6ddde2b112">GetNumDeletedClauses</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a0939c01d21987c020eb5fa783af11164">GetNumDeletedLiterals</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aa0c48459562f98b52b01999bb7c394ec">GetNumExtConflicts</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#aec9cba92c3e56ed8aa68693c6083e54d">GetNumImplications</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aefa4cd2058553d7946cbebdb667e8670">GetNumLiterals</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#ac6e0c04b5b1af99b742f444a32bdddf5">GetPhaseFromLit</a>(Lit lit)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a7187c85c8fc08c253b97de67509af3f2">SatSolver::GetPhaseFromLit</a>(Lit lit)=0</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a892c44f9b8bd6bb98a57c67f6e0261fa">GetSATTime</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a554b43a08c1aadad56bcb16d7a5ae8f5">GetTotalTime</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a41296b8c022c75dd7e2233631a5ac704">GetVar</a>(int varIndex)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a00d874effad75d5544cdd9d257b2573d">GetVarAssignment</a>(Var var)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a40ebc0c7f213c049c561cf0f727dfab9">GetVarFromLit</a>(Lit lit)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a505146a1fb5715620935ec31f909932f">SatSolver::GetVarFromLit</a>(Lit lit)=0</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a4f9ad9e1ff0a150b3f8fad414912cd9e">GetVarIndex</a>(Var v)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a9e916fd4048dfdcfdec013481e970303">MakeLit</a>(Var var, int phase)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a68161914638f53d93a26ff242e437472">mkClause</a>(int id)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a216cb72b0a5a4568ef9a0eb430b2d933">mkLit</a>(int id)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a7ffa41a1a67d90266b131230adebda68">mkVar</a>(int id)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">private</span><span class="mlabel">static</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a1a3fb172ed4b688d7938e160cc00716b">NumClauses</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a271a1d5d92cf07c60d70a9939d623391">NumVariables</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a09aef5b79042b31f37d0184667c34d53a987b167d27ed988755362d6decb025d8">OUT_OF_MEMORY</a> enum value</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a1e57a5f44892f0ef08a487a1516030df">PrintStatistics</a>(std::ostream &os=std::cout)</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a0a98f9f270df69b9f86d15258b915afb">RegisterAssignmentHook</a>(void(*f)(void *, Var, int), void *cookie)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a029881b7aad15145d313fae454637a6a">RegisterDecisionHook</a>(Lit(*f)(void *, bool *), void *cookie)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a76cc15252a711e8a9a21e49a30d7e920">SatSolver::RegisterDecisionHook</a>(Lit(*f)(void *, bool *), void *cookie)=0</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">pure virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a2ffce1f21eb64712d4e26e1dbc4b0e36">RegisterDeductionHook</a>(void(*f)(void *), void *cookie)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a9826417dcd2303591eaeb3259ac154f9">RegisterDLevelHook</a>(void(*f)(void *, int), void *cookie)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#ae8d8fe530dede206922f26f52f1cafcf">Reset</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a53ce24894150638b3285f7b12ebf23ba">Restart</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#af833605af7d820b9d7a350a77cd41ed1">Satisfiable</a>(bool allowNewClauses)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a09aef5b79042b31f37d0184667c34d53a8bc290b76f93dd68bdc44d083a7c4e25">SATISFIABLE</a> enum value</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a362ed37d0180c370c2060628dc75dd32">SatSolver</a>()</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr><td class="entry"><a class="el" href="classSatSolver.html#a09aef5b79042b31f37d0184667c34d53">SATStatus</a> enum name</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a5310ac0594841d926d40d6ddb3d749b6">SATStatus</a> typedef</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aae25937c3c0f355220a4533fb127edf7">SetBudget</a>(int budget)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a58905ab92772d4603d41b8155a59f0c2">SetMemLimit</a>(int mem_limit)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aa334fc9dd8673ff86d7214e439986e57">SetRandomness</a>(int n)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classXchaff.html#a390d585a7258c0237ea17893587d1ee0">SetRandSeed</a>(int seed)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#a393a5a2f7d45b4ffc54c00a5afbefd28">TranslateAssignmentHook</a>(void *cookie, int var, int value)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</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="classXchaff.html#ab42f8b43c2bc455a30955f4e8b8b4b9b">TranslateDecisionHook</a>(void *cookie, bool *done)</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</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="classSatSolver.html#a09aef5b79042b31f37d0184667c34d53a77f70e9dedb02009ba4ab7e6fbea1de3">UNKNOWN</a> enum value</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a09aef5b79042b31f37d0184667c34d53ad154fc26948177f01812d287e6340734">UNSATISFIABLE</a> enum value</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#aa238850d5f8f2eb815548745d5b8304a">Xchaff</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</a></td><td class="entry"><span class="mlabel">inline</span></td></tr>
<tr class="even"><td class="entry"><a class="el" href="classSatSolver.html#a087f2258b1c1ccce271e826dc07d27e6">~SatSolver</a>()</td><td class="entry"><a class="el" href="classSatSolver.html">SatSolver</a></td><td class="entry"><span class="mlabel">inline</span><span class="mlabel">virtual</span></td></tr>
<tr><td class="entry"><a class="el" href="classXchaff.html#adef92a80a3bbac1de8b94acb37cace6c">~Xchaff</a>()</td><td class="entry"><a class="el" href="classXchaff.html">Xchaff</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>
