ibex::Cell Class Reference
[Paver]

Representation of the search space. More...

#include <IbexCell.h>

Inherits hash_map.

List of all members.

Public Member Functions
template<typename T>
T &	get ()
	~Cell ()
bool	root ()
Public Attributes
Space &	space
const int	last_split_var

---

Detailed Description

Representation of the search space.

This representation includes default data (current domains, global space, last split variable) and data related to user-defined operators. A different cell is associated to each node and cell construction/ inheritance can be controlled (see ibex::Backtrackable).

The cell on its own contains the minimum of information associated to the actual search space. Besides the current box (the search space), this minimum information includes, e.g., the number of the last bisected variable (other fields might be added with future releases).

The amount of information contained in a cell can be arbitrarly augmented thanks to the "data registration" technique (see ibex::Operator::require()).

Author:

Gilles Chabert

Date:

March 2007

---

Constructor & Destructor Documentation

ibex::Cell::~Cell

(

)

[inline]

Delete this instance.

---

Member Function Documentation

template<typename T>

T& ibex::Cell::get

(

)

[inline]

Retreive backtrackable data from this cell. The data is identified by its classname.

Precondition:

Class T is a subclass of ibex::Backtrackable.

bool ibex::Cell::root

(

)

[inline]

Return true if this cell is the root cell.

---

Member Data Documentation

Space& ibex::Cell::space

The global space (including domains of epr, upr and syb).

const int ibex::Cell::last_split_var

The last split variable (undefined if this cell is the root).

See also:

root().

---

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

• src/IbexCell.h
• src/IbexCell.cpp