<!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: CVC3::ScopeWatcher Class Reference</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 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><!-- top -->
<div class="header">
<div class="summary">
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pri-attribs">Private Attributes</a> |
<a href="classCVC3_1_1ScopeWatcher-members.html">List of all members</a> </div>
<div class="headertitle">
<div class="title">CVC3::ScopeWatcher Class Reference</div> </div>
</div><!--header-->
<div class="contents">
<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>
<div class="dynheader">
Collaboration diagram for CVC3::ScopeWatcher:</div>
<div class="dyncontent">
<div class="center"><img src="classCVC3_1_1ScopeWatcher__coll__graph.gif" border="0" usemap="#CVC3_1_1ScopeWatcher_coll__map" alt="Collaboration graph"/></div>
<map name="CVC3_1_1ScopeWatcher_coll__map" id="CVC3_1_1ScopeWatcher_coll__map">
</map>
</div>
<table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pub-methods"></a>
Public Member Functions</h2></td></tr>
<tr class="memitem:aea403b8b5f957e895acdbcc1f7b31b8d"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1ScopeWatcher.html#aea403b8b5f957e895acdbcc1f7b31b8d">ScopeWatcher</a> (bool *flag)</td></tr>
<tr class="separator:aea403b8b5f957e895acdbcc1f7b31b8d"><td class="memSeparator" colspan="2"> </td></tr>
<tr class="memitem:a16c42e2a3e9ab587d2a51fa07218eac4"><td class="memItemLeft" align="right" valign="top"> </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1ScopeWatcher.html#a16c42e2a3e9ab587d2a51fa07218eac4">~ScopeWatcher</a> ()</td></tr>
<tr class="separator:a16c42e2a3e9ab587d2a51fa07218eac4"><td class="memSeparator" colspan="2"> </td></tr>
</table><table class="memberdecls">
<tr class="heading"><td colspan="2"><h2 class="groupheader"><a name="pri-attribs"></a>
Private Attributes</h2></td></tr>
<tr class="memitem:a248003277034de7387a59039119224d8"><td class="memItemLeft" align="right" valign="top">bool * </td><td class="memItemRight" valign="bottom"><a class="el" href="classCVC3_1_1ScopeWatcher.html#a248003277034de7387a59039119224d8">d_flag</a></td></tr>
<tr class="separator:a248003277034de7387a59039119224d8"><td class="memSeparator" colspan="2"> </td></tr>
</table>
<a name="details" id="details"></a><h2 class="groupheader">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><h2 class="groupheader">Constructor & Destructor Documentation</h2>
<a class="anchor" id="aea403b8b5f957e895acdbcc1f7b31b8d"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<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></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </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>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">CVC3::ScopeWatcher::~ScopeWatcher </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">inline</span></span> </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>
<h2 class="groupheader">Member Data Documentation</h2>
<a class="anchor" id="a248003277034de7387a59039119224d8"></a>
<div class="memitem">
<div class="memproto">
<table class="mlabels">
<tr>
<td class="mlabels-left">
<table class="memname">
<tr>
<td class="memname">bool* CVC3::ScopeWatcher::d_flag</td>
</tr>
</table>
</td>
<td class="mlabels-right">
<span class="mlabels"><span class="mlabel">private</span></span> </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><!-- 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>
