#include <Scanner.h>
Definition at line 141 of file Scanner.h.
Public Member Functions | |
virtual | ~IScanner () |
virtual int | readNext (Token *token)=0 |
Abstract scanner's parsing method. |
virtual int readNext | ( | Token * | token | ) | [pure virtual] |
Abstract scanner's parsing method.
token | token to parse |
Implemented in RawScanner, ScannerStringHandler, and ScannerFormulaHandler.
Referenced by SatProblem::Private::parserLoop(), ScannerFormulaHandler::readNext(), and ScannerStringHandler::readNext().