ISatItem Interface Reference
[SAT Solver]

#include <SatSolver.h>

Inheritance diagram for ISatItem:

[legend]

List of all members.

---

Detailed Description

Abstraction of solution candidate.

Object of this type assigns bool value to each propositional variable.

Definition at line 42 of file SatSolver.h.

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

---

Constructor & Destructor Documentation

virtual ~ISatItem

(

)

[inline, virtual]

Definition at line 45 of file SatSolver.h.

---

Member Function Documentation

virtual ISatItem* clone

(

)

const [pure virtual]

Returns:

Returns clone of object's instance.

Note:

Design pattern prototype.

Implemented in LongSatItem, GaSatItem, SatItemGalibAdatper, and SatItemSet::Private::SatItemHashDecorator.

Referenced by SatItemVector::SatItemVector().

virtual int getLength

(

)

const [pure virtual]

Returns:

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

Implemented in LongSatItem, GaSatItem, SatItemGalibAdatper, and SatItemSet::Private::SatItemHashDecorator.

virtual bool getBit

(

int

index

)

const [pure virtual]

Returns:

Returns value of desired bit (resp. variable).

Parameters:

index

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

Implemented in LongSatItem, GaSatItem, SatItemGalibAdatper, and SatItemSet::Private::SatItemHashDecorator.

Referenced by CmdVariable::execute(), and SatItemVector::writeOut().

---

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

• SatSolver.h

---