<!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::ExprString 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_1ExprString.html">ExprString</a> </li>
</ul>
</div>
</div>
<div class="header">
<div class="summary">
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pro-methods">Protected Member Functions</a> |
<a href="#pri-methods">Private Member Functions</a> |
<a href="#pri-static-methods">Static Private Member Functions</a> |
<a href="#pri-attribs">Private Attributes</a> |
<a href="#friends">Friends</a> </div>
<div class="headertitle">
<div class="title">CVC3::ExprString Class Reference</div> </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::ExprString" --><!-- doxytag: inherits="CVC3::ExprValue" -->
<p><code>#include <<a class="el" href="expr__value_8h_source.html">expr_value.h</a>></code></p>
<div class="dynheader">
Inheritance diagram for CVC3::ExprString:</div>
<div class="dyncontent">
<div class="center">
<img src="classCVC3_1_1ExprString.png" usemap="#CVC3::ExprString_map" alt=""/>
<map id="CVC3::ExprString_map" name="CVC3::ExprString_map">
<area href="classCVC3_1_1ExprValue.html" title="The base class for holding the actual data in expressions." alt="CVC3::ExprValue" shape="rect" coords="0,0,111,24"/>
</map>
</div></div>
<p><a href="classCVC3_1_1ExprString-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_1ExprString.html#ad264bc3f1973c5744e0f2e5c205b5e88">ExprString</a> (<a class="el" href="classCVC3_1_1ExprManager.html">ExprManager</a> *em, const std::string &s, <a class="el" href="namespaceCVC3.html#a4233916514848331ee104548acbab912">ExprIndex</a> idx=0)
<li>virtual <a class="el" href="classCVC3_1_1ExprString.html#a6c52dcdd43af02d0072ce0952d7d985d">~ExprString</a> ()
<li>virtual bool <a class="el" href="classCVC3_1_1ExprString.html#a796ac7a56c0c18164b13f75fd7d313d9">operator==</a> (const <a class="el" href="classCVC3_1_1ExprValue.html">ExprValue</a> &ev2) const
<dl class="el"><dd class="mdescRight">Equality between any two <a class="el" href="classCVC3_1_1ExprValue.html" title="The base class for holding the actual data in expressions.">ExprValue</a> objects (including subclasses) <a href="#a796ac7a56c0c18164b13f75fd7d313d9"></a><br/></dl><li>void * <a class="el" href="classCVC3_1_1ExprString.html#ae2122a3fcb86c76348fbff2022f5290f">operator new</a> (size_t size, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)
<dl class="el"><dd class="mdescRight">Overload operator new. <a href="#ae2122a3fcb86c76348fbff2022f5290f"></a><br/></dl><li>void <a class="el" href="classCVC3_1_1ExprString.html#afbae7ed425f56571a50b11fe68a4cc29">operator delete</a> (void *pMem, <a class="el" href="classCVC3_1_1MemoryManager.html">MemoryManager</a> *mm)
<li>void <a class="el" href="classCVC3_1_1ExprString.html#ae5b7621c5b77904da2d6488832ca27aa">operator delete</a> (void *)
<dl class="el"><dd class="mdescRight">Overload operator delete. <a href="#ae5b7621c5b77904da2d6488832ca27aa"></a><br/></dl></ul>
<h2><a name="pro-methods"></a>
Protected Member Functions</h2>
<ul>
<li>virtual size_t <a class="el" href="classCVC3_1_1ExprString.html#a1b27290de26548ef6614c3820ea44938">computeHash</a> () const
<dl class="el"><dd class="mdescRight">Non-caching hash function which actually computes the hash. <a href="#a1b27290de26548ef6614c3820ea44938"></a><br/></dl><li>virtual bool <a class="el" href="classCVC3_1_1ExprString.html#a60ae9d5ce7839bee80427357aba8381c">isString</a> () const
<dl class="el"><dd class="mdescRight">String expression tester. <a href="#a60ae9d5ce7839bee80427357aba8381c"></a><br/></dl><li>virtual const std::string & <a class="el" href="classCVC3_1_1ExprString.html#a4b6491652a4a8c2c4227ad7f15a7763f">getString</a> () const
<li>virtual <a class="el" href="classCVC3_1_1ExprValue.html">ExprValue</a> * <a class="el" href="classCVC3_1_1ExprString.html#a0c9b985a0eb85e5b997eb96f224fd3e0">copy</a> (<a class="el" href="classCVC3_1_1ExprManager.html">ExprManager</a> *em, <a class="el" href="namespaceCVC3.html#a4233916514848331ee104548acbab912">ExprIndex</a> idx=0) const
<dl class="el"><dd class="mdescRight">Make a clean copy of itself using the given memory manager. <a href="#a0c9b985a0eb85e5b997eb96f224fd3e0"></a><br/></dl></ul>
<h2><a name="pri-methods"></a>
Private Member Functions</h2>
<ul>
<li>virtual size_t <a class="el" href="classCVC3_1_1ExprString.html#a50112fa6dbb243ce8eff84bd0dd20815">getMMIndex</a> () const
<dl class="el"><dd class="mdescRight">Get unique memory manager ID. <a href="#a50112fa6dbb243ce8eff84bd0dd20815"></a><br/></dl></ul>
<h2><a name="pri-static-methods"></a>
Static Private Member Functions</h2>
<ul>
<li>static size_t <a class="el" href="classCVC3_1_1ExprString.html#a5af79e0891867c5049fc6246326832cb">hash</a> (const std::string &str)
</ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li>std::string <a class="el" href="classCVC3_1_1ExprString.html#accb6b624d3a50f61cffdde3cdb77c13a">d_str</a>
</ul>
<h2><a name="friends"></a>
Friends</h2>
<ul>
<li>class <a class="el" href="classCVC3_1_1ExprString.html#aa33520359f6cc0f51b476790d39ed869">Expr</a>
<li>class <a class="el" href="classCVC3_1_1ExprString.html#a53c627979d9a14928590601b9fd195c2">ExprManager</a>
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock">
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00659">659</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div><hr/><h2>Constructor & Destructor Documentation</h2>
<a class="anchor" id="ad264bc3f1973c5744e0f2e5c205b5e88"></a><!-- doxytag: member="CVC3::ExprString::ExprString" ref="ad264bc3f1973c5744e0f2e5c205b5e88" args="(ExprManager *em, const std::string &s, ExprIndex idx=0)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">CVC3::ExprString::ExprString </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classCVC3_1_1ExprManager.html">ExprManager</a> * </td>
<td class="paramname"><em>em</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>s</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="namespaceCVC3.html#a4233916514848331ee104548acbab912">ExprIndex</a> </td>
<td class="paramname"><em>idx</em> = <code>0</code> </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="expr__value_8h_source.html#l00684">684</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div>
</div>
<a class="anchor" id="a6c52dcdd43af02d0072ce0952d7d985d"></a><!-- doxytag: member="CVC3::ExprString::~ExprString" ref="a6c52dcdd43af02d0072ce0952d7d985d" args="()" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">virtual CVC3::ExprString::~ExprString </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td><code> [inline, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00687">687</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a5af79e0891867c5049fc6246326832cb"></a><!-- doxytag: member="CVC3::ExprString::hash" ref="a5af79e0891867c5049fc6246326832cb" args="(const std::string &str)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">static size_t CVC3::ExprString::hash </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>str</em></td><td>)</td>
<td><code> [inline, static, private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00666">666</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
<p>References <a class="el" href="expr__value_8h_source.html#l00182">CVC3::ExprValue::s_charHash</a>.</p>
</div>
</div>
<a class="anchor" id="a50112fa6dbb243ce8eff84bd0dd20815"></a><!-- doxytag: member="CVC3::ExprString::getMMIndex" ref="a50112fa6dbb243ce8eff84bd0dd20815" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">virtual size_t CVC3::ExprString::getMMIndex </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline, private, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Get unique memory manager ID. </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#af4280c2539ba1dd4a089f0537f7ef3d4">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00671">671</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
<p>References <a class="el" href="expr_8h_source.html#l00069">CVC3::EXPR_STRING</a>.</p>
</div>
</div>
<a class="anchor" id="a1b27290de26548ef6614c3820ea44938"></a><!-- doxytag: member="CVC3::ExprString::computeHash" ref="a1b27290de26548ef6614c3820ea44938" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">virtual size_t CVC3::ExprString::computeHash </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline, protected, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Non-caching hash function which actually computes the hash. </p>
<p>This is the method that all subclasses should implement </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#aff96f4613c00f5094149c1f59639d310">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00675">675</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
<p>References <a class="el" href="expr__value_8h_source.html#l00663">d_str</a>, and <a class="el" href="expr__value_8h_source.html#l00155">CVC3::ExprValue::hash()</a>.</p>
</div>
</div>
<a class="anchor" id="a60ae9d5ce7839bee80427357aba8381c"></a><!-- doxytag: member="CVC3::ExprString::isString" ref="a60ae9d5ce7839bee80427357aba8381c" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">virtual bool CVC3::ExprString::isString </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline, protected, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>String expression tester. </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#a89b8a3f5ae5d364b6ac5e49de7d3929c">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00677">677</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div>
</div>
<a class="anchor" id="a4b6491652a4a8c2c4227ad7f15a7763f"></a><!-- doxytag: member="CVC3::ExprString::getString" ref="a4b6491652a4a8c2c4227ad7f15a7763f" args="() const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">virtual const std::string& CVC3::ExprString::getString </td>
<td>(</td>
<td class="paramname"></td><td>)</td>
<td> const<code> [inline, protected, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#ae08d4299bce518b15feae6717b22db60">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00678">678</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
<p>References <a class="el" href="expr__value_8h_source.html#l00663">d_str</a>.</p>
</div>
</div>
<a class="anchor" id="a0c9b985a0eb85e5b997eb96f224fd3e0"></a><!-- doxytag: member="CVC3::ExprString::copy" ref="a0c9b985a0eb85e5b997eb96f224fd3e0" args="(ExprManager *em, ExprIndex idx=0) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1ExprValue.html">ExprValue</a> * CVC3::ExprString::copy </td>
<td>(</td>
<td class="paramtype"><a class="el" href="classCVC3_1_1ExprManager.html">ExprManager</a> * </td>
<td class="paramname"><em>em</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype"><a class="el" href="namespaceCVC3.html#a4233916514848331ee104548acbab912">ExprIndex</a> </td>
<td class="paramname"><em>idx</em> = <code>0</code> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td> const<code> [protected, virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Make a clean copy of itself using the given memory manager. </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#a2e152d0473e881c1eb47f5baeb546525">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8cpp_source.html#l00151">151</a> of file <a class="el" href="expr__value_8cpp_source.html">expr_value.cpp</a>.</p>
<p>References <a class="el" href="expr__manager_8h_source.html#l00334">CVC3::ExprManager::getMM()</a>.</p>
</div>
</div>
<a class="anchor" id="a796ac7a56c0c18164b13f75fd7d313d9"></a><!-- doxytag: member="CVC3::ExprString::operator==" ref="a796ac7a56c0c18164b13f75fd7d313d9" args="(const ExprValue &ev2) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">bool CVC3::ExprString::operator== </td>
<td>(</td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1ExprValue.html">ExprValue</a> & </td>
<td class="paramname"><em>ev2</em></td><td>)</td>
<td> const<code> [virtual]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Equality between any two <a class="el" href="classCVC3_1_1ExprValue.html" title="The base class for holding the actual data in expressions.">ExprValue</a> objects (including subclasses) </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#abdbf51b85cc77255679ac90af34a865f">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8cpp_source.html#l00144">144</a> of file <a class="el" href="expr__value_8cpp_source.html">expr_value.cpp</a>.</p>
<p>References <a class="el" href="expr__value_8h_source.html#l00263">CVC3::ExprValue::getMMIndex()</a>, and <a class="el" href="expr__value_8h_source.html#l00326">CVC3::ExprValue::getString()</a>.</p>
</div>
</div>
<a class="anchor" id="ae2122a3fcb86c76348fbff2022f5290f"></a><!-- doxytag: member="CVC3::ExprString::operator new" ref="ae2122a3fcb86c76348fbff2022f5290f" args="(size_t size, MemoryManager *mm)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void* CVC3::ExprString::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>Overload operator new. </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#a6f7cb3318ee9743e6e47b30780d393f9">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00691">691</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.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="afbae7ed425f56571a50b11fe68a4cc29"></a><!-- doxytag: member="CVC3::ExprString::operator delete" ref="afbae7ed425f56571a50b11fe68a4cc29" args="(void *pMem, MemoryManager *mm)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::ExprString::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>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#a2b1b3c8574ac40f50f4498e522c3618d">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00694">694</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.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="ae5b7621c5b77904da2d6488832ca27aa"></a><!-- doxytag: member="CVC3::ExprString::operator delete" ref="ae5b7621c5b77904da2d6488832ca27aa" args="(void *)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::ExprString::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>Overload operator delete. </p>
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#a2283fde20b269f1f98ab0eb43c3dddd6">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00697">697</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div>
</div>
<hr/><h2>Friends And Related Function Documentation</h2>
<a class="anchor" id="aa33520359f6cc0f51b476790d39ed869"></a><!-- doxytag: member="CVC3::ExprString::Expr" ref="aa33520359f6cc0f51b476790d39ed869" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1Expr.html">Expr</a><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#aa33520359f6cc0f51b476790d39ed869">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00660">660</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div>
</div>
<a class="anchor" id="a53c627979d9a14928590601b9fd195c2"></a><!-- doxytag: member="CVC3::ExprString::ExprManager" ref="a53c627979d9a14928590601b9fd195c2" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">friend class <a class="el" href="classCVC3_1_1ExprManager.html">ExprManager</a><code> [friend]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Reimplemented from <a class="el" href="classCVC3_1_1ExprValue.html#a53c627979d9a14928590601b9fd195c2">CVC3::ExprValue</a>.</p>
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00661">661</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="accb6b624d3a50f61cffdde3cdb77c13a"></a><!-- doxytag: member="CVC3::ExprString::d_str" ref="accb6b624d3a50f61cffdde3cdb77c13a" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">std::string <a class="el" href="classCVC3_1_1ExprString.html#accb6b624d3a50f61cffdde3cdb77c13a">CVC3::ExprString::d_str</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="expr__value_8h_source.html#l00663">663</a> of file <a class="el" href="expr__value_8h_source.html">expr_value.h</a>.</p>
<p>Referenced by <a class="el" href="expr__value_8h_source.html#l00675">computeHash()</a>, and <a class="el" href="expr__value_8h_source.html#l00678">getString()</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following files:<ul>
<li><a class="el" href="expr__value_8h_source.html">expr_value.h</a></li>
<li><a class="el" href="expr__value_8cpp_source.html">expr_value.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>
