ibex::PavingNode Class Reference
[Paver]

Paving node. More...

#include <IbexPaving.h>

Inheritance diagram for ibex::PavingNode:

List of all members.

Public Attributes
INTERVAL_VECTOR	box

---

Detailed Description

Paving node.

A paving is built by a call to a solver (see ibex::Paver::explore()).

Author:

Gilles Chabert

Date:

January 2008

---

Member Data Documentation

INTERVAL_VECTOR ibex::PavingNode::box

box of the node

---

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

• src/IbexPaving.h