ScannerFormulaHandler Class Reference
[SAT Problem]

#include <Scanner.h>

Inheritance diagram for ScannerFormulaHandler:

[legend]

Collaboration diagram for ScannerFormulaHandler:

[legend]

List of all members.

---

Detailed Description

High-level part of parser handling almost all tokens and building InterpretedFormula objects.

Note:

Design pattern decorator.

Definition at line 205 of file Scanner.h.

Public Member Functions
	ScannerFormulaHandler (IScanner *scanner, FormulaContainer *fc)
virtual	~ScannerFormulaHandler ()
virtual int	readNext (Token *token)
	Abstract scanner's parsing method.
Classes
struct	Private

---

Constructor & Destructor Documentation

ScannerFormulaHandler	(	IScanner *	scanner,
		FormulaContainer *	fc
	)

Parameters:

	scanner	Pointer to superior IScanner object (token source).
	fc	Container to store valid formulas to.

Definition at line 169 of file Scanner.cpp.

References ScannerFormulaHandler::Private::current, ScannerFormulaHandler::Private::fc, ScannerFormulaHandler::Private::ignoreToDelim, and ScannerFormulaHandler::Private::scanner.

~ScannerFormulaHandler

(

)

[virtual]

Definition at line 177 of file Scanner.cpp.

References ScannerFormulaHandler::Private::current.

---

Member Function Documentation

int readNext

(

Token *

token

)

[virtual]

Abstract scanner's parsing method.

Parameters:

token

token to parse

Returns:

Returns error code. Zero means success.

Implements IScanner.

Definition at line 181 of file Scanner.cpp.

References FormulaContainer::addFormula(), ScannerFormulaHandler::Private::current, ScannerFormulaHandler::Private::fc, ScannerFormulaHandler::Private::ignoreToDelim, InterpretedFormula::isValid(), Token::m_token, InterpretedFormula::parse(), IScanner::readNext(), ScannerFormulaHandler::Private::scanner, FastSatSolver::T_AND, FastSatSolver::T_DELIM, FastSatSolver::T_EOF, FastSatSolver::T_ERR_EXPR, FastSatSolver::T_ERR_LEX, FastSatSolver::T_ERR_PARSE, FastSatSolver::T_FALSE, FastSatSolver::T_LPAR, FastSatSolver::T_NOT, FastSatSolver::T_OR, FastSatSolver::T_RPAR, FastSatSolver::T_TRUE, FastSatSolver::T_VARIABLE, and FastSatSolver::T_XOR.

---

The documentation for this class was generated from the following files:

• Scanner.h
• Scanner.cpp

---