<!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: CVC3::SearchEngineFast::ConflictClauseManager Class Reference</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 id="nav-path" class="navpath"> <ul> <li class="navelem"><a class="el" href="namespaceCVC3.html">CVC3</a> </li> <li class="navelem"><a class="el" href="classCVC3_1_1SearchEngineFast.html">SearchEngineFast</a> </li> <li class="navelem"><a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html">ConflictClauseManager</a> </li> </ul> </div> </div> <div class="header"> <div class="summary"> <a href="#pub-methods">Public Member Functions</a> | <a href="#pri-attribs">Private Attributes</a> </div> <div class="headertitle"> <div class="title">CVC3::SearchEngineFast::ConflictClauseManager Class Reference<div class="ingroups"><a class="el" href="group__SE__Fast.html">Fast Search Engine</a></div></div> </div> </div> <div class="contents"> <!-- doxytag: class="CVC3::SearchEngineFast::ConflictClauseManager" --><!-- doxytag: inherits="CVC3::ContextNotifyObj" --><div class="dynheader"> Inheritance diagram for CVC3::SearchEngineFast::ConflictClauseManager:</div> <div class="dyncontent"> <div class="center"> <img src="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.png" usemap="#CVC3::SearchEngineFast::ConflictClauseManager_map" alt=""/> <map id="CVC3::SearchEngineFast::ConflictClauseManager_map" name="CVC3::SearchEngineFast::ConflictClauseManager_map"> <area href="classCVC3_1_1ContextNotifyObj.html" alt="CVC3::ContextNotifyObj" shape="rect" coords="0,0,295,24"/> </map> </div></div> <p><a href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager-members.html">List of all members.</a></p> <h2><a name="pub-methods"></a> Public Member Functions</h2> <ul> <li><a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#a67d461bc0dcf278235e30d3d93608e2b">ConflictClauseManager</a> (<a class="el" href="classCVC3_1_1Context.html">Context</a> *context, <a class="el" href="classCVC3_1_1SearchEngineFast.html">SearchEngineFast</a> *se) <li>void <a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#ab6f279d5486d100804dcd8e749cb6665">setRestorePoint</a> () <li>void <a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#a71dce237fa65a2954f2ab4000369d8cc">notify</a> () </ul> <h2><a name="pri-attribs"></a> Private Attributes</h2> <ul> <li><a class="el" href="classCVC3_1_1SearchEngineFast.html">SearchEngineFast</a> * <a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#aa6fcf7c07d399650f4e71e5d3fa488ba">d_se</a> <li>std::vector< int > <a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#a90f8a2406642cbf3b0dcdd4ea70c8a38">d_restorePoints</a> </ul> <hr/><a name="details" id="details"></a><h2>Detailed Description</h2> <div class="textblock"> <p>Definition at line <a class="el" href="search__fast_8h_source.html#l00150">150</a> of file <a class="el" href="search__fast_8h_source.html">search_fast.h</a>.</p> </div><hr/><h2>Constructor & Destructor Documentation</h2> <a class="anchor" id="a67d461bc0dcf278235e30d3d93608e2b"></a><!-- doxytag: member="CVC3::SearchEngineFast::ConflictClauseManager::ConflictClauseManager" ref="a67d461bc0dcf278235e30d3d93608e2b" args="(Context *context, SearchEngineFast *se)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::SearchEngineFast::ConflictClauseManager::ConflictClauseManager </td> <td>(</td> <td class="paramtype"><a class="el" href="classCVC3_1_1Context.html">Context</a> * </td> <td class="paramname"><em>context</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype"><a class="el" href="classCVC3_1_1SearchEngineFast.html">SearchEngineFast</a> * </td> <td class="paramname"><em>se</em> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="search__fast_8h_source.html#l00154">154</a> of file <a class="el" href="search__fast_8h_source.html">search_fast.h</a>.</p> </div> </div> <hr/><h2>Member Function Documentation</h2> <a class="anchor" id="ab6f279d5486d100804dcd8e749cb6665"></a><!-- doxytag: member="CVC3::SearchEngineFast::ConflictClauseManager::setRestorePoint" ref="ab6f279d5486d100804dcd8e749cb6665" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void SearchEngineFast::ConflictClauseManager::setRestorePoint </td> <td>(</td> <td class="paramname"></td><td>)</td> <td></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="search__fast_8cpp_source.html#l00042">42</a> of file <a class="el" href="search__fast_8cpp_source.html">search_fast.cpp</a>.</p> <p>References <a class="el" href="kinds_8h_source.html#l00099">TRACE</a>.</p> <p>Referenced by <a class="el" href="search__fast_8cpp_source.html#l01697">CVC3::SearchEngineFast::checkValidInternal()</a>.</p> </div> </div> <a class="anchor" id="a71dce237fa65a2954f2ab4000369d8cc"></a><!-- doxytag: member="CVC3::SearchEngineFast::ConflictClauseManager::notify" ref="a71dce237fa65a2954f2ab4000369d8cc" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">void SearchEngineFast::ConflictClauseManager::notify </td> <td>(</td> <td class="paramtype">void </td> <td class="paramname"></td><td>)</td> <td><code> [virtual]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Reimplemented from <a class="el" href="classCVC3_1_1ContextNotifyObj.html#abad0e373f144d6004cc61ff4604b54c0">CVC3::ContextNotifyObj</a>.</p> <p>Definition at line <a class="el" href="search__fast_8cpp_source.html#l00053">53</a> of file <a class="el" href="search__fast_8cpp_source.html">search_fast.cpp</a>.</p> <p>References <a class="el" href="kinds_8h_source.html#l00099">TRACE</a>.</p> </div> </div> <hr/><h2>Member Data Documentation</h2> <a class="anchor" id="aa6fcf7c07d399650f4e71e5d3fa488ba"></a><!-- doxytag: member="CVC3::SearchEngineFast::ConflictClauseManager::d_se" ref="aa6fcf7c07d399650f4e71e5d3fa488ba" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1SearchEngineFast.html">SearchEngineFast</a>* <a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#aa6fcf7c07d399650f4e71e5d3fa488ba">CVC3::SearchEngineFast::ConflictClauseManager::d_se</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="search__fast_8h_source.html#l00151">151</a> of file <a class="el" href="search__fast_8h_source.html">search_fast.h</a>.</p> </div> </div> <a class="anchor" id="a90f8a2406642cbf3b0dcdd4ea70c8a38"></a><!-- doxytag: member="CVC3::SearchEngineFast::ConflictClauseManager::d_restorePoints" ref="a90f8a2406642cbf3b0dcdd4ea70c8a38" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">std::vector<int> <a class="el" href="classCVC3_1_1SearchEngineFast_1_1ConflictClauseManager.html#a90f8a2406642cbf3b0dcdd4ea70c8a38">CVC3::SearchEngineFast::ConflictClauseManager::d_restorePoints</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="search__fast_8h_source.html#l00152">152</a> of file <a class="el" href="search__fast_8h_source.html">search_fast.h</a>.</p> </div> </div> <hr/>The documentation for this class was generated from the following files:<ul> <li><a class="el" href="search__fast_8h_source.html">search_fast.h</a></li> <li><a class="el" href="search__fast_8cpp_source.html">search_fast.cpp</a></li> </ul> </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>