<!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::ScopeWatcher 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_1ScopeWatcher.html">ScopeWatcher</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::ScopeWatcher Class Reference</div> </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::ScopeWatcher" -->
<p>A class which sets a boolean value to true when created, and resets to false when deleted.
<a href="classCVC3_1_1ScopeWatcher.html#details">More...</a></p>
<p><code>#include <<a class="el" href="cvc__util_8h_source.html">cvc_util.h</a>></code></p>
<p><a href="classCVC3_1_1ScopeWatcher-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_1ScopeWatcher.html#aea403b8b5f957e895acdbcc1f7b31b8d">ScopeWatcher</a> (bool *flag)
<li><a class="el" href="classCVC3_1_1ScopeWatcher.html#a16c42e2a3e9ab587d2a51fa07218eac4">~ScopeWatcher</a> ()
</ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li>bool * <a class="el" href="classCVC3_1_1ScopeWatcher.html#a248003277034de7387a59039119224d8">d_flag</a>
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>A class which sets a boolean value to true when created, and resets to false when deleted. </p>
<p>Useful for tracking when the control is within a certain method or not. For example, <a class="el" href="classCVC3_1_1TheoryCore.html#aecef2465eb761f7f112ddce77f93d081" title="Add a new assertion to the core from the user or a SAT solver. Do NOT use it in a decision procedure;...">TheoryCore::addFact()</a> uses d_inAddFact to check that certain other methods are only called from within addFact(). However, when an exception is thrown, this variable is not reset. The watcher class will reset the variable even in those cases. </p>
<p>Definition at line <a class="el" href="cvc__util_8h_source.html#l00108">108</a> of file <a class="el" href="cvc__util_8h_source.html">cvc_util.h</a>.</p>
</div><hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="aea403b8b5f957e895acdbcc1f7b31b8d"></a><!-- doxytag: member="CVC3::ScopeWatcher::ScopeWatcher" ref="aea403b8b5f957e895acdbcc1f7b31b8d" args="(bool *flag)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::ScopeWatcher::ScopeWatcher </td>
<td>(</td>
<td class="paramtype">bool * </td>
<td class="paramname"><em>flag</em></td><td>)</td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="cvc__util_8h_source.html#l00112">112</a> of file <a class="el" href="cvc__util_8h_source.html">cvc_util.h</a>.</p>
<p>References <a class="el" href="cvc__util_8h_source.html#l00110">d_flag</a>.</p>
</div>
</div>
<a class="anchor" id="a16c42e2a3e9ab587d2a51fa07218eac4"></a><!-- doxytag: member="CVC3::ScopeWatcher::~ScopeWatcher" ref="a16c42e2a3e9ab587d2a51fa07218eac4" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::ScopeWatcher::~ScopeWatcher </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="cvc__util_8h_source.html#l00113">113</a> of file <a class="el" href="cvc__util_8h_source.html">cvc_util.h</a>.</p>
<p>References <a class="el" href="cvc__util_8h_source.html#l00110">d_flag</a>.</p>
</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="a248003277034de7387a59039119224d8"></a><!-- doxytag: member="CVC3::ScopeWatcher::d_flag" ref="a248003277034de7387a59039119224d8" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool* <a class="el" href="classCVC3_1_1ScopeWatcher.html#a248003277034de7387a59039119224d8">CVC3::ScopeWatcher::d_flag</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="cvc__util_8h_source.html#l00110">110</a> of file <a class="el" href="cvc__util_8h_source.html">cvc_util.h</a>.</p>
<p>Referenced by <a class="el" href="cvc__util_8h_source.html#l00112">ScopeWatcher()</a>, and <a class="el" href="cvc__util_8h_source.html#l00113">~ScopeWatcher()</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="cvc__util_8h_source.html">cvc_util.h</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>
