CVC3::Parser Class Reference

#include <parser.h>

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

Definition at line 42 of file parser.h.


Constructor & Destructor Documentation

CVC3::Parser::Parser ( ValidityChecker vc,
InputLanguage  lang,
bool  interactive = true,
const std::string &  fileName = "" 
)

CVC3::Parser::Parser ( ValidityChecker vc,
InputLanguage  lang,
std::istream &  is,
bool  interactive = false 
)

CVC3::Parser::~Parser (  ) 


Member Function Documentation

void CVC3::Parser::initParser (  )  [private]

void CVC3::Parser::deleteParser (  )  [private]

Expr CVC3::Parser::next (  ) 

Referenced by CVC3::VCCmd::evaluateNext(), and CVC3::VCL::exprFromString().

bool CVC3::Parser::done (  )  const

Referenced by CVC3::VCCmd::evaluateNext(), and operator bool().

CVC3::Parser::operator bool (  )  const [inline]

Definition at line 64 of file parser.h.

References done().

void CVC3::Parser::printLocation ( std::ostream &  out  )  const

Referenced by CVC3::VCCmd::processCommands().

void CVC3::Parser::reset (  ) 

Referenced by CVC3::VCCmd::processCommands().


Member Data Documentation

ParserData* CVC3::Parser::d_data [private]

Definition at line 44 of file parser.h.


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