#include <parser.h>
Inheritance diagram for Clasp::StreamParser:
Public Member Functions | |
| bool | parse (StreamSource &prg) |
| StreamParser () | |
| virtual | ~StreamParser () |
Protected Member Functions | |
| bool | check (bool cond, const char *condError) const |
| virtual bool | doParse ()=0 |
| StreamSource * | input () const |
| bool | skipComments (const char *commentStr) |
Private Attributes | |
| StreamSource * | source_ |
Detailed Description
Constructor & Destructor Documentation
Definition at line 159 of file parser.cpp.
| Clasp::StreamParser::~StreamParser | ( | ) | [virtual] |
Definition at line 160 of file parser.cpp.
Member Function Documentation
| bool Clasp::StreamParser::check | ( | bool | cond, |
| const char * | condError | ||
| ) | const [protected] |
Definition at line 161 of file parser.cpp.
| virtual bool Clasp::StreamParser::doParse | ( | ) | [protected, pure virtual] |
Implemented in Clasp::OPBParser, Clasp::DimacsParser, and Clasp::LparseParser.
| StreamSource* Clasp::StreamParser::input | ( | ) | const [inline, protected] |
| bool Clasp::StreamParser::parse | ( | StreamSource & | prg | ) |
Definition at line 162 of file parser.cpp.
| bool Clasp::StreamParser::skipComments | ( | const char * | commentStr | ) | [protected] |
Definition at line 167 of file parser.cpp.
Member Data Documentation
StreamSource* Clasp::StreamParser::source_ [private] |
The documentation for this class was generated from the following files: