|
Typedefs |
typedef int32_t | raw_t |
| To distinguish normal integers and those representing constraints.
|
Enumerations |
enum | { dbm_INFINITY = INT_MAX >> 1,
dbm_OVERFLOW = INT_MAX >> 2
} |
| *Bound* constants. More...
|
enum | strictness_t { dbm_STRICT = 0,
dbm_WEAK = 1
} |
| Bound *strictness*. More...
|
enum | { dbm_LE_ZERO = 1,
dbm_LS_INFINITY = (dbm_INFINITY << 1),
dbm_LE_OVERFLOW = dbm_LS_INFINITY >> 1
} |
| *Raw* encoded constants. More...
|
Functions |
static raw_t | dbm_bound2raw (int32_t bound, strictness_t strict) |
| Encoding of bound into (strict) less or less equal.
|
static raw_t | dbm_boundbool2raw (int32_t bound, bool isStrict) |
| Encoding of bound into (strict) less or less equal.
|
static int32_t | dbm_raw2bound (raw_t raw) |
| Decoding of raw representation: bound.
|
static raw_t | dbm_strictRaw (raw_t raw) |
| Make an encoded constraint strict.
|
static raw_t | dbm_weakRaw (raw_t raw) |
| Make an encoded constraint weak.
|
static strictness_t | dbm_raw2strict (raw_t raw) |
| Decoding of raw representation: strictness.
|
static BOOL | dbm_rawIsStrict (raw_t raw) |
| Tests of strictness.
|
static BOOL | dbm_rawIsWeak (raw_t raw) |
| Tests of non strictness.
|
static strictness_t | dbm_negStrict (strictness_t strictness) |
| Negate the strictness of a constraint.
|
static raw_t | dbm_negRaw (raw_t c) |
| Negate a constraint: neg(<a) = <=-a neg(<=a) = <-a.
|
static raw_t | dbm_weakNegRaw (raw_t c) |
| "Weak" negate a constraint: neg(<=a) = <= -a.
|
static BOOL | dbm_isValidRaw (raw_t x) |
| A valid raw bound should not cause overflow in computations.
|
static raw_t | dbm_addRawRaw (raw_t x, raw_t y) |
| Constraint addition on raw values : + constraints - excess bit.
|
static raw_t | dbm_addRawFinite (raw_t x, raw_t y) |
| Constraint addition:.
|
static raw_t | dbm_addFiniteRaw (raw_t x, raw_t y) |
static raw_t | dbm_addFiniteFinite (raw_t x, raw_t y) |
| Constraint addition.
|
static raw_t | dbm_addFiniteWeak (raw_t x, raw_t y) |
| Specialized constraint addition.
|
static raw_t | dbm_rawInc (raw_t c, raw_t i) |
| Raw constraint increment:.
|
static raw_t | dbm_rawDec (raw_t c, raw_t d) |
| Raw constraint decrement:.
|
static constraint_t | dbm_constraint (cindex_t i, cindex_t j, int32_t bound, strictness_t strictness) |
| Convenience function to build a constraint.
|
static constraint_t | dbm_constraint2 (cindex_t i, cindex_t j, int32_t bound, BOOL isStrict) |
| 2nd convenience function to build a constraint.
|
static constraint_t | dbm_negConstraint (constraint_t c) |
| Negation of a constraint.
|
static BOOL | dbm_areConstraintsEqual (constraint_t c1, constraint_t c2) |
| Equality of constraints.
|
static bool | operator< (const constraint_t &a, const constraint_t &b) |
| Comparison operator < defined if C++.
|
static constraint_t | operator! (const constraint_t &c) |
| Negation operator for constraint_t.
|