CVC3
Public Member Functions | Public Attributes | Private Attributes | List of all members
CVC3::ParserTemp Class Reference

#include <parser_temp.h>

Collaboration diagram for CVC3::ParserTemp:
Collaboration graph

Public Member Functions

 ParserTemp ()
 
int error (const std::string &s)
 
std::string uniqueID ()
 
std::string getPrompt ()
 
void setPrompt1 ()
 
void setPrompt2 ()
 

Public Attributes

ValidityCheckervc
 
Translatortranslator
 
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
 

Detailed Description

Definition at line 34 of file parser_temp.h.

Constructor & Destructor Documentation

CVC3::ParserTemp::ParserTemp ( )
inline

Definition at line 67 of file parser_temp.h.

Member Function Documentation

int CVC3::ParserTemp::error ( const std::string &  s)
std::string CVC3::ParserTemp::uniqueID ( )
inline

Definition at line 72 of file parser_temp.h.

References d_uid.

std::string CVC3::ParserTemp::getPrompt ( )
inline

Definition at line 78 of file parser_temp.h.

References prompt.

void CVC3::ParserTemp::setPrompt1 ( )
inline

Definition at line 80 of file parser_temp.h.

References prompt, and prompt1.

void CVC3::ParserTemp::setPrompt2 ( )
inline

Definition at line 82 of file parser_temp.h.

References prompt, and prompt2.

Member Data Documentation

int CVC3::ParserTemp::d_uid
private

Definition at line 37 of file parser_temp.h.

Referenced by uniqueID().

std::string CVC3::ParserTemp::prompt1
private

Definition at line 39 of file parser_temp.h.

Referenced by setPrompt1().

std::string CVC3::ParserTemp::prompt2
private

Definition at line 41 of file parser_temp.h.

Referenced by setPrompt2().

std::string CVC3::ParserTemp::prompt
private

Definition at line 43 of file parser_temp.h.

Referenced by getPrompt(), setPrompt1(), and setPrompt2().

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.


The documentation for this class was generated from the following file: