GaSatItem Class Reference
[SAT Solver]

#include <GaSatSolver.h>

Inheritance diagram for GaSatItem:

[legend]

Collaboration diagram for GaSatItem:

[legend]

List of all members.

---

Detailed Description

ISatItem implementation used by GaSatSolver.

Definition at line 45 of file GaSatSolver.h.

Public Member Functions
	GaSatItem (const GABinaryString &bs)
virtual	~GaSatItem ()
virtual int	getLength () const
	Returns: Returns count of bits (resp. variables) managed by object.
virtual bool	getBit (int) const
	Returns: Returns value of desired bit (resp. variable).
virtual GaSatItem *	clone () const
	Returns: Returns clone of object's instance.
Classes
struct	Private

---

Constructor & Destructor Documentation

GaSatItem

(

const GABinaryString &

bs

)

Parameters:

bs

Reference to GABinaryString to read data from.

Definition at line 43 of file GaSatSolver.cpp.

References GaSatItem::Private::bs.

Referenced by GaSatItem::clone().

~GaSatItem

(

)

[virtual]

Definition at line 48 of file GaSatSolver.cpp.

---

Member Function Documentation

int getLength

(

)

const [virtual]

Returns:

Returns count of bits (resp. variables) managed by object.

Implements ISatItem.

Definition at line 51 of file GaSatSolver.cpp.

References GaSatItem::Private::bs.

bool getBit

(

int

index

)

const [virtual]

Returns:

Returns value of desired bit (resp. variable).

Parameters:

index

Index value has to be in range <0, getLength()-1>.

Implements ISatItem.

Definition at line 54 of file GaSatSolver.cpp.

References GaSatItem::Private::bs.

GaSatItem * clone

(

)

const [virtual]

Returns:

Returns clone of object's instance.

Note:

Design pattern prototype.

Implements ISatItem.

Definition at line 57 of file GaSatSolver.cpp.

References GaSatItem::Private::bs, and GaSatItem::GaSatItem().

---

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

• GaSatSolver.h
• GaSatSolver.cpp

---