ScannerFormulaHandler::Private Struct Reference

Collaboration diagram for ScannerFormulaHandler::Private:

Collaboration graph
[legend]

List of all members.


Detailed Description

Definition at line 163 of file Scanner.cpp.


Public Attributes

IScannerscanner
FormulaContainerfc
InterpretedFormulacurrent
bool ignoreToDelim

Member Data Documentation

IScanner* scanner

Definition at line 164 of file Scanner.cpp.

Referenced by ScannerFormulaHandler::readNext(), and ScannerFormulaHandler::ScannerFormulaHandler().

FormulaContainer* fc

Definition at line 165 of file Scanner.cpp.

Referenced by ScannerFormulaHandler::readNext(), and ScannerFormulaHandler::ScannerFormulaHandler().

InterpretedFormula* current

Definition at line 166 of file Scanner.cpp.

Referenced by ScannerFormulaHandler::readNext(), ScannerFormulaHandler::ScannerFormulaHandler(), and ScannerFormulaHandler::~ScannerFormulaHandler().

bool ignoreToDelim

Definition at line 167 of file Scanner.cpp.

Referenced by ScannerFormulaHandler::readNext(), and ScannerFormulaHandler::ScannerFormulaHandler().


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