SatItemGalibAdatper Class Reference
[SAT Solver]

#include <GaSatSolver.h>

Inheritance diagram for SatItemGalibAdatper:

Inheritance graph
[legend]
Collaboration diagram for SatItemGalibAdatper:

Collaboration graph
[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 SatItemGalibAdatperclone () 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:
Generated on Wed Nov 5 22:30:22 2008 for Fast SAT Solver by  doxygen 1.5.4