- Generated by
1.8.11
|
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.
1.8.11