ibex::TimeOutException Class Reference
[IbexExceptions]

Paver timeout exception. More...

#include <IbexException.h>

Inheritance diagram for ibex::TimeOutException:

---

Detailed Description

Paver timeout exception.

Thrown when the number of cells created by the solver exceeds the limit. See ibex::Paver::cell_limit.

Author:

Gilles Chabert

Date:

March 2007

---

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

• src/IbexException.h