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) |
|
|
|
|
|
|
|
|
|
|
|
|