<!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::CLFlag 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_1CLFlag.html">CLFlag</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::CLFlag Class Reference</div> </div> </div> <div class="contents"> <!-- doxytag: class="CVC3::CLFlag" --> <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_1CLFlag-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_1CLFlag.html#a9e8266d7cf2edb4b0268173202aa78c4">CLFlag</a> (bool <a class="el" href="classCVC3_1_1CLFlag.html#a42e6e93d638393e6b3fdda87aca9720d">b</a>, const std::string &help, bool display=true) <dl class="el"><dd class="mdescRight">Constructor for a boolean flag. <a href="#a9e8266d7cf2edb4b0268173202aa78c4"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#a48be23ca453b094a712ba87ebf5569c5">CLFlag</a> (int <a class="el" href="classCVC3_1_1CLFlag.html#a69b3bea4e6e873ac8d5ee13c2550fa1f">i</a>, const std::string &help, bool display=true) <dl class="el"><dd class="mdescRight">Constructor for an integer flag. <a href="#a48be23ca453b094a712ba87ebf5569c5"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#af61af57d647b9d65be81cc787c9dce4a">CLFlag</a> (const std::string &<a class="el" href="classCVC3_1_1CLFlag.html#a05dddada482ceb7a0d91f0d1d21870ce">s</a>, const std::string &help, bool display=true) <dl class="el"><dd class="mdescRight">Constructor for a string flag. <a href="#af61af57d647b9d65be81cc787c9dce4a"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#a3cdd9d3213f9347e0bc60f14880a78ed">CLFlag</a> (const char *<a class="el" href="classCVC3_1_1CLFlag.html#a05dddada482ceb7a0d91f0d1d21870ce">s</a>, const std::string &help, bool display=true) <dl class="el"><dd class="mdescRight">Constructor for a string flag from char*. <a href="#a3cdd9d3213f9347e0bc60f14880a78ed"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#a9119cff675ecbb2a3b0247e994fafd06">CLFlag</a> (const std::vector< std::pair< std::string, bool > > &<a class="el" href="classCVC3_1_1CLFlag.html#a42c3fdc4380930049d1dda63323e7791">sv</a>, const std::string &help, bool display=true) <dl class="el"><dd class="mdescRight">Constructor for a vector flag. <a href="#a9119cff675ecbb2a3b0247e994fafd06"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#a7b820c938c2fda69f5bc9f5108ecd444">CLFlag</a> () <dl class="el"><dd class="mdescRight">Default constructor. <a href="#a7b820c938c2fda69f5bc9f5108ecd444"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#a93017e0c1accad0443581de34effa41a">CLFlag</a> (const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> &f) <dl class="el"><dd class="mdescRight">Copy constructor. <a href="#a93017e0c1accad0443581de34effa41a"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html#a0097cbcd2cbbd2fff72e0709b42485a0">~CLFlag</a> () <dl class="el"><dd class="mdescRight">Destructor. <a href="#a0097cbcd2cbbd2fff72e0709b42485a0"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#ad279d7a2013abea0a3bb45ca4128db54">operator=</a> (const <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> &f) <dl class="el"><dd class="mdescRight">Assignment from another flag. <a href="#ad279d7a2013abea0a3bb45ca4128db54"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#a1505c3d62aa68bcf247b9424f0e6c4ef">operator=</a> (bool <a class="el" href="classCVC3_1_1CLFlag.html#a42e6e93d638393e6b3fdda87aca9720d">b</a>) <dl class="el"><dd class="mdescRight">Assignment of a boolean value. <a href="#a1505c3d62aa68bcf247b9424f0e6c4ef"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#ae34ebb5a5add6e0e41d04fa94606ae10">operator=</a> (int <a class="el" href="classCVC3_1_1CLFlag.html#a69b3bea4e6e873ac8d5ee13c2550fa1f">i</a>) <dl class="el"><dd class="mdescRight">Assignment of an integer value. <a href="#ae34ebb5a5add6e0e41d04fa94606ae10"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#ad19e4e889308fd9b3fa5c5fca5ea48a1">operator=</a> (const std::string &<a class="el" href="classCVC3_1_1CLFlag.html#a05dddada482ceb7a0d91f0d1d21870ce">s</a>) <dl class="el"><dd class="mdescRight">Assignment of a string value. <a href="#ad19e4e889308fd9b3fa5c5fca5ea48a1"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#afb69562cc00ff6f2918d38aace979a64">operator=</a> (const char *<a class="el" href="classCVC3_1_1CLFlag.html#a05dddada482ceb7a0d91f0d1d21870ce">s</a>) <dl class="el"><dd class="mdescRight">Assignment of an string value from char*. <a href="#afb69562cc00ff6f2918d38aace979a64"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#a83fa570a753d771fd29df4a05d4e3c47">operator=</a> (const std::pair< std::string, bool > &p) <dl class="el"><dd class="mdescRight">Assignment of a string value with a boolean tag to a vector flag. <a href="#a83fa570a753d771fd29df4a05d4e3c47"></a><br/></dl><li><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> & <a class="el" href="classCVC3_1_1CLFlag.html#adf238074b9b3dadcb1464071c40da1ec">operator=</a> (const std::vector< std::pair< std::string, bool > > &<a class="el" href="classCVC3_1_1CLFlag.html#a42c3fdc4380930049d1dda63323e7791">sv</a>) <dl class="el"><dd class="mdescRight">Assignment of a vector value. <a href="#adf238074b9b3dadcb1464071c40da1ec"></a><br/></dl><li><a class="el" href="namespaceCVC3.html#ad8e707d3b90ce7dcd048a5b651e0a683">CLFlagType</a> <a class="el" href="classCVC3_1_1CLFlag.html#a5b69bc92a83154afcb2d05973a0bb6a1">getType</a> () const <dl class="el"><dd class="mdescRight">Return the type of the flag. <a href="#a5b69bc92a83154afcb2d05973a0bb6a1"></a><br/></dl><li>bool <a class="el" href="classCVC3_1_1CLFlag.html#a75bcd631f1de487481c0a06c6f5db984">modified</a> () const <dl class="el"><dd class="mdescRight">Return true if the flag was modified from the default value (e.g. set on the command line) <a href="#a75bcd631f1de487481c0a06c6f5db984"></a><br/></dl><li>bool <a class="el" href="classCVC3_1_1CLFlag.html#ae86a22aa89529dde24dac8a2bc942798">display</a> () const <dl class="el"><dd class="mdescRight">Return true if flag should be displayed in regular help. <a href="#ae86a22aa89529dde24dac8a2bc942798"></a><br/></dl><li>const bool & <a class="el" href="classCVC3_1_1CLFlag.html#a30fda6cd5b164cb30d9849db45d90773">getBool</a> () const <li>const int & <a class="el" href="classCVC3_1_1CLFlag.html#ae78fbec7197ac89368860d4b2c12138e">getInt</a> () const <li>const std::string & <a class="el" href="classCVC3_1_1CLFlag.html#a7a291448efc533fe859771d2951e30b8">getString</a> () const <li>const std::vector< std::pair<br class="typebreak"/> < std::string, bool > > & <a class="el" href="classCVC3_1_1CLFlag.html#a8d31d925df04ede1f366f42c2cf8cef4">getStrVec</a> () const <li>const std::string & <a class="el" href="classCVC3_1_1CLFlag.html#a7d495ea7fc3c8801595789136a88c795">getHelp</a> () const </ul> <h2><a name="pri-attribs"></a> Private Attributes</h2> <ul> <li><a class="el" href="namespaceCVC3.html#ad8e707d3b90ce7dcd048a5b651e0a683">CLFlagType</a> <a class="el" href="classCVC3_1_1CLFlag.html#a3c6092f0192a0280c1764c408db16e3a">d_tp</a> <dl class="el"><dd class="mdescRight"><a class="el" href="classCVC3_1_1Type.html" title="MS C++ specific settings.">Type</a> of the argument. <a href="#a3c6092f0192a0280c1764c408db16e3a"></a><br/></dl><li>union { <ul> <li>   bool    <a class="el" href="classCVC3_1_1CLFlag.html#a42e6e93d638393e6b3fdda87aca9720d">b</a> <li>   int    <a class="el" href="classCVC3_1_1CLFlag.html#a69b3bea4e6e873ac8d5ee13c2550fa1f">i</a> <li>   std::string *    <a class="el" href="classCVC3_1_1CLFlag.html#a05dddada482ceb7a0d91f0d1d21870ce">s</a> <li>   std::vector< std::pair<br class="typebreak"/> < std::string, bool > > *    <a class="el" href="classCVC3_1_1CLFlag.html#a42c3fdc4380930049d1dda63323e7791">sv</a> </ul> <li>} <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a> <li>bool <a class="el" href="classCVC3_1_1CLFlag.html#a90072b913bc3516a742d3592fe2de2db">d_modified</a> <dl class="el"><dd class="mdescRight">This tag is set to true when the flag is assigned a new value. <a href="#a90072b913bc3516a742d3592fe2de2db"></a><br/></dl><li>std::string <a class="el" href="classCVC3_1_1CLFlag.html#a7be7b87ece4eae25051dcfdc99cc38f5">d_help</a> <dl class="el"><dd class="mdescRight">Help string. <a href="#a7be7b87ece4eae25051dcfdc99cc38f5"></a><br/></dl><li>bool <a class="el" href="classCVC3_1_1CLFlag.html#af1b23b62af56b8757fb895ecfd8aa31c">d_display</a> <dl class="el"><dd class="mdescRight">Whether to display this flag when user invokes cvc3 -h. <a href="#af1b23b62af56b8757fb895ecfd8aa31c"></a><br/></dl></ul> <hr/><a name="details" id="details"></a><h2>Detailed Description</h2> <div class="textblock"><p>Class <a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a> (for Command Line Flag)</p> <p>Author: Sergey Berezin</p> <p>Date: Fri May 30 14:10:48 2003</p> <p>This class implements a data structure to hold a value of a single command line flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00053">53</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p> </div><hr/><h2>Constructor & Destructor Documentation</h2> <a class="anchor" id="a9e8266d7cf2edb4b0268173202aa78c4"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="a9e8266d7cf2edb4b0268173202aa78c4" args="(bool b, const std::string &help, bool display=true)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </td> <td>(</td> <td class="paramtype">bool </td> <td class="paramname"><em>b</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const std::string & </td> <td class="paramname"><em>help</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">bool </td> <td class="paramname"><em>display</em> = <code>true</code> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Constructor for a boolean flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00072">72</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#l00059">b</a>, and <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>.</p> </div> </div> <a class="anchor" id="a48be23ca453b094a712ba87ebf5569c5"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="a48be23ca453b094a712ba87ebf5569c5" args="(int i, const std::string &help, bool display=true)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </td> <td>(</td> <td class="paramtype">int </td> <td class="paramname"><em>i</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const std::string & </td> <td class="paramname"><em>help</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">bool </td> <td class="paramname"><em>display</em> = <code>true</code> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Constructor for an integer flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00076">76</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="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, and <a class="el" href="command__line__flags_8h_source.html#l00060">i</a>.</p> </div> </div> <a class="anchor" id="af61af57d647b9d65be81cc787c9dce4a"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="af61af57d647b9d65be81cc787c9dce4a" args="(const std::string &s, const std::string &help, bool display=true)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </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">const std::string & </td> <td class="paramname"><em>help</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">bool </td> <td class="paramname"><em>display</em> = <code>true</code> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Constructor for a string flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00080">80</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="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>.</p> </div> </div> <a class="anchor" id="a3cdd9d3213f9347e0bc60f14880a78ed"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="a3cdd9d3213f9347e0bc60f14880a78ed" args="(const char *s, const std::string &help, bool display=true)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </td> <td>(</td> <td class="paramtype">const char * </td> <td class="paramname"><em>s</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">const std::string & </td> <td class="paramname"><em>help</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">bool </td> <td class="paramname"><em>display</em> = <code>true</code> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Constructor for a string flag from char*. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00085">85</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="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>.</p> </div> </div> <a class="anchor" id="a9119cff675ecbb2a3b0247e994fafd06"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="a9119cff675ecbb2a3b0247e994fafd06" args="(const std::vector< std::pair< std::string, bool > > &sv, const std::string &help, bool display=true)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </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 class="paramkey"></td> <td></td> <td class="paramtype">const std::string & </td> <td class="paramname"><em>help</em>, </td> </tr> <tr> <td class="paramkey"></td> <td></td> <td class="paramtype">bool </td> <td class="paramname"><em>display</em> = <code>true</code> </td> </tr> <tr> <td></td> <td>)</td> <td></td><td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Constructor for a vector flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00090">90</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="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, and <a class="el" href="command__line__flags_8h_source.html#l00062">sv</a>.</p> </div> </div> <a class="anchor" id="a7b820c938c2fda69f5bc9f5108ecd444"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="a7b820c938c2fda69f5bc9f5108ecd444" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </td> <td>(</td> <td class="paramname"></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Default constructor. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00096">96</a> of file <a class="el" href="command__line__flags_8h_source.html">command_line_flags.h</a>.</p> </div> </div> <a class="anchor" id="a93017e0c1accad0443581de34effa41a"></a><!-- doxytag: member="CVC3::CLFlag::CLFlag" ref="a93017e0c1accad0443581de34effa41a" args="(const CLFlag &f)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::CLFlag </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><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Copy constructor. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00098">98</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#l00038">CVC3::CLFLAG_STRING</a>, <a class="el" href="command__line__flags_8h_source.html#l00039">CVC3::CLFLAG_STRVEC</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, <a class="el" href="command__line__flags_8h_source.html#l00061">s</a>, and <a class="el" href="command__line__flags_8h_source.html#l00062">sv</a>.</p> </div> </div> <a class="anchor" id="a0097cbcd2cbbd2fff72e0709b42485a0"></a><!-- doxytag: member="CVC3::CLFlag::~CLFlag" ref="a0097cbcd2cbbd2fff72e0709b42485a0" args="()" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">CVC3::CLFlag::~CLFlag </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="command__line__flags_8h_source.html#l00109">109</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#l00038">CVC3::CLFLAG_STRING</a>, <a class="el" href="command__line__flags_8h_source.html#l00039">CVC3::CLFLAG_STRVEC</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, and <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>.</p> </div> </div> <hr/><h2>Member Function Documentation</h2> <a class="anchor" id="ad279d7a2013abea0a3bb45ca4128db54"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="ad279d7a2013abea0a3bb45ca4128db54" args="(const CLFlag &f)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </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><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment from another flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00117">117</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#l00038">CVC3::CLFLAG_STRING</a>, <a class="el" href="command__line__flags_8h_source.html#l00039">CVC3::CLFLAG_STRVEC</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00069">d_display</a>, <a class="el" href="command__line__flags_8h_source.html#l00067">d_help</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, <a class="el" href="command__line__flags_8h_source.html#l00061">s</a>, and <a class="el" href="command__line__flags_8h_source.html#l00062">sv</a>.</p> </div> </div> <a class="anchor" id="a1505c3d62aa68bcf247b9424f0e6c4ef"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="a1505c3d62aa68bcf247b9424f0e6c4ef" args="(bool b)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </td> <td>(</td> <td class="paramtype">bool </td> <td class="paramname"><em>b</em></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment of a boolean value. </p> <p>The flag must already have the right type </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00148">148</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#l00059">b</a>, <a class="el" href="command__line__flags_8h_source.html#l00036">CVC3::CLFLAG_BOOL</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p> </div> </div> <a class="anchor" id="ae34ebb5a5add6e0e41d04fa94606ae10"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="ae34ebb5a5add6e0e41d04fa94606ae10" args="(int i)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </td> <td>(</td> <td class="paramtype">int </td> <td class="paramname"><em>i</em></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment of an integer value. </p> <p>The flag must already have the right type </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00156">156</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#l00037">CVC3::CLFLAG_INT</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>, and <a class="el" href="command__line__flags_8h_source.html#l00060">i</a>.</p> </div> </div> <a class="anchor" id="ad19e4e889308fd9b3fa5c5fca5ea48a1"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="ad19e4e889308fd9b3fa5c5fca5ea48a1" args="(const std::string &s)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </td> <td>(</td> <td class="paramtype">const std::string & </td> <td class="paramname"><em>s</em></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment of a string value. </p> <p>The flag must already have a string type. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00164">164</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#l00038">CVC3::CLFLAG_STRING</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>, and <a class="el" href="command__line__flags_8h_source.html#l00061">s</a>.</p> </div> </div> <a class="anchor" id="afb69562cc00ff6f2918d38aace979a64"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="afb69562cc00ff6f2918d38aace979a64" args="(const char *s)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </td> <td>(</td> <td class="paramtype">const char * </td> <td class="paramname"><em>s</em></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment of an string value from char*. </p> <p>The flag must already have a string type. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00172">172</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#l00038">CVC3::CLFLAG_STRING</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>, and <a class="el" href="command__line__flags_8h_source.html#l00061">s</a>.</p> </div> </div> <a class="anchor" id="a83fa570a753d771fd29df4a05d4e3c47"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="a83fa570a753d771fd29df4a05d4e3c47" args="(const std::pair< std::string, bool > &p)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </td> <td>(</td> <td class="paramtype">const std::pair< std::string, bool > & </td> <td class="paramname"><em>p</em></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment of a string value with a boolean tag to a vector flag. </p> <p>The flag must already have a vector type. The pair of <string,bool> will be appended to the vector. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00181">181</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#l00039">CVC3::CLFLAG_STRVEC</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p> </div> </div> <a class="anchor" id="adf238074b9b3dadcb1464071c40da1ec"></a><!-- doxytag: member="CVC3::CLFlag::operator=" ref="adf238074b9b3dadcb1464071c40da1ec" args="(const std::vector< std::pair< std::string, bool > > &sv)" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="classCVC3_1_1CLFlag.html">CLFlag</a>& CVC3::CLFlag::operator= </td> <td>(</td> <td class="paramtype">const std::vector< std::pair< std::string, bool > > & </td> <td class="paramname"><em>sv</em></td><td>)</td> <td><code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Assignment of a vector value. </p> <p>The flag must already have a vector type. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00189">189</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#l00039">CVC3::CLFLAG_STRVEC</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00065">d_modified</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>, and <a class="el" href="command__line__flags_8h_source.html#l00062">sv</a>.</p> </div> </div> <a class="anchor" id="a5b69bc92a83154afcb2d05973a0bb6a1"></a><!-- doxytag: member="CVC3::CLFlag::getType" ref="a5b69bc92a83154afcb2d05973a0bb6a1" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="namespaceCVC3.html#ad8e707d3b90ce7dcd048a5b651e0a683">CLFlagType</a> CVC3::CLFlag::getType </td> <td>(</td> <td class="paramname"></td><td>)</td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Return the type of the flag. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00197">197</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#l00056">d_tp</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#l00217">printUsage()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00302">CVC3::CLFlags::setFlag()</a>.</p> </div> </div> <a class="anchor" id="a75bcd631f1de487481c0a06c6f5db984"></a><!-- doxytag: member="CVC3::CLFlag::modified" ref="a75bcd631f1de487481c0a06c6f5db984" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool CVC3::CLFlag::modified </td> <td>(</td> <td class="paramname"></td><td>)</td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Return true if the flag was modified from the default value (e.g. set on the command line) </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00200">200</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#l00065">d_modified</a>.</p> <p>Referenced by <a class="el" href="vc__cmd_8cpp_source.html#l00267">CVC3::VCCmd::evaluateCommand()</a>.</p> </div> </div> <a class="anchor" id="ae86a22aa89529dde24dac8a2bc942798"></a><!-- doxytag: member="CVC3::CLFlag::display" ref="ae86a22aa89529dde24dac8a2bc942798" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool CVC3::CLFlag::display </td> <td>(</td> <td class="paramname"></td><td>)</td> <td> const<code> [inline]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Return true if flag should be displayed in regular help. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00202">202</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#l00069">d_display</a>.</p> <p>Referenced by <a class="el" href="main_8cpp_source.html#l00217">printUsage()</a>.</p> </div> </div> <a class="anchor" id="a30fda6cd5b164cb30d9849db45d90773"></a><!-- doxytag: member="CVC3::CLFlag::getBool" ref="a30fda6cd5b164cb30d9849db45d90773" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const bool& CVC3::CLFlag::getBool </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="command__line__flags_8h_source.html#l00209">209</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#l00036">CVC3::CLFLAG_BOOL</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p> <p>Referenced by <a class="el" href="main_8cpp_source.html#l00217">printUsage()</a>.</p> </div> </div> <a class="anchor" id="ae78fbec7197ac89368860d4b2c12138e"></a><!-- doxytag: member="CVC3::CLFlag::getInt" ref="ae78fbec7197ac89368860d4b2c12138e" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const int& CVC3::CLFlag::getInt </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="command__line__flags_8h_source.html#l00214">214</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#l00037">CVC3::CLFLAG_INT</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p> <p>Referenced by <a class="el" href="main_8cpp_source.html#l00217">printUsage()</a>.</p> </div> </div> <a class="anchor" id="a7a291448efc533fe859771d2951e30b8"></a><!-- doxytag: member="CVC3::CLFlag::getString" ref="a7a291448efc533fe859771d2951e30b8" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const std::string& CVC3::CLFlag::getString </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="command__line__flags_8h_source.html#l00219">219</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#l00038">CVC3::CLFLAG_STRING</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p> <p>Referenced by <a class="el" href="main_8cpp_source.html#l00217">printUsage()</a>.</p> </div> </div> <a class="anchor" id="a8d31d925df04ede1f366f42c2cf8cef4"></a><!-- doxytag: member="CVC3::CLFlag::getStrVec" ref="a8d31d925df04ede1f366f42c2cf8cef4" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const std::vector<std::pair<std::string,bool> >& CVC3::CLFlag::getStrVec </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="command__line__flags_8h_source.html#l00225">225</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#l00039">CVC3::CLFLAG_STRVEC</a>, <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">d_data</a>, <a class="el" href="command__line__flags_8h_source.html#l00056">d_tp</a>, and <a class="el" href="debug_8h_source.html#l00408">DebugAssert</a>.</p> </div> </div> <a class="anchor" id="a7d495ea7fc3c8801595789136a88c795"></a><!-- doxytag: member="CVC3::CLFlag::getHelp" ref="a7d495ea7fc3c8801595789136a88c795" args="() const " --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">const std::string& CVC3::CLFlag::getHelp </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="command__line__flags_8h_source.html#l00231">231</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#l00067">d_help</a>.</p> <p>Referenced by <a class="el" href="main_8cpp_source.html#l00217">printUsage()</a>.</p> </div> </div> <hr/><h2>Member Data Documentation</h2> <a class="anchor" id="a3c6092f0192a0280c1764c408db16e3a"></a><!-- doxytag: member="CVC3::CLFlag::d_tp" ref="a3c6092f0192a0280c1764c408db16e3a" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname"><a class="el" href="namespaceCVC3.html#ad8e707d3b90ce7dcd048a5b651e0a683">CLFlagType</a> <a class="el" href="classCVC3_1_1CLFlag.html#a3c6092f0192a0280c1764c408db16e3a">CVC3::CLFlag::d_tp</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p><a class="el" href="classCVC3_1_1Type.html" title="MS C++ specific settings.">Type</a> of the argument. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00056">56</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#l00098">CLFlag()</a>, <a class="el" href="command__line__flags_8h_source.html#l00209">getBool()</a>, <a class="el" href="command__line__flags_8h_source.html#l00214">getInt()</a>, <a class="el" href="command__line__flags_8h_source.html#l00219">getString()</a>, <a class="el" href="command__line__flags_8h_source.html#l00225">getStrVec()</a>, <a class="el" href="command__line__flags_8h_source.html#l00197">getType()</a>, <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00109">~CLFlag()</a>.</p> </div> </div> <a class="anchor" id="a42e6e93d638393e6b3fdda87aca9720d"></a><!-- doxytag: member="CVC3::CLFlag::b" ref="a42e6e93d638393e6b3fdda87aca9720d" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool <a class="el" href="classCVC3_1_1CLFlag.html#a42e6e93d638393e6b3fdda87aca9720d">CVC3::CLFlag::b</a></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00059">59</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#l00072">CLFlag()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00148">operator=()</a>.</p> </div> </div> <a class="anchor" id="a69b3bea4e6e873ac8d5ee13c2550fa1f"></a><!-- doxytag: member="CVC3::CLFlag::i" ref="a69b3bea4e6e873ac8d5ee13c2550fa1f" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">int <a class="el" href="classCVC3_1_1CLFlag.html#a69b3bea4e6e873ac8d5ee13c2550fa1f">CVC3::CLFlag::i</a></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00060">60</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#l00076">CLFlag()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00156">operator=()</a>.</p> </div> </div> <a class="anchor" id="a05dddada482ceb7a0d91f0d1d21870ce"></a><!-- doxytag: member="CVC3::CLFlag::s" ref="a05dddada482ceb7a0d91f0d1d21870ce" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">std::string* <a class="el" href="classCVC3_1_1CLFlag.html#a05dddada482ceb7a0d91f0d1d21870ce">CVC3::CLFlag::s</a></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00061">61</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#l00098">CLFlag()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</a>.</p> </div> </div> <a class="anchor" id="a42c3fdc4380930049d1dda63323e7791"></a><!-- doxytag: member="CVC3::CLFlag::sv" ref="a42c3fdc4380930049d1dda63323e7791" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">std::vector<std::pair<std::string,bool> >* <a class="el" href="classCVC3_1_1CLFlag.html#a42c3fdc4380930049d1dda63323e7791">CVC3::CLFlag::sv</a></td> </tr> </table> </div> <div class="memdoc"> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00062">62</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#l00090">CLFlag()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</a>.</p> </div> </div> <a class="anchor" id="aa1e81643df31fbc8e35aa85d49a4e6d0"></a><!-- doxytag: member="CVC3::CLFlag::d_data" ref="aa1e81643df31fbc8e35aa85d49a4e6d0" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">union { ... } <a class="el" href="classCVC3_1_1CLFlag.html#aa1e81643df31fbc8e35aa85d49a4e6d0">CVC3::CLFlag::d_data</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Referenced by <a class="el" href="command__line__flags_8h_source.html#l00072">CLFlag()</a>, <a class="el" href="command__line__flags_8h_source.html#l00209">getBool()</a>, <a class="el" href="command__line__flags_8h_source.html#l00214">getInt()</a>, <a class="el" href="command__line__flags_8h_source.html#l00219">getString()</a>, <a class="el" href="command__line__flags_8h_source.html#l00225">getStrVec()</a>, <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00109">~CLFlag()</a>.</p> </div> </div> <a class="anchor" id="a90072b913bc3516a742d3592fe2de2db"></a><!-- doxytag: member="CVC3::CLFlag::d_modified" ref="a90072b913bc3516a742d3592fe2de2db" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool <a class="el" href="classCVC3_1_1CLFlag.html#a90072b913bc3516a742d3592fe2de2db">CVC3::CLFlag::d_modified</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p>This tag is set to true when the flag is assigned a new value. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00065">65</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#l00200">modified()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</a>.</p> </div> </div> <a class="anchor" id="a7be7b87ece4eae25051dcfdc99cc38f5"></a><!-- doxytag: member="CVC3::CLFlag::d_help" ref="a7be7b87ece4eae25051dcfdc99cc38f5" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">std::string <a class="el" href="classCVC3_1_1CLFlag.html#a7be7b87ece4eae25051dcfdc99cc38f5">CVC3::CLFlag::d_help</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Help string. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00067">67</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#l00231">getHelp()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</a>.</p> </div> </div> <a class="anchor" id="af1b23b62af56b8757fb895ecfd8aa31c"></a><!-- doxytag: member="CVC3::CLFlag::d_display" ref="af1b23b62af56b8757fb895ecfd8aa31c" args="" --> <div class="memitem"> <div class="memproto"> <table class="memname"> <tr> <td class="memname">bool <a class="el" href="classCVC3_1_1CLFlag.html#af1b23b62af56b8757fb895ecfd8aa31c">CVC3::CLFlag::d_display</a><code> [private]</code></td> </tr> </table> </div> <div class="memdoc"> <p>Whether to display this flag when user invokes cvc3 -h. </p> <p>Definition at line <a class="el" href="command__line__flags_8h_source.html#l00069">69</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#l00202">display()</a>, and <a class="el" href="command__line__flags_8h_source.html#l00117">operator=()</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>