Classes | |
| class | IndexOutOfRange |
| class | EmptyDBM |
| class | InvalidDimension |
| class | DimensionTooLarge |
| class | ForbiddenMinusInfinity |
| class | InvalidDBMMatrix |
| class | OutOfMemory |
| class | IncompatibleDBM |
| class | IncompatibleFed |
| class | IncompatibleDBMVector |
| class | IncompatibleDBMPoint |
| class | InvalidBoundValue |
| class | IllegalFirstValue |
| class | FatalError |
| class | ZArrayScal |
| class | ZArrayPtr |
| class | PointerAS |
| class | PointerAP |
| class | Constraint |
| class | FedArray |
| class | DBMMatrix |
| class | DBMVector |
| class | DBMPoint |
| class | DBM |
| class | Fed |
Enumerations | |
| enum | { DIFFERENT = 0, SUPERSET = 1, SUBSET = 2, EQUAL = 3 } |
Functions | |
| Fed | operator- (const DBM &arg1, const DBM &arg2) throw (IncompatibleDBM) |
| Fed | operator- (const DBM &arg1, const Fed &arg2) throw (IncompatibleFed) |
| static int | inf () |
Variables | |
| static const Constraint | ZERO = Constraint(0) |
| static const Constraint | INF = Constraint(dbm_INFINITY) |
|
|
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
1.4.2