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 (  ) 
bool CVC3::Parser::done (  )  const
CVC3::Parser::operator bool (  )  const [inline]

Definition at line 64 of file parser.h.

References done().

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

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 19 Apr 2010 for CVC3 by  doxygen 1.6.1