IFormulaBuilder Interface Reference
[SAT Problem]

#include <Formula.h>

Inheritance diagram for IFormulaBuilder:

[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:

• Formula.h

---