CVC3
2.4.1
|
#include <command_line_flags.h>
Public Member Functions | |
void | addFlag (const std::string &name, const CLFlag &f) |
size_t | countFlags (const std::string &name) const |
size_t | countFlags (const std::string &name, std::vector< std::string > &names) const |
const CLFlag & | getFlag (const std::string &name) const |
const CLFlag & | operator[] (const std::string &name) const |
void | setFlag (const std::string &name, const CLFlag &f) |
void | setFlag (const std::string &name, bool b) |
void | setFlag (const std::string &name, int i) |
void | setFlag (const std::string &name, const std::string &s) |
void | setFlag (const std::string &name, const char *s) |
void | setFlag (const std::string &name, const std::pair< std::string, bool > &p) |
void | setFlag (const std::string &name, const std::vector< std::pair< std::string, bool > > &sv) |
Private Types | |
typedef std::map< std::string, CLFlag > | CharMap |
Private Member Functions | |
CLFlag & | getFlag0 (const std::string &name) |
Private Attributes | |
CharMap | d_map |
Definition at line 246 of file command_line_flags.h.
|
private |
Definition at line 248 of file command_line_flags.h.
|
inlineprivate |
Definition at line 255 of file command_line_flags.h.
References d_map, and DebugAssert.
Referenced by setFlag().
|
inline |
Definition at line 263 of file command_line_flags.h.
References d_map.
Referenced by CVC3::ValidityChecker::createFlags().
|
inline |
Definition at line 267 of file command_line_flags.h.
References d_map.
Referenced by CVC3::VCCmd::evaluateCommand(), parse_args(), and printUsage().
|
inline |
Definition at line 276 of file command_line_flags.h.
References d_map.
|
inline |
Definition at line 290 of file command_line_flags.h.
References d_map, and DebugAssert.
Referenced by operator[]().
|
inline |
Definition at line 296 of file command_line_flags.h.
References getFlag().
|
inline |
Definition at line 302 of file command_line_flags.h.
References DebugAssert, getFlag0(), and CVC3::CLFlag::getType().
Referenced by SAT::CNF_Manager::CNF_Manager(), CVC3::VCCmd::evaluateCommand(), main(), and parse_args().
|
inline |
Definition at line 310 of file command_line_flags.h.
References getFlag0().
|
inline |
Definition at line 311 of file command_line_flags.h.
References getFlag0().
|
inline |
Definition at line 312 of file command_line_flags.h.
References getFlag0().
|
inline |
Definition at line 314 of file command_line_flags.h.
References getFlag0().
|
inline |
Definition at line 316 of file command_line_flags.h.
References getFlag0().
|
inline |
Definition at line 318 of file command_line_flags.h.
References getFlag0().
|
private |
Definition at line 249 of file command_line_flags.h.
Referenced by addFlag(), countFlags(), getFlag(), and getFlag0().