<!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::Scope 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_1Scope.html">Scope</a> </li>
</ul>
</div>
</div>
<div class="header">
<div class="summary">
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pri-methods">Private Member Functions</a> |
<a href="#pri-attribs">Private Attributes</a> |
<a href="#friends">Friends</a> </div>
<div class="headertitle">
<div class="title">CVC3::Scope Class Reference<div class="ingroups"><a class="el" href="group__Context.html">Context Management</a></div></div> </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::Scope" -->
<p><code>#include <<a class="el" href="context_8h_source.html">context.h</a>></code></p>
<p><a href="classCVC3_1_1Scope-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_1Scope.html#aaed4373135bf8803a725eafc37466dd5">Scope</a> (<a class="el" href="classCVC3_1_1Context.html">Context</a> *context, <a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> *cmm, <a class="el" href="classCVC3_1_1Scope.html">Scope</a> *prevScope=NULL)
<dl class="el"><dd class="mdescRight">Constructor. <a href="#aaed4373135bf8803a725eafc37466dd5"></a><br/></dl><li><a class="el" href="classCVC3_1_1Scope.html#a03a8d51e2a01b97bedc96d1e67488c7f">~Scope</a> ()
<dl class="el"><dd class="mdescRight">Destructor. <a href="#a03a8d51e2a01b97bedc96d1e67488c7f"></a><br/></dl><li><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * <a class="el" href="classCVC3_1_1Scope.html#aaf14b7225ee54df52812aaa7f6d08a30">prevScope</a> () const
<dl class="el"><dd class="mdescRight">Access functions. <a href="#aaf14b7225ee54df52812aaa7f6d08a30"></a><br/></dl><li>int <a class="el" href="classCVC3_1_1Scope.html#ad5c67e42cab76cf985c2aff1fab5f16e">level</a> (void) const
<li>bool <a class="el" href="group__Context.html#ga3a1efd364586330635a668eae3d2612d">isCurrent</a> (void) const
<li><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * <a class="el" href="group__Context.html#ga745d55cc6d3ab3bea1afe675fd7ce7a7">topScope</a> () const
<li><a class="el" href="classCVC3_1_1Context.html">Context</a> * <a class="el" href="classCVC3_1_1Scope.html#ade77b2683969176cb35cb7d8f39079ba">getContext</a> () const
<li><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> * <a class="el" href="classCVC3_1_1Scope.html#a95900e8234970f533045827446e05e64">getCMM</a> () const
<li>void * <a class="el" href="classCVC3_1_1Scope.html#abadab46860137ebbd886a695ae9c9e46">operator new</a> (size_t size, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)
<li>void <a class="el" href="classCVC3_1_1Scope.html#aae8bd5faeb04b443612cd724445f8462">operator delete</a> (void *pMem, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)
<li>void <a class="el" href="classCVC3_1_1Scope.html#adf2e0e25af9ba26c5477367a88314d3f">operator delete</a> (void *)
<li>void <a class="el" href="group__Context.html#ga1b0a5ef8d8aef498218f0dfddea851a7">restore</a> (void)
<dl class="el"><dd class="mdescRight">Restore all the values. <a href="group__Context.html#ga1b0a5ef8d8aef498218f0dfddea851a7"></a><br/></dl><li>void <a class="el" href="classCVC3_1_1Scope.html#a288d98e934b96112a131f0bbd068680f">finalize</a> (void)
<dl class="el"><dd class="mdescRight">Called by ~ContextManager. <a href="#a288d98e934b96112a131f0bbd068680f"></a><br/></dl><li>void <a class="el" href="classCVC3_1_1Scope.html#a796f074fbe4834687942c43b6456dabb">check</a> (void)
<dl class="el"><dd class="mdescRight">Check for memory leaks. <a href="#a796f074fbe4834687942c43b6456dabb"></a><br/></dl><li>unsigned long <a class="el" href="classCVC3_1_1Scope.html#a007e070f14d1158207a28293354ed106">getMemory</a> (int verbosity)
<dl class="el"><dd class="mdescRight">Compute memory used. <a href="#a007e070f14d1158207a28293354ed106"></a><br/></dl></ul>
<h2><a name="pri-methods"></a>
Private Member Functions</h2>
<ul>
<li>void <a class="el" href="group__Context.html#ga3fcf473cd27da6c7498f462650f75ac8">addToChain</a> (<a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> *obj)
<dl class="el"><dd class="mdescRight">Called by <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a> when created. <a href="group__Context.html#ga3fcf473cd27da6c7498f462650f75ac8"></a><br/></dl></ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li><a class="el" href="classCVC3_1_1Context.html">Context</a> * <a class="el" href="classCVC3_1_1Scope.html#a7d2d367f8da7a9d216f1de35d65bda37">d_context</a>
<dl class="el"><dd class="mdescRight"><a class="el" href="classCVC3_1_1Context.html">Context</a> that created this scope. <a href="#a7d2d367f8da7a9d216f1de35d65bda37"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a> * <a class="el" href="classCVC3_1_1Scope.html#a1ff51670a2263ba69ccd35d13cdb1395">d_cmm</a>
<dl class="el"><dd class="mdescRight">Memory manager for this scope. <a href="#a1ff51670a2263ba69ccd35d13cdb1395"></a><br/></dl><li><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * <a class="el" href="classCVC3_1_1Scope.html#a9844d24cb03f6c43fd738350fa6447c5">d_prevScope</a>
<dl class="el"><dd class="mdescRight">Previous scope in this context. <a href="#a9844d24cb03f6c43fd738350fa6447c5"></a><br/></dl><li>int <a class="el" href="classCVC3_1_1Scope.html#aac245fe3aaa3bf2578867ec669b162e9">d_level</a>
<dl class="el"><dd class="mdescRight"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> level. <a href="#aac245fe3aaa3bf2578867ec669b162e9"></a><br/></dl><li><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a> * <a class="el" href="classCVC3_1_1Scope.html#a0940c7152f4eeb881856460985a83cb6">d_restoreChain</a>
<dl class="el"><dd class="mdescRight">Linked list of objects which are "current" in this scope, and thus need to be restored when the scope is deleted. <a href="#a0940c7152f4eeb881856460985a83cb6"></a><br/></dl></ul>
<h2><a name="friends"></a>
Friends</h2>
<ul>
<li>class <a class="el" href="classCVC3_1_1Scope.html#aaa3d900ada369da566fe2d896aee9a5a">ContextObj</a>
<li>class <a class="el" href="classCVC3_1_1Scope.html#a78b6f5579433f2891e2bb17c011ec112">ContextObjChain</a>
<li>class <a class="el" href="classCVC3_1_1Scope.html#ade09c87996f604683ba4726bfdd79121">CDFlags</a>
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock"><p>Author: Clark Barrett</p>
<p>Created: Thu Feb 13 00:19:15 2003</p>
<p>A scope encapsulates the portion of a context which has changed since the last call to <a class="el" href="group__ExprStream__Manip.html#ga2a0348c6d3f94f2f8febc6dd0a9c3218" title="Set the indentation to the current position.">push()</a>. Thus, when <a class="el" href="group__ExprStream__Manip.html#gaddb050a787be87116afc51791293d3be" title="Restore the indentation.">pop()</a> is called, everything in this scope is restored to its previous state. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00060">60</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div><hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="aaed4373135bf8803a725eafc37466dd5"></a><!-- doxytag: member="CVC3::Scope::Scope" ref="aaed4373135bf8803a725eafc37466dd5" args="(Context *context, ContextMemoryManager *cmm, Scope *prevScope=NULL)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Scope::Scope </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_1ContextMemoryManager.html">ContextMemoryManager</a> * </td>
<td class="paramname"><em>cmm</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classCVC3_1_1Scope.html">Scope</a> * </td>
<td class="paramname"><em>prevScope</em> = <code>NULL</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Constructor. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00085">85</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00074">d_level</a>, <a class="el" href="context_8h_source.html#l00095">level()</a>, and <a class="el" href="context_8h_source.html#l00094">prevScope()</a>.</p>
</div>
</div>
<a class="anchor" id="a03a8d51e2a01b97bedc96d1e67488c7f"></a><!-- doxytag: member="CVC3::Scope::~Scope" ref="a03a8d51e2a01b97bedc96d1e67488c7f" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::Scope::~Scope </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Destructor. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00091">91</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="aaf14b7225ee54df52812aaa7f6d08a30"></a><!-- doxytag: member="CVC3::Scope::prevScope" ref="aaf14b7225ee54df52812aaa7f6d08a30" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Scope.html">Scope</a>* CVC3::Scope::prevScope </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Access functions. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00094">94</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00071">d_prevScope</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00266">CVC3::Context::pop()</a>, <a class="el" href="context_8h_source.html#l00085">Scope()</a>, <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>, and <a class="el" href="context_8cpp_source.html#l00221">CVC3::Context::~Context()</a>.</p>
</div>
</div>
<a class="anchor" id="ad5c67e42cab76cf985c2aff1fab5f16e"></a><!-- doxytag: member="CVC3::Scope::level" ref="ad5c67e42cab76cf985c2aff1fab5f16e" args="(void) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int CVC3::Scope::level </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00095">95</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00074">d_level</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00296">CVC3::Context::popto()</a>, <a class="el" href="context_8h_source.html#l00085">Scope()</a>, and <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>.</p>
</div>
</div>
<a class="anchor" id="ade77b2683969176cb35cb7d8f39079ba"></a><!-- doxytag: member="CVC3::Scope::getContext" ref="ade77b2683969176cb35cb7d8f39079ba" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Context.html">Context</a>* CVC3::Scope::getContext </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00098">98</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00065">d_context</a>.</p>
</div>
</div>
<a class="anchor" id="a95900e8234970f533045827446e05e64"></a><!-- doxytag: member="CVC3::Scope::getCMM" ref="a95900e8234970f533045827446e05e64" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a>* CVC3::Scope::getCMM </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00099">99</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00068">d_cmm</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00266">CVC3::Context::pop()</a>, <a class="el" href="cdflags_8cpp_source.html#l00031">CVC3::CDFlags::update()</a>, and <a class="el" href="context_8cpp_source.html#l00221">CVC3::Context::~Context()</a>.</p>
</div>
</div>
<a class="anchor" id="abadab46860137ebbd886a695ae9c9e46"></a><!-- doxytag: member="CVC3::Scope::operator new" ref="abadab46860137ebbd886a695ae9c9e46" args="(size_t size, MemoryManager *mm)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void* CVC3::Scope::operator new </td>
<td>(</td>
<td class="paramtype">size_t </td>
<td class="paramname"><em>size</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> * </td>
<td class="paramname"><em>mm</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="context_8h_source.html#l00101">101</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="classCVC3_1_1MemoryManager.html#a3db7efbc4b956bd423a73e1157d70ce0">CVC3::MemoryManager::newData()</a>.</p>
</div>
</div>
<a class="anchor" id="aae8bd5faeb04b443612cd724445f8462"></a><!-- doxytag: member="CVC3::Scope::operator delete" ref="aae8bd5faeb04b443612cd724445f8462" args="(void *pMem, MemoryManager *mm)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::Scope::operator delete </td>
<td>(</td>
<td class="paramtype">void * </td>
<td class="paramname"><em>pMem</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> * </td>
<td class="paramname"><em>mm</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="context_8h_source.html#l00103">103</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>References <a class="el" href="classCVC3_1_1MemoryManager.html#ad29fac88d3a07566d9a8f9dc8d8e059c">CVC3::MemoryManager::deleteData()</a>.</p>
</div>
</div>
<a class="anchor" id="adf2e0e25af9ba26c5477367a88314d3f"></a><!-- doxytag: member="CVC3::Scope::operator delete" ref="adf2e0e25af9ba26c5477367a88314d3f" args="(void *)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::Scope::operator delete </td>
<td>(</td>
<td class="paramtype">void * </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="context_8h_source.html#l00106">106</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="a288d98e934b96112a131f0bbd068680f"></a><!-- doxytag: member="CVC3::Scope::finalize" ref="a288d98e934b96112a131f0bbd068680f" args="(void)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Scope::finalize </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Called by ~ContextManager. </p>
<p>Definition at line <a class="el" href="context_8cpp_source.html#l00037">37</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00153">CVC3::ContextObjChain::d_master</a>, <a class="el" href="context_8h_source.html#l00210">CVC3::ContextObj::d_restore</a>, <a class="el" href="context_8h_source.html#l00139">CVC3::ContextObjChain::d_restoreChainNext</a>, and <a class="el" href="context_8h_source.html#l00206">CVC3::ContextObj::d_scope</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00221">CVC3::Context::~Context()</a>.</p>
</div>
</div>
<a class="anchor" id="a796f074fbe4834687942c43b6456dabb"></a><!-- doxytag: member="CVC3::Scope::check" ref="a796f074fbe4834687942c43b6456dabb" args="(void)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void Scope::check </td>
<td>(</td>
<td class="paramtype">void </td>
<td class="paramname"></td><td>)</td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Check for memory leaks. </p>
<p>Definition at line <a class="el" href="context_8cpp_source.html#l00055">55</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>
<p>References <a class="el" href="context_8h_source.html#l00139">CVC3::ContextObjChain::d_restoreChainNext</a>, <a class="el" href="expr__stream_8cpp_source.html#l00353">std::endl()</a>, and <a class="el" href="debug_8h_source.html#l00406">IF_DEBUG</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00266">CVC3::Context::pop()</a>.</p>
</div>
</div>
<a class="anchor" id="a007e070f14d1158207a28293354ed106"></a><!-- doxytag: member="CVC3::Scope::getMemory" ref="a007e070f14d1158207a28293354ed106" args="(int verbosity)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">unsigned long Scope::getMemory </td>
<td>(</td>
<td class="paramtype">int </td>
<td class="paramname"><em>verbosity</em></td><td>)</td>
<td></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Compute memory used. </p>
<p>Definition at line <a class="el" href="context_8cpp_source.html#l00082">82</a> of file <a class="el" href="context_8cpp_source.html">context.cpp</a>.</p>
<p>References <a class="el" href="expr__stream_8cpp_source.html#l00353">std::endl()</a>.</p>
<p>Referenced by <a class="el" href="context_8cpp_source.html#l00312">CVC3::Context::getMemory()</a>.</p>
</div>
</div>
<hr/><h2>Friends And Related Function Documentation</h2>
<a class="anchor" id="aaa3d900ada369da566fe2d896aee9a5a"></a><!-- doxytag: member="CVC3::Scope::ContextObj" ref="aaa3d900ada369da566fe2d896aee9a5a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1ContextObj.html">ContextObj</a><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00061">61</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="a78b6f5579433f2891e2bb17c011ec112"></a><!-- doxytag: member="CVC3::Scope::ContextObjChain" ref="a78b6f5579433f2891e2bb17c011ec112" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00062">62</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<a class="anchor" id="ade09c87996f604683ba4726bfdd79121"></a><!-- doxytag: member="CVC3::Scope::CDFlags" ref="ade09c87996f604683ba4726bfdd79121" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1CDFlags.html">CDFlags</a><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="context_8h_source.html#l00063">63</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="a7d2d367f8da7a9d216f1de35d65bda37"></a><!-- doxytag: member="CVC3::Scope::d_context" ref="a7d2d367f8da7a9d216f1de35d65bda37" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Context.html">Context</a>* <a class="el" href="classCVC3_1_1Scope.html#a7d2d367f8da7a9d216f1de35d65bda37">CVC3::Scope::d_context</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p><a class="el" href="classCVC3_1_1Context.html">Context</a> that created this scope. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00065">65</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>Referenced by <a class="el" href="context_8h_source.html#l00098">getContext()</a>.</p>
</div>
</div>
<a class="anchor" id="a1ff51670a2263ba69ccd35d13cdb1395"></a><!-- doxytag: member="CVC3::Scope::d_cmm" ref="a1ff51670a2263ba69ccd35d13cdb1395" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ContextMemoryManager.html">ContextMemoryManager</a>* <a class="el" href="classCVC3_1_1Scope.html#a1ff51670a2263ba69ccd35d13cdb1395">CVC3::Scope::d_cmm</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Memory manager for this scope. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00068">68</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>Referenced by <a class="el" href="context_8h_source.html#l00099">getCMM()</a>.</p>
</div>
</div>
<a class="anchor" id="a9844d24cb03f6c43fd738350fa6447c5"></a><!-- doxytag: member="CVC3::Scope::d_prevScope" ref="a9844d24cb03f6c43fd738350fa6447c5" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1Scope.html">Scope</a>* <a class="el" href="classCVC3_1_1Scope.html#a9844d24cb03f6c43fd738350fa6447c5">CVC3::Scope::d_prevScope</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Previous scope in this context. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00071">71</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>Referenced by <a class="el" href="context_8h_source.html#l00094">prevScope()</a>.</p>
</div>
</div>
<a class="anchor" id="aac245fe3aaa3bf2578867ec669b162e9"></a><!-- doxytag: member="CVC3::Scope::d_level" ref="aac245fe3aaa3bf2578867ec669b162e9" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">int <a class="el" href="classCVC3_1_1Scope.html#aac245fe3aaa3bf2578867ec669b162e9">CVC3::Scope::d_level</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p><a class="el" href="classCVC3_1_1Scope.html">Scope</a> level. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00074">74</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
<p>Referenced by <a class="el" href="context_8h_source.html#l00095">level()</a>, and <a class="el" href="context_8h_source.html#l00085">Scope()</a>.</p>
</div>
</div>
<a class="anchor" id="a0940c7152f4eeb881856460985a83cb6"></a><!-- doxytag: member="CVC3::Scope::d_restoreChain" ref="a0940c7152f4eeb881856460985a83cb6" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ContextObjChain.html">ContextObjChain</a>* <a class="el" href="classCVC3_1_1Scope.html#a0940c7152f4eeb881856460985a83cb6">CVC3::Scope::d_restoreChain</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Linked list of objects which are "current" in this scope, and thus need to be restored when the scope is deleted. </p>
<p>Definition at line <a class="el" href="context_8h_source.html#l00078">78</a> of file <a class="el" href="context_8h_source.html">context.h</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="context_8h_source.html">context.h</a></li>
<li><a class="el" href="context_8cpp_source.html">context.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>
