CVC3
2.4.1
|
#include <parser.h>
Public Member Functions | |
Parser (ValidityChecker *vc, Translator *translator, InputLanguage lang, bool interactive=true, const std::string &fileName="") | |
Parser (ValidityChecker *vc, Translator *translator, InputLanguage lang, std::istream &is, bool interactive=false) | |
~Parser () | |
Expr | next () |
bool | done () const |
operator bool () const | |
void | printLocation (std::ostream &out) const |
void | reset () |
Private Member Functions | |
void | initParser () |
void | deleteParser () |
Private Attributes | |
ParserData * | d_data |
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 |
||
) |
CVC3::Parser::~Parser | ( | ) |
|
private |
|
private |
Expr CVC3::Parser::next | ( | ) |
Referenced by CVC3::VCCmd::evaluateNext(), and CVC3::VCL::exprFromString().
bool CVC3::Parser::done | ( | ) | const |
Referenced by CVC3::VCCmd::evaluateNext(), and operator bool().
|
inline |
void CVC3::Parser::printLocation | ( | std::ostream & | out) | const |
Referenced by CVC3::VCCmd::processCommands().
void CVC3::Parser::reset | ( | ) |
Referenced by CVC3::VCCmd::processCommands().