CVC3 2.2
|
#include <command_line_flags.h>
Definition at line 246 of file command_line_flags.h.
typedef std::map<std::string, CLFlag> CVC3::CLFlags::CharMap [private] |
Definition at line 248 of file command_line_flags.h.
CLFlag& CVC3::CLFlags::getFlag0 | ( | const std::string & | name | ) | [inline, private] |
Definition at line 255 of file command_line_flags.h.
References d_map, and DebugAssert.
Referenced by setFlag().
void CVC3::CLFlags::addFlag | ( | const std::string & | name, |
const CLFlag & | f | ||
) | [inline] |
Definition at line 263 of file command_line_flags.h.
References d_map.
Referenced by CVC3::ValidityChecker::createFlags().
size_t CVC3::CLFlags::countFlags | ( | const std::string & | name | ) | const [inline] |
Definition at line 267 of file command_line_flags.h.
References d_map.
Referenced by CVC3::VCCmd::evaluateCommand(), parse_args(), and printUsage().
size_t CVC3::CLFlags::countFlags | ( | const std::string & | name, |
std::vector< std::string > & | names | ||
) | const [inline] |
Definition at line 276 of file command_line_flags.h.
References d_map.
const CLFlag& CVC3::CLFlags::getFlag | ( | const std::string & | name | ) | const [inline] |
Definition at line 290 of file command_line_flags.h.
References d_map, and DebugAssert.
Referenced by operator[]().
const CLFlag& CVC3::CLFlags::operator[] | ( | const std::string & | name | ) | const [inline] |
Definition at line 296 of file command_line_flags.h.
References getFlag().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
const CLFlag & | f | ||
) | [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(), and parse_args().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
bool | b | ||
) | [inline] |
Definition at line 310 of file command_line_flags.h.
References getFlag0().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
int | i | ||
) | [inline] |
Definition at line 311 of file command_line_flags.h.
References getFlag0().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
const std::string & | s | ||
) | [inline] |
Definition at line 312 of file command_line_flags.h.
References getFlag0().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
const char * | s | ||
) | [inline] |
Definition at line 314 of file command_line_flags.h.
References getFlag0().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
const std::pair< std::string, bool > & | p | ||
) | [inline] |
Definition at line 316 of file command_line_flags.h.
References getFlag0().
void CVC3::CLFlags::setFlag | ( | const std::string & | name, |
const std::vector< std::pair< std::string, bool > > & | sv | ||
) | [inline] |
Definition at line 318 of file command_line_flags.h.
References getFlag0().
CharMap CVC3::CLFlags::d_map [private] |
Definition at line 249 of file command_line_flags.h.
Referenced by addFlag(), countFlags(), getFlag(), and getFlag0().