SatItemGalibAdatper Class Reference
[SAT Solver]

#include <GaSatSolver.h>

Inheritance diagram for SatItemGalibAdatper:

[legend]

Collaboration diagram for SatItemGalibAdatper:

[legend]

List of all members.

---

Detailed Description

Leightweight, optimized ISatItem implementation used by GaSatSolver time-critical parts of code.

Attention:

This implementation hold only reference of represented object.

There is no deep copy, no dynamic memory management!!!

Definition at line 67 of file GaSatSolver.h.

Public Member Functions
	SatItemGalibAdatper (const GABinaryString &bs)
virtual	~SatItemGalibAdatper ()
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 SatItemGalibAdatper *	clone () const
	Returns: Returns clone of object's instance.

---

Constructor & Destructor Documentation

SatItemGalibAdatper

(

const GABinaryString &

bs

)

Parameters:

bs

Reference to GABinaryString to represent.

Definition at line 63 of file GaSatSolver.cpp.

Referenced by SatItemGalibAdatper::clone().

~SatItemGalibAdatper

(

)

[virtual]

Definition at line 67 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 68 of file GaSatSolver.cpp.

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 71 of file GaSatSolver.cpp.

SatItemGalibAdatper * clone

(

)

const [virtual]

Returns:

Returns clone of object's instance.

Note:

Design pattern prototype.

Implements ISatItem.

Definition at line 75 of file GaSatSolver.cpp.

References SatItemGalibAdatper::SatItemGalibAdatper().

---

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

• GaSatSolver.h
• GaSatSolver.cpp

---