CVC3
2.4.1
|
#include <parser_temp.h>
Public Member Functions | |
ParserTemp () | |
int | error (const std::string &s) |
std::string | uniqueID () |
std::string | getPrompt () |
void | setPrompt1 () |
void | setPrompt2 () |
Public Attributes | |
ValidityChecker * | vc |
Translator * | translator |
std::istream * | is |
int | lineNum |
std::string | fileName |
Expr | expr |
bool | done |
bool | interactive |
bool | arrFlag |
bool | bvFlag |
int | bvSize |
bool | queryParsed |
Private Attributes | |
int | d_uid |
std::string | prompt1 |
std::string | prompt2 |
std::string | prompt |
Definition at line 34 of file parser_temp.h.
|
inline |
Definition at line 67 of file parser_temp.h.
int CVC3::ParserTemp::error | ( | const std::string & | s | ) |
|
inline |
Definition at line 72 of file parser_temp.h.
|
inline |
Definition at line 78 of file parser_temp.h.
References prompt.
|
inline |
Definition at line 80 of file parser_temp.h.
References prompt1.
|
inline |
Definition at line 82 of file parser_temp.h.
References prompt2.
|
private |
Definition at line 37 of file parser_temp.h.
|
private |
Definition at line 39 of file parser_temp.h.
Referenced by setPrompt1().
|
private |
Definition at line 41 of file parser_temp.h.
Referenced by setPrompt2().
|
private |
Definition at line 43 of file parser_temp.h.
Referenced by getPrompt().
ValidityChecker* CVC3::ParserTemp::vc |
Definition at line 45 of file parser_temp.h.
Translator* CVC3::ParserTemp::translator |
Definition at line 46 of file parser_temp.h.
std::istream* CVC3::ParserTemp::is |
Definition at line 47 of file parser_temp.h.
int CVC3::ParserTemp::lineNum |
Definition at line 49 of file parser_temp.h.
std::string CVC3::ParserTemp::fileName |
Definition at line 51 of file parser_temp.h.
Expr CVC3::ParserTemp::expr |
Definition at line 53 of file parser_temp.h.
bool CVC3::ParserTemp::done |
Definition at line 55 of file parser_temp.h.
bool CVC3::ParserTemp::interactive |
Definition at line 57 of file parser_temp.h.
bool CVC3::ParserTemp::arrFlag |
Definition at line 59 of file parser_temp.h.
bool CVC3::ParserTemp::bvFlag |
Definition at line 61 of file parser_temp.h.
int CVC3::ParserTemp::bvSize |
Definition at line 63 of file parser_temp.h.
bool CVC3::ParserTemp::queryParsed |
Definition at line 65 of file parser_temp.h.