CVC3::ParserTemp Class Reference

#include <parser_temp.h>

Collaboration diagram for CVC3::ParserTemp:

[legend]List of all members.

Public Member Functions

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

Public Attributes

• ValidityChecker * vc
• 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 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:

• parser_temp.h

---