CVC3::ParserTemp Class Reference

#include <parser_temp.h>

Collaboration diagram for CVC3::ParserTemp:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Public Attributes

Private Attributes


Detailed Description

Definition at line 33 of file parser_temp.h.


Constructor & Destructor Documentation

CVC3::ParserTemp::ParserTemp (  )  [inline]

Definition at line 65 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 70 of file parser_temp.h.

References d_uid.

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

Definition at line 76 of file parser_temp.h.

References prompt.

void CVC3::ParserTemp::setPrompt1 (  )  [inline]

Definition at line 78 of file parser_temp.h.

References prompt, and prompt1.

void CVC3::ParserTemp::setPrompt2 (  )  [inline]

Definition at line 80 of file parser_temp.h.

References prompt, and prompt2.


Member Data Documentation

int CVC3::ParserTemp::d_uid [private]

Definition at line 36 of file parser_temp.h.

Referenced by uniqueID().

std::string CVC3::ParserTemp::prompt1 [private]

Definition at line 38 of file parser_temp.h.

Referenced by setPrompt1().

std::string CVC3::ParserTemp::prompt2 [private]

Definition at line 40 of file parser_temp.h.

Referenced by setPrompt2().

std::string CVC3::ParserTemp::prompt [private]

Definition at line 42 of file parser_temp.h.

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

ValidityChecker* CVC3::ParserTemp::vc

Definition at line 44 of file parser_temp.h.

std::istream* CVC3::ParserTemp::is

Definition at line 45 of file parser_temp.h.

int CVC3::ParserTemp::lineNum

Definition at line 47 of file parser_temp.h.

std::string CVC3::ParserTemp::fileName

Definition at line 49 of file parser_temp.h.

Expr CVC3::ParserTemp::expr

Definition at line 51 of file parser_temp.h.

bool CVC3::ParserTemp::done

Definition at line 53 of file parser_temp.h.

bool CVC3::ParserTemp::interactive

Definition at line 55 of file parser_temp.h.

bool CVC3::ParserTemp::arrFlag

Definition at line 57 of file parser_temp.h.

bool CVC3::ParserTemp::bvFlag

Definition at line 59 of file parser_temp.h.

int CVC3::ParserTemp::bvSize

Definition at line 61 of file parser_temp.h.

bool CVC3::ParserTemp::queryParsed

Definition at line 63 of file parser_temp.h.


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:17:36 2009 for CVC3 by  doxygen 1.5.2