FormulaContainer Class Reference
[SAT Problem]

#include <SatProblem.h>

Collaboration diagram for FormulaContainer:

[legend]

List of all members.

---

Detailed Description

Container for evaluable formulas.

Note:

The only one known implementation is now InterpretedFormula, but there is no restriction to this class. It can be any class implementing IFormulaEvaluator interface.

Definition at line 79 of file SatProblem.h.

Public Member Functions
	FormulaContainer ()
	~FormulaContainer ()
int	getLength ()
	Returns: Returns count of formulas managed by container.
int	evalAll (ISatItem *data)
	Evaluate all formulas in container using given data and return satisfaction ratio.
void	addFormula (IFormulaEvaluator *formula)
	Add formula to container.
Classes
struct	Private

---

Constructor & Destructor Documentation

FormulaContainer

(

)

Definition at line 245 of file SatProblem.cpp.

~FormulaContainer

(

)

Definition at line 249 of file SatProblem.cpp.

References FormulaContainer::Private::container.

---

Member Function Documentation

int getLength

(

)

Returns:

Returns count of formulas managed by container.

Returns:

int

Definition at line 260 of file SatProblem.cpp.

References FormulaContainer::Private::container.

Referenced by SatProblem::getFormulasCount(), and SatProblem::Private::parseFile().

int evalAll

(

ISatItem *

data

)

Evaluate all formulas in container using given data and return satisfaction ratio.

Parameters:

data

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

Returns:

Returns count of satisfaced formulas.

int

Parameters:

data

Definition at line 269 of file SatProblem.cpp.

References FormulaContainer::Private::container, and IFormulaEvaluator::eval().

Referenced by SatProblem::getSatsCount().

void addFormula

(

IFormulaEvaluator *

formula

)

Add formula to container.

Parameters:

	formula	Formula object to add.
	formula

Definition at line 284 of file SatProblem.cpp.

References FormulaContainer::Private::container.

Referenced by ScannerFormulaHandler::readNext().

---

The documentation for this class was generated from the following files:

• SatProblem.h
• SatProblem.cpp

---