#include <IbexBlockSet.h>

Public Types | |
| enum | exceptype |
Public Member Functions | |
| BlockSetException (exceptype type) | |
Public Attributes | |
| const exceptype | type |
This exception is used for all the problems that can arise while creating/using an ibex::BlockSet instance. The type member contains a more precise description of the problem (this constant might evolve to subclasses in the future).
BAD_NB_BLK | the number of blocks exceeds the number of variables, |
|---|---|
BAD_VAR | the variable specified exceeds the number of variables, |
BAD_BLK | the block specified exceeds the number of blocks, |
EMPTY_BLK | a block is empty, |
NO_BLK | the variable does not belong to any block, |
ALL_EMPTY | all the blocs are empty. |
You can directly put an instance of this class into the standard output, this will show the associated message, e.g.:
try { .... } catch (BlockSetException e) { cout << e << endl; // will display a message such as "the number of blocks exceeds etc." }
See comments above.
| ibex::BlockSetException::BlockSetException | ( | exceptype | type | ) | [inline] |
Create a block set exception.
Identification of the problem.
1.5.5