<!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::CLFlags 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_1CLFlags.html">CLFlags</a> </li>
</ul>
</div>
</div>
<div class="header">
<div class="summary">
<a href="#pub-methods">Public Member Functions</a> |
<a href="#pri-types">Private Types</a> |
<a href="#pri-methods">Private Member Functions</a> |
<a href="#pri-attribs">Private Attributes</a> </div>
<div class="headertitle">
<div class="title">CVC3::CLFlags Class Reference</div> </div>
</div>
<div class="contents">
<!-- doxytag: class="CVC3::CLFlags" -->
<p><code>#include <<a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>></code></p>
<p><a href="classCVC3_1_1CLFlags-members.html">List of all members.</a></p>
<h2><a name="pub-methods"></a>
Public Member Functions</h2>
<ul>
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#a49982557d73f53b6dfb117846dde6656">addFlag</a> (const std::string &name, const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> &f)
<li>size_t <a class="el" href="classCVC3_1_1CLFlags.html#af2ae348c56b88e203f5eade60946d217">countFlags</a> (const std::string &name) const
<li>size_t <a class="el" href="classCVC3_1_1CLFlags.html#a6a9e49e4009b604eccd6e362cf2198a6">countFlags</a> (const std::string &name, std::vector< std::string > &names) const
<li>const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlags.html#ad65cf122deb406f876b7014d778d2dba">getFlag</a> (const std::string &name) const
<li>const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlags.html#af0c795218c6df26916c2f12a9d21bb45">operator[]</a> (const std::string &name) const
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#a20dee56b9b946d73421253eb99e434e3">setFlag</a> (const std::string &name, const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> &f)
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#a8fb712b42c1d43a963aa4a6e3eae3b63">setFlag</a> (const std::string &name, bool b)
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#afbc75093ba00ca2e5847465a74bcdaed">setFlag</a> (const std::string &name, int i)
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#aeb42298a7b6acd67e4c7a7962dca40cc">setFlag</a> (const std::string &name, const std::string &s)
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#ad134cd63c9eb8bc5421a406cae5e8143">setFlag</a> (const std::string &name, const char *s)
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#a1531ceee509b17ce53aa55852817b080">setFlag</a> (const std::string &name, const std::pair< std::string, bool > &p)
<li>void <a class="el" href="classCVC3_1_1CLFlags.html#a4fab4fccca0cf31d3b0c916e6f461e52">setFlag</a> (const std::string &name, const std::vector< std::pair< std::string, bool > > &sv)
</ul>
<h2><a name="pri-types"></a>
Private Types</h2>
<ul>
<li>typedef std::map< std::string, <br class="typebreak"/>
<a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> > <a class="el" href="classCVC3_1_1CLFlags.html#aa19d1678ba1ef4d6c418096cf96d692b">CharMap</a>
</ul>
<h2><a name="pri-methods"></a>
Private Member Functions</h2>
<ul>
<li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlags.html#a8306bc2940da947eea4e81907d1b7d01">getFlag0</a> (const std::string &name)
</ul>
<h2><a name="pri-attribs"></a>
Private Attributes</h2>
<ul>
<li><a class="el" href="classCVC3_1_1CLFlags.html#aa19d1678ba1ef4d6c418096cf96d692b">CharMap</a> <a class="el" href="classCVC3_1_1CLFlags.html#aa86b7cb2d5c101faf7e7f24776a95de1">d_map</a>
</ul>
<hr/><a name="details" id="details"></a><h2>Detailed Description</h2>
<div class="textblock">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00246">246</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
</div><hr/><h2>Member Typedef Documentation</h2>
<a class="anchor" id="aa19d1678ba1ef4d6c418096cf96d692b"></a><!-- doxytag: member="CVC3::CLFlags::CharMap" ref="aa19d1678ba1ef4d6c418096cf96d692b" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">typedef std::map<std::string, <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>> <a class="el" href="classCVC3_1_1CLFlags.html#aa19d1678ba1ef4d6c418096cf96d692b">CVC3::CLFlags::CharMap</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00248">248</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
</div>
</div>
<hr/><h2>Member Function Documentation</h2>
<a class="anchor" id="a8306bc2940da947eea4e81907d1b7d01"></a><!-- doxytag: member="CVC3::CLFlags::getFlag0" ref="a8306bc2940da947eea4e81907d1b7d01" args="(const std::string &name)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlags::getFlag0 </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em></td><td>)</td>
<td><code> [inline, private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00255">255</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00249">d_map</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p>
<p>Referenced by <a class="el" href="command__line__flags_8h_source.html#l00302">setFlag()</a>.</p>
</div>
</div>
<a class="anchor" id="a49982557d73f53b6dfb117846dde6656"></a><!-- doxytag: member="CVC3::CLFlags::addFlag" ref="a49982557d73f53b6dfb117846dde6656" args="(const std::string &name, const CLFlag &f)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::addFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & </td>
<td class="paramname"><em>f</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="command__line__flags_8h_source.html#l00263">263</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00249">d_map</a>.</p>
<p>Referenced by <a class="el" href="vcl_8cpp_source.html#l00069">CVC3::ValidityChecker::createFlags()</a>.</p>
</div>
</div>
<a class="anchor" id="af2ae348c56b88e203f5eade60946d217"></a><!-- doxytag: member="CVC3::CLFlags::countFlags" ref="af2ae348c56b88e203f5eade60946d217" args="(const std::string &name) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">size_t CVC3::CLFlags::countFlags </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00267">267</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00249">d_map</a>.</p>
<p>Referenced by <a class="el" href="vc__cmd_8cpp_source.html#l00267">CVC3::VCCmd::evaluateCommand()</a>, <a class="el" href="main_8cpp_source.html#l00266">parse_args()</a>, and <a class="el" href="main_8cpp_source.html#l00217">printUsage()</a>.</p>
</div>
</div>
<a class="anchor" id="a6a9e49e4009b604eccd6e362cf2198a6"></a><!-- doxytag: member="CVC3::CLFlags::countFlags" ref="a6a9e49e4009b604eccd6e362cf2198a6" args="(const std::string &name, std::vector< std::string > &names) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">size_t CVC3::CLFlags::countFlags </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">std::vector< std::string > & </td>
<td class="paramname"><em>names</em> </td>
</tr>
<tr>
<td></td>
<td>)</td>
<td></td><td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00276">276</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00249">d_map</a>.</p>
</div>
</div>
<a class="anchor" id="ad65cf122deb406f876b7014d778d2dba"></a><!-- doxytag: member="CVC3::CLFlags::getFlag" ref="ad65cf122deb406f876b7014d778d2dba" args="(const std::string &name) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlags::getFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00290">290</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00249">d_map</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p>
<p>Referenced by <a class="el" href="command__line__flags_8h_source.html#l00296">operator[]()</a>.</p>
</div>
</div>
<a class="anchor" id="af0c795218c6df26916c2f12a9d21bb45"></a><!-- doxytag: member="CVC3::CLFlags::operator[]" ref="af0c795218c6df26916c2f12a9d21bb45" args="(const std::string &name) const " -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlags::operator[] </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em></td><td>)</td>
<td> const<code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00296">296</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00290">getFlag()</a>.</p>
</div>
</div>
<a class="anchor" id="a20dee56b9b946d73421253eb99e434e3"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="a20dee56b9b946d73421253eb99e434e3" args="(const std::string &name, const CLFlag &f)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & </td>
<td class="paramname"><em>f</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="command__line__flags_8h_source.html#l00302">302</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>, <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00197">CVC3::CLFlag::getType()</a>.</p>
<p>Referenced by <a class="el" href="cnf__manager_8cpp_source.html#l00035">SAT::CNF_Manager::CNF_Manager()</a>, <a class="el" href="vc__cmd_8cpp_source.html#l00267">CVC3::VCCmd::evaluateCommand()</a>, <a class="el" href="main_8cpp_source.html#l00092">main()</a>, and <a class="el" href="main_8cpp_source.html#l00266">parse_args()</a>.</p>
</div>
</div>
<a class="anchor" id="a8fb712b42c1d43a963aa4a6e3eae3b63"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="a8fb712b42c1d43a963aa4a6e3eae3b63" args="(const std::string &name, bool b)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">bool </td>
<td class="paramname"><em>b</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="command__line__flags_8h_source.html#l00310">310</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<a class="anchor" id="afbc75093ba00ca2e5847465a74bcdaed"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="afbc75093ba00ca2e5847465a74bcdaed" args="(const std::string &name, int i)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">int </td>
<td class="paramname"><em>i</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="command__line__flags_8h_source.html#l00311">311</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<a class="anchor" id="aeb42298a7b6acd67e4c7a7962dca40cc"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="aeb42298a7b6acd67e4c7a7962dca40cc" args="(const std::string &name, const std::string &s)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</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></td>
<td>)</td>
<td></td><td><code> [inline]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00312">312</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<a class="anchor" id="ad134cd63c9eb8bc5421a406cae5e8143"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="ad134cd63c9eb8bc5421a406cae5e8143" args="(const std::string &name, const char *s)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const char * </td>
<td class="paramname"><em>s</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="command__line__flags_8h_source.html#l00314">314</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<a class="anchor" id="a1531ceee509b17ce53aa55852817b080"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="a1531ceee509b17ce53aa55852817b080" args="(const std::string &name, const std::pair< std::string, bool > &p)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const std::pair< std::string, bool > & </td>
<td class="paramname"><em>p</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="command__line__flags_8h_source.html#l00316">316</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<a class="anchor" id="a4fab4fccca0cf31d3b0c916e6f461e52"></a><!-- doxytag: member="CVC3::CLFlags::setFlag" ref="a4fab4fccca0cf31d3b0c916e6f461e52" args="(const std::string &name, const std::vector< std::pair< std::string, bool > > &sv)" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname">void CVC3::CLFlags::setFlag </td>
<td>(</td>
<td class="paramtype">const std::string & </td>
<td class="paramname"><em>name</em>, </td>
</tr>
<tr>
<td class="paramkey"></td>
<td></td>
<td class="paramtype">const std::vector< std::pair< std::string, bool > > & </td>
<td class="paramname"><em>sv</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="command__line__flags_8h_source.html#l00318">318</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>References <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<hr/><h2>Member Data Documentation</h2>
<a class="anchor" id="aa86b7cb2d5c101faf7e7f24776a95de1"></a><!-- doxytag: member="CVC3::CLFlags::d_map" ref="aa86b7cb2d5c101faf7e7f24776a95de1" args="" -->
<div class="memitem">
<div class="memproto">
<table class="memname">
<tr>
<td class="memname"><a class="el" href="classCVC3_1_1CLFlags.html#aa19d1678ba1ef4d6c418096cf96d692b">CharMap</a> <a class="el" href="classCVC3_1_1CLFlags.html#aa86b7cb2d5c101faf7e7f24776a95de1">CVC3::CLFlags::d_map</a><code> [private]</code></td>
</tr>
</table>
</div>
<div class="memdoc">
<p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00249">249</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p>
<p>Referenced by <a class="el" href="command__line__flags_8h_source.html#l00263">addFlag()</a>, <a class="el" href="command__line__flags_8h_source.html#l00267">countFlags()</a>, <a class="el" href="command__line__flags_8h_source.html#l00290">getFlag()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00255">getFlag0()</a>.</p>
</div>
</div>
<hr/>The documentation for this class was generated from the following file:<ul>
<li><a class="el" href="command__line__flags_8h_source.html">command_line_flags.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>
