IFormulaEvaluator Interface Reference
[SAT Problem]

#include <Formula.h>

Inheritance diagram for IFormulaEvaluator:

[legend]

List of all members.

---

Detailed Description

Evaluable formula's interface.

Note:

The only one known implementation is now InterpretedFormula, but there is no restriction to this class. There can be other implementations of this interface.

Definition at line 69 of file Formula.h.

Public Member Functions
virtual	~IFormulaEvaluator ()
virtual bool	eval (ISatItem *data)=0
	Returns: Return true if formula is satisfied for given data.

---

Constructor & Destructor Documentation

virtual ~IFormulaEvaluator

(

)

[inline, virtual]

Definition at line 72 of file Formula.h.

---

Member Function Documentation

virtual bool eval

(

ISatItem *

data

)

[pure virtual]

Returns:

Return true if formula is satisfied for given data.

Parameters:

data

Evaluation data to use for evaluation. Consider ISatItem interface for detail.

Implemented in InterpretedFormula.

Referenced by FormulaContainer::evalAll().

---

The documentation for this interface was generated from the following file:

• Formula.h

---