SatItemSet::Private::SatItemHashDecorator Class Reference

Inheritance diagram for SatItemSet::Private::SatItemHashDecorator:

[legend]

Collaboration diagram for SatItemSet::Private::SatItemHashDecorator:

[legend]

List of all members.

---

Detailed Description

Definition at line 208 of file SatSolver.cpp.

Public Member Functions
	SatItemHashDecorator (ISatItem *item)
void	dispose ()
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 ISatItem *	clone () const
	Returns: Returns clone of object's instance.
bool	operator< (const SatItemHashDecorator &other) const

---

Constructor & Destructor Documentation

SatItemHashDecorator

(

ISatItem *

item

)

[inline]

Definition at line 210 of file SatSolver.cpp.

---

Member Function Documentation

void dispose

(

)

[inline]

Definition at line 214 of file SatSolver.cpp.

Referenced by SatItemSet::Private::addItem(), and SatItemSet::clear().

virtual int getLength

(

)

const [inline, virtual]

Returns:

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

Implements ISatItem.

Definition at line 217 of file SatSolver.cpp.

virtual bool getBit

(

int

index

)

const [inline, 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 220 of file SatSolver.cpp.

Referenced by SatItemSet::Private::SatItemHashDecorator::operator<().

virtual ISatItem* clone

(

)

const [inline, virtual]

Returns:

Returns clone of object's instance.

Note:

Design pattern prototype.

Implements ISatItem.

Definition at line 223 of file SatSolver.cpp.

Referenced by SatItemSet::createVector().

bool operator<

(

const SatItemHashDecorator &

other

)

const [inline]

Definition at line 226 of file SatSolver.cpp.

References SatItemSet::Private::SatItemHashDecorator::getBit(), and SatItemVector::getLength().

---

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

• SatSolver.cpp

---