SatItemSet Class Reference
[SAT Solver]

#include <SatSolver.h>

Collaboration diagram for SatItemSet:

[legend]

List of all members.

---

Detailed Description

Associative array for ISatItem objects.

Attention:

On heap allocated objects are expected. They will be deleted by container's destructor.

Definition at line 289 of file SatSolver.h.

Public Member Functions
	SatItemSet ()
	~SatItemSet ()
int	getLength ()
	Returns: Returns count of item managed by container.
void	addItem (ISatItem *item)
	Add item to container, if it hasn't been there before.
SatItemVector *	createVector ()
	Export container's content to SatItemVector.
void	clear ()
	Remove all item from container and free from memory.
Classes
struct	Private

---

Constructor & Destructor Documentation

SatItemSet

(

)

Definition at line 249 of file SatSolver.cpp.

~SatItemSet

(

)

Definition at line 253 of file SatSolver.cpp.

References SatItemSet::clear().

---

Member Function Documentation

int getLength

(

)

Returns:

Returns count of item managed by container.

Definition at line 257 of file SatSolver.cpp.

References SatItemSet::Private::set.

Referenced by GaSatSolver::getSolutionsCount().

void addItem

(

ISatItem *

item

)

Add item to container, if it hasn't been there before.

Parameters:

item

Item to add to container.

Attention:

On heap allocated objects is expected. It will be deleted by container's destructor.

Definition at line 260 of file SatSolver.cpp.

References SatItemSet::Private::addItem().

Referenced by GaSatSolver::Private::fitness().

SatItemVector * createVector

(

)

Export container's content to SatItemVector.

Note:

New SatItemVector will be allocated on the heap.

Definition at line 263 of file SatSolver.cpp.

References SatItemVector::addItem(), SatItemSet::Private::SatItemHashDecorator::clone(), and SatItemSet::Private::set.

Referenced by GaSatSolver::getSolutionVector().

void clear

(

)

Remove all item from container and free from memory.

Definition at line 273 of file SatSolver.cpp.

References SatItemSet::Private::SatItemHashDecorator::dispose(), and SatItemSet::Private::set.

Referenced by SatItemSet::~SatItemSet().

---

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

• SatSolver.h
• SatSolver.cpp

---