CVC3::ParserTemp Class Reference

#include <parser_temp.h>

Collaboration diagram for CVC3::ParserTemp:

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

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:

• parser_temp.h