InterpretedFormula::Private Struct Reference

Collaboration diagram for InterpretedFormula::Private:

Collaboration graph
[legend]

List of all members.


Detailed Description

Definition at line 262 of file Formula.cpp.


Public Attributes

ParserStack parserStack
bool errorDetected
CmdList cmdList

Member Data Documentation

ParserStack parserStack

Definition at line 263 of file Formula.cpp.

Referenced by InterpretedFormula::InterpretedFormula(), InterpretedFormula::isValid(), and InterpretedFormula::parse().

bool errorDetected

Definition at line 264 of file Formula.cpp.

Referenced by InterpretedFormula::InterpretedFormula(), InterpretedFormula::isValid(), and InterpretedFormula::parse().

CmdList cmdList

Definition at line 265 of file Formula.cpp.

Referenced by InterpretedFormula::eval(), and InterpretedFormula::parse().


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