LongSatItem Class Reference
[SAT Solver]

#include <BlindSatSolver.h>

Inheritance diagram for LongSatItem:

[legend]

Collaboration diagram for LongSatItem:

[legend]

List of all members.

---

Detailed Description

ISatItem implementation used by BlindSatSolver.

Definition at line 39 of file BlindSatSolver.h.

Public Member Functions
	LongSatItem (int length, long fromNumber)
virtual	~LongSatItem ()
virtual int	getLength () const
	Returns: Returns count of bits (resp. variables) managed by object.
virtual bool	getBit (int index) const
	Returns: Returns value of desired bit (resp. variable).
virtual LongSatItem *	clone () const
	Returns: Returns clone of object's instance.

---

Constructor & Destructor Documentation

LongSatItem	(	int	length,
		long	fromNumber
	)

Parameters:

	length	Item length responds the count of variables.
	fromNumber	Long number representing item's data (bit by bit).

Definition at line 31 of file BlindSatSolver.cpp.

Referenced by LongSatItem::clone().

~LongSatItem

(

)

[virtual]

Definition at line 36 of file BlindSatSolver.cpp.

---

Member Function Documentation

int getLength

(

)

const [virtual]

Returns:

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

Implements ISatItem.

Definition at line 38 of file BlindSatSolver.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 41 of file BlindSatSolver.cpp.

LongSatItem * clone

(

)

const [virtual]

Returns:

Returns clone of object's instance.

Note:

Design pattern prototype.

Implements ISatItem.

Definition at line 45 of file BlindSatSolver.cpp.

References LongSatItem::LongSatItem().

Referenced by BlindSatSolver::doStep().

---

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

• BlindSatSolver.h
• BlindSatSolver.cpp

---