Definition in file Scanner.h.
#include <iostream>
Go to the source code of this file.
Namespaces | |
| namespace | FastSatSolver |
Classes | |
| struct | Token |
| Syntax unit representation - also called token. More... | |
| interface | IScanner |
| Extensible lexical scanner's interface. More... | |
| class | RawScanner |
| Low-level scanner parses lexical units from opened file. More... | |
| class | ScannerStringHandler |
| Part of parser handling keywords and variable names. More... | |
| class | ScannerFormulaHandler |
| High-level part of parser handling almost all tokens and building InterpretedFormula objects. More... | |
Enumerations | |
| enum | EToken { T_VARIABLE, T_FALSE, T_TRUE, T_NOT, T_AND, T_OR, T_XOR, T_LPAR, T_RPAR, T_DELIM, T_EOF, T_STRING, T_STACK_BOTTOM, T_PARSER_EXPR, T_PARSER_EQ, T_PARSER_LT, T_PARSER_GT, T_PARSER_INV, T_ERR_LEX = -1, T_ERR_EXPR = -2, T_ERR_PARSE = -3 } |
| Scanner tokens enumeration. More... | |
Functions | |
| std::ostream & | operator<< (std::ostream &stream, EToken e) |
| std::ostream & | operator<< (std::ostream &stream, Token token) |
1.5.4