#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().
1.5.4