cvc4-1.4
|
#include <cvc3_compat.h>
Public Member Functions | |
CLFlag (bool b, const std::string &help, bool display=true) | |
Constructor for a boolean flag. More... | |
CLFlag (int i, const std::string &help, bool display=true) | |
Constructor for an integer flag. More... | |
CLFlag (const std::string &s, const std::string &help, bool display=true) | |
Constructor for a string flag. More... | |
CLFlag (const char *s, const std::string &help, bool display=true) | |
Constructor for a string flag from char*. More... | |
CLFlag (const std::vector< std::pair< std::string, bool > > &sv, const std::string &help, bool display=true) | |
Constructor for a vector flag. More... | |
CLFlag () | |
Default constructor. More... | |
CLFlag (const CLFlag &f) | |
Copy constructor. More... | |
~CLFlag () | |
Destructor. More... | |
CLFlag & | operator= (const CLFlag &f) |
Assignment from another flag. More... | |
CLFlag & | operator= (bool b) |
Assignment of a boolean value. More... | |
CLFlag & | operator= (int i) |
Assignment of an integer value. More... | |
CLFlag & | operator= (const std::string &s) |
Assignment of a string value. More... | |
CLFlag & | operator= (const char *s) |
Assignment of an string value from char*. More... | |
CLFlag & | operator= (const std::pair< std::string, bool > &p) |
Assignment of a string value with a boolean tag to a vector flag. More... | |
CLFlag & | operator= (const std::vector< std::pair< std::string, bool > > &sv) |
Assignment of a vector value. More... | |
CLFlagType | getType () const |
Return the type of the flag. More... | |
bool | modified () const |
Return true if the flag was modified from the default value (e.g. set on the command line) More... | |
bool | display () const |
Return true if flag should be displayed in regular help. More... | |
const bool & | getBool () const |
const int & | getInt () const |
const std::string & | getString () const |
const std::vector< std::pair< std::string, bool > > & | getStrVec () const |
const std::string & | getHelp () const |
Class CLFlag (for Command Line Flag)
Author: Sergey Berezin
Date: Fri May 30 14:10:48 2003
This class implements a data structure to hold a value of a single command line flag.
Definition at line 110 of file cvc3_compat.h.
CVC3::CLFlag::CLFlag | ( | bool | b, |
const std::string & | help, | ||
bool | display = true |
||
) |
Constructor for a boolean flag.
CVC3::CLFlag::CLFlag | ( | int | i, |
const std::string & | help, | ||
bool | display = true |
||
) |
Constructor for an integer flag.
CVC3::CLFlag::CLFlag | ( | const std::string & | s, |
const std::string & | help, | ||
bool | display = true |
||
) |
Constructor for a string flag.
CVC3::CLFlag::CLFlag | ( | const char * | s, |
const std::string & | help, | ||
bool | display = true |
||
) |
Constructor for a string flag from char*.
CVC3::CLFlag::CLFlag | ( | const std::vector< std::pair< std::string, bool > > & | sv, |
const std::string & | help, | ||
bool | display = true |
||
) |
Constructor for a vector flag.
CVC3::CLFlag::CLFlag | ( | ) |
Default constructor.
CVC3::CLFlag::CLFlag | ( | const CLFlag & | f | ) |
Copy constructor.
CVC3::CLFlag::~CLFlag | ( | ) |
Destructor.
bool CVC3::CLFlag::display | ( | ) | const |
Return true if flag should be displayed in regular help.
const bool& CVC3::CLFlag::getBool | ( | ) | const |
const std::string& CVC3::CLFlag::getHelp | ( | ) | const |
const int& CVC3::CLFlag::getInt | ( | ) | const |
const std::string& CVC3::CLFlag::getString | ( | ) | const |
const std::vector<std::pair<std::string,bool> >& CVC3::CLFlag::getStrVec | ( | ) | const |
CLFlagType CVC3::CLFlag::getType | ( | ) | const |
Return the type of the flag.
bool CVC3::CLFlag::modified | ( | ) | const |
Return true if the flag was modified from the default value (e.g. set on the command line)
CLFlag& CVC3::CLFlag::operator= | ( | bool | b | ) |
Assignment of a boolean value.
The flag must already have the right type
CLFlag& CVC3::CLFlag::operator= | ( | int | i | ) |
Assignment of an integer value.
The flag must already have the right type
CLFlag& CVC3::CLFlag::operator= | ( | const std::string & | s | ) |
Assignment of a string value.
The flag must already have a string type.
CLFlag& CVC3::CLFlag::operator= | ( | const char * | s | ) |
Assignment of an string value from char*.
The flag must already have a string type.
CLFlag& CVC3::CLFlag::operator= | ( | const std::pair< std::string, bool > & | p | ) |
Assignment of a string value with a boolean tag to a vector flag.
The flag must already have a vector type. The pair of <string,bool> will be appended to the vector.
CLFlag& CVC3::CLFlag::operator= | ( | const std::vector< std::pair< std::string, bool > > & | sv | ) |
Assignment of a vector value.
The flag must already have a vector type.
bool CVC3::CLFlag::b |
Definition at line 115 of file cvc3_compat.h.
int CVC3::CLFlag::i |
Definition at line 116 of file cvc3_compat.h.
std::string* CVC3::CLFlag::s |
Definition at line 117 of file cvc3_compat.h.
std::vector<std::pair<std::string,bool> >* CVC3::CLFlag::sv |
Definition at line 118 of file cvc3_compat.h.