CVC3
2.4.1
|
#include <parser.h>
CVC3::Parser::Parser | ( | ValidityChecker * | vc, |
Translator * | translator, | ||
InputLanguage | lang, | ||
bool | interactive = true , |
||
const std::string & | fileName = "" |
||
) |
CVC3::Parser::Parser | ( | ValidityChecker * | vc, |
Translator * | translator, | ||
InputLanguage | lang, | ||
std::istream & | is, | ||
bool | interactive = false |
||
) |
void CVC3::Parser::initParser | ( | ) | [private] |
void CVC3::Parser::deleteParser | ( | ) | [private] |
Referenced by CVC3::VCCmd::evaluateNext(), and CVC3::VCL::exprFromString().
bool CVC3::Parser::done | ( | ) | const |
Referenced by CVC3::VCCmd::evaluateNext(), and operator bool().
CVC3::Parser::operator bool | ( | ) | const [inline] |
void CVC3::Parser::printLocation | ( | std::ostream & | out | ) | const |
Referenced by CVC3::VCCmd::processCommands().
void CVC3::Parser::reset | ( | ) |
Referenced by CVC3::VCCmd::processCommands().
ParserData* CVC3::Parser::d_data [private] |