IScanner Interface Reference
[SAT Problem]

#include <Scanner.h>

Inheritance diagram for IScanner:

Inheritance graph
[legend]

List of all members.


Detailed Description

Extensible lexical scanner's interface.

Note:
Design pattern decorator.

Definition at line 141 of file Scanner.h.


Public Member Functions

virtual ~IScanner ()
virtual int readNext (Token *token)=0
 Abstract scanner's parsing method.

Constructor & Destructor Documentation

virtual ~IScanner (  )  [inline, virtual]

Definition at line 144 of file Scanner.h.


Member Function Documentation

virtual int readNext ( Token token  )  [pure virtual]

Abstract scanner's parsing method.

Parameters:
token token to parse
Returns:
Returns error code. Zero means success.

Implemented in RawScanner, ScannerStringHandler, and ScannerFormulaHandler.

Referenced by SatProblem::Private::parserLoop(), ScannerFormulaHandler::readNext(), and ScannerStringHandler::readNext().


The documentation for this interface was generated from the following file:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4