IFormulaBuilder Interface Reference
[SAT Problem]

#include <Formula.h>

Inheritance diagram for IFormulaBuilder:

Inheritance graph
[legend]

List of all members.


Detailed Description

Interpreted formula's interface for parser which can read it.

Definition at line 41 of file Formula.h.


Public Member Functions

virtual ~IFormulaBuilder ()
virtual int parse (Token token)=0
 Parse given token.
virtual bool isValid ()=0
 
Returns:
Return true if formula is valid.


Constructor & Destructor Documentation

virtual ~IFormulaBuilder (  )  [inline, virtual]

Definition at line 44 of file Formula.h.


Member Function Documentation

virtual int parse ( Token  token  )  [pure virtual]

Parse given token.

Parameters:
token Token to parse
Returns:
Returns zero, if no fatal error occurs.
Note:
Parase error is not fatal in this context.

Implemented in InterpretedFormula.

virtual bool isValid (  )  [pure virtual]

Returns:
Return true if formula is valid.

Note:
Invalid formulas should be never evaluated.

Implemented in InterpretedFormula.


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