| analyzeForMinDBM(uint32_t *bitMatrix) const | dbm::dbm_t | [inline] |
| changeClocks(const cindex_t *target, cindex_t newDim) | dbm::dbm_t | |
| const_dbm() const | dbm::dbm_t | [inline] |
| const_idbmt() const | dbm::dbm_t | [inline] |
| constrain(cindex_t i, int32_t value) | dbm::dbm_t | [inline] |
| constrain(cindex_t i, cindex_t j, raw_t c) | dbm::dbm_t | [inline] |
| constrain(cindex_t i, cindex_t j, int32_t b, strictness_t s) | dbm::dbm_t | [inline] |
| constrain(cindex_t i, cindex_t j, int32_t b, bool isStrict) | dbm::dbm_t | [inline] |
| constrain(const constraint_t &c) | dbm::dbm_t | [inline] |
| constrain(const constraint_t *c, size_t n) | dbm::dbm_t | [inline] |
| constrain(const cindex_t *table, const constraint_t *c, size_t n) | dbm::dbm_t | [inline] |
| constrain(const cindex_t *table, const base::pointer_t< constraint_t > &) | dbm::dbm_t | [inline] |
| constrain(const cindex_t *table, const std::vector< constraint_t > &) | dbm::dbm_t | [inline] |
| contains(const IntValuation &point) const | dbm::dbm_t | |
| contains(const int32_t *point, cindex_t dim) const | dbm::dbm_t | |
| contains(const DoubleValuation &point) const | dbm::dbm_t | |
| contains(const double *point, cindex_t dim) const | dbm::dbm_t | |
| copyFrom(const raw_t *src, cindex_t dim) | dbm::dbm_t | |
| copyTo(raw_t *dst, cindex_t dim) const | dbm::dbm_t | |
| dbm() | dbm::dbm_t | [inline] |
| dbm_t(cindex_t dim=1) | dbm::dbm_t | [inline, explicit] |
| dbm_t(const dbm_t &arg) | dbm::dbm_t | [inline] |
| dbm_t(const raw_t *arg, cindex_t dim) | dbm::dbm_t | [inline] |
| dbm_t(const ClockOperation< dbm_t > &op) | dbm::dbm_t | [inline] |
| dbmlist_t class | dbm::dbm_t | [friend] |
| decRef() const | dbm::dbm_t | [inline, private] |
| delay(const DoubleValuation &point, double *t) const | dbm::dbm_t | [inline] |
| delay(const double *point, cindex_t dim, double *t) const | dbm::dbm_t | |
| diagonalExtrapolateLUBounds(const int32_t *lower, const int32_t *upper) | dbm::dbm_t | [inline] |
| diagonalExtrapolateMaxBounds(const int32_t *max) | dbm::dbm_t | [inline] |
| down() | dbm::dbm_t | [inline] |
| edim() const | dbm::dbm_t | [inline] |
| empty(cindex_t dim) | dbm::dbm_t | [inline, private] |
| emptyImmutable(cindex_t dim) | dbm::dbm_t | [inline, private] |
| emptyMutable(cindex_t dim) | dbm::dbm_t | [inline, private] |
| eq(const fed_t &arg) const | dbm::dbm_t | [inline] |
| exactRelation(const fed_t &arg) const | dbm::dbm_t | [inline] |
| extrapolateLUBounds(const int32_t *lower, const int32_t *upper) | dbm::dbm_t | [inline] |
| extrapolateMaxBounds(const int32_t *max) | dbm::dbm_t | [inline] |
| fed_t class | dbm::dbm_t | [friend] |
| freeAllDown() | dbm::dbm_t | [inline] |
| freeAllUp() | dbm::dbm_t | [inline] |
| freeClock(cindex_t clock) | dbm::dbm_t | [inline] |
| freeDown(cindex_t clock) | dbm::dbm_t | [inline] |
| freeUp(cindex_t clock) | dbm::dbm_t | [inline] |
| ge(const fed_t &arg) const | dbm::dbm_t | [inline] |
| getCopy() | dbm::dbm_t | [inline] |
| getDBM() | dbm::dbm_t | [inline] |
| getDimension() const | dbm::dbm_t | [inline] |
| getInfimum() const | dbm::dbm_t | [inline] |
| getNew() | dbm::dbm_t | [inline] |
| getSizeOfMinDBM(cindex_t dim, mingraph_t) | dbm::dbm_t | [inline, static] |
| getUpperMinimumCost(int32_t cost) const | dbm::dbm_t | |
| getValuation(DoubleValuation &cval, bool *freeC=NULL) const | dbm::dbm_t | |
| gt(const fed_t &arg) const | dbm::dbm_t | [inline] |
| hash(uint32_t seed=0) const | dbm::dbm_t | [inline] |
| hasZero() const | dbm::dbm_t | |
| icopy(cindex_t dim) | dbm::dbm_t | [inline, private] |
| idbmPtr | dbm::dbm_t | [private] |
| idbmt() | dbm::dbm_t | [inline] |
| incRef() const | dbm::dbm_t | [inline, private] |
| inew(cindex_t dim) | dbm::dbm_t | [inline, private] |
| intern() | dbm::dbm_t | [inline] |
| intersects(const dbm_t &) const | dbm::dbm_t | |
| intersects(const fed_t &) const | dbm::dbm_t | |
| intersects(const raw_t *, cindex_t dim) const | dbm::dbm_t | |
| isEmpty() const | dbm::dbm_t | [inline] |
| isInit() const | dbm::dbm_t | [inline] |
| isMutable() const | dbm::dbm_t | [inline] |
| isSubtractionEmpty(const raw_t *arg, cindex_t dim) const | dbm::dbm_t | [inline] |
| isSubtractionEmpty(const fed_t &arg) const | dbm::dbm_t | |
| isSubtractionEmpty(const dbm_t &arg) const | dbm::dbm_t | [inline] |
| isUnbounded() const | dbm::dbm_t | [inline] |
| isZero() const | dbm::dbm_t | [inline] |
| le(const fed_t &arg) const | dbm::dbm_t | [inline] |
| lt(const fed_t &arg) const | dbm::dbm_t | [inline] |
| MAX_DIM enum value | dbm::dbm_t | |
| MAX_DIM_POWER enum value | dbm::dbm_t | |
| newCopy(const raw_t *arg, cindex_t dim) | dbm::dbm_t | [inline] |
| newCopy(const dbm_t &arg) | dbm::dbm_t | [inline] |
| nil() | dbm::dbm_t | [inline] |
| operator &&(const constraint_t &c) const | dbm::dbm_t | [inline] |
| operator &=(const dbm_t &) | dbm::dbm_t | |
| operator &=(const raw_t *) | dbm::dbm_t | |
| operator &=(const constraint_t &) | dbm::dbm_t | [inline] |
| operator &=(const base::pointer_t< constraint_t > &) | dbm::dbm_t | [inline] |
| operator &=(const std::vector< constraint_t > &) | dbm::dbm_t | [inline] |
| operator!=(const dbm_t &) const | dbm::dbm_t | [inline] |
| operator!=(const fed_t &) const | dbm::dbm_t | [inline] |
| operator!=(const raw_t *) const | dbm::dbm_t | [inline] |
| operator()() const | dbm::dbm_t | [inline] |
| operator()(cindex_t i, cindex_t j) const | dbm::dbm_t | [inline] |
| operator()(cindex_t clk) | dbm::dbm_t | [inline] |
| operator+=(const dbm_t &) | dbm::dbm_t | |
| operator+=(const fed_t &) | dbm::dbm_t | |
| operator+=(const raw_t *) | dbm::dbm_t | |
| operator<(const dbm_t &) const | dbm::dbm_t | [inline] |
| operator<(const fed_t &) const | dbm::dbm_t | [inline] |
| operator<(const raw_t *) const | dbm::dbm_t | |
| operator<=(const dbm_t &) const | dbm::dbm_t | |
| operator<=(const fed_t &) const | dbm::dbm_t | [inline] |
| operator<=(const raw_t *) const | dbm::dbm_t | [inline] |
| operator=(const dbm_t &) | dbm::dbm_t | [inline] |
| operator=(const raw_t *) | dbm::dbm_t | [inline] |
| operator==(const dbm_t &) const | dbm::dbm_t | |
| operator==(const fed_t &) const | dbm::dbm_t | [inline] |
| operator==(const raw_t *) const | dbm::dbm_t | |
| operator>(const dbm_t &) const | dbm::dbm_t | [inline] |
| operator>(const fed_t &) const | dbm::dbm_t | [inline] |
| operator>(const raw_t *) const | dbm::dbm_t | |
| operator>=(const dbm_t &) const | dbm::dbm_t | [inline] |
| operator>=(const fed_t &) const | dbm::dbm_t | [inline] |
| operator>=(const raw_t *) const | dbm::dbm_t | [inline] |
| operator[](cindex_t i) const | dbm::dbm_t | [inline] |
| pdim() const | dbm::dbm_t | [inline] |
| ptr_constrain(cindex_t i, cindex_t j, raw_t c) | dbm::dbm_t | [private] |
| ptr_constrain(cindex_t k, int32_t value) | dbm::dbm_t | [private] |
| ptr_constrain(const constraint_t *cnstr, size_t n) | dbm::dbm_t | [private] |
| ptr_constrain(const cindex_t *table, const constraint_t *cnstr, size_t n) | dbm::dbm_t | [private] |
| ptr_convexUnion(const raw_t *arg, cindex_t dim) | dbm::dbm_t | [private] |
| ptr_down() | dbm::dbm_t | [private] |
| ptr_freeAllDown() | dbm::dbm_t | [private] |
| ptr_freeAllUp() | dbm::dbm_t | [private] |
| ptr_freeClock(cindex_t k) | dbm::dbm_t | [private] |
| ptr_freeDown(cindex_t k) | dbm::dbm_t | [private] |
| ptr_freeUp(cindex_t k) | dbm::dbm_t | [private] |
| ptr_getValuation(DoubleValuation &cval, bool *freeC) const | dbm::dbm_t | [private] |
| ptr_intern() | dbm::dbm_t | [private] |
| ptr_intersectionIsArg(const raw_t *arg, cindex_t dim) | dbm::dbm_t | [private] |
| ptr_relaxAll() | dbm::dbm_t | [private] |
| ptr_relaxDownClock(cindex_t k) | dbm::dbm_t | [private] |
| ptr_relaxUpClock(cindex_t k) | dbm::dbm_t | [private] |
| ptr_swapClocks(cindex_t x, cindex_t y) | dbm::dbm_t | [private] |
| ptr_up() | dbm::dbm_t | [private] |
| ptr_update(cindex_t i, cindex_t j, int32_t v) | dbm::dbm_t | [private] |
| ptr_updateClock(cindex_t i, cindex_t j) | dbm::dbm_t | [private] |
| ptr_updateValue(cindex_t i, int32_t v) | dbm::dbm_t | [private] |
| readFromMinDBM(cindex_t dim, mingraph_t) | dbm::dbm_t | [inline, static] |
| relation(mingraph_t ming, raw_t *unpackBuffer) const | dbm::dbm_t | [inline] |
| relation(const dbm_t &arg) const | dbm::dbm_t | |
| relation(const fed_t &arg) const | dbm::dbm_t | [inline] |
| relation(const raw_t *arg, cindex_t dim) const | dbm::dbm_t | |
| relaxAll() | dbm::dbm_t | [inline] |
| relaxDown() | dbm::dbm_t | [inline] |
| relaxDownClock(cindex_t clock) | dbm::dbm_t | [inline] |
| relaxUp() | dbm::dbm_t | [inline] |
| relaxUpClock(cindex_t clock) | dbm::dbm_t | [inline] |
| resize(const uint32_t *bitSrc, const uint32_t *bitDst, size_t bitSize, cindex_t *table) | dbm::dbm_t | |
| sameAs(const dbm_t &arg) const | dbm::dbm_t | [inline] |
| satisfies(cindex_t i, cindex_t j, raw_t c) const | dbm::dbm_t | [inline] |
| satisfies(const constraint_t &c) const | dbm::dbm_t | [inline] |
| setDimension(cindex_t dim) | dbm::dbm_t | [inline] |
| setEmpty() | dbm::dbm_t | [inline] |
| setEmpty(cindex_t dim) | dbm::dbm_t | [inline, private] |
| setInit() | dbm::dbm_t | |
| setNew(cindex_t dim) | dbm::dbm_t | [inline, private] |
| setPtr(idbm_t *ptr) | dbm::dbm_t | [inline, private] |
| setZero() | dbm::dbm_t | |
| swapClocks(cindex_t x, cindex_t y) | dbm::dbm_t | [inline] |
| toString(const ClockAccessor &) const | dbm::dbm_t | |
| tryMutable() | dbm::dbm_t | [inline, private] |
| up() | dbm::dbm_t | [inline] |
| update(cindex_t x, cindex_t y, int32_t v) | dbm::dbm_t | |
| updateClock(cindex_t x, cindex_t y) | dbm::dbm_t | [inline] |
| updateCopy(const raw_t *arg, cindex_t dim) | dbm::dbm_t | [inline] |
| updateCopy(const dbm_t &arg) | dbm::dbm_t | [inline] |
| updateIncrement(cindex_t x, int32_t v) | dbm::dbm_t | [inline] |
| updateValue(cindex_t x, int32_t v) | dbm::dbm_t | [inline] |
| uval() const | dbm::dbm_t | [inline, private] |
| writeAnalyzedDBM(uint32_t *bitMatrix, size_t nbConstraints, BOOL tryConstraints16, allocator_t c_alloc, size_t offset) const | dbm::dbm_t | [inline] |
| writeToMinDBMWithOffset(bool minimizeGraph, bool tryConstraints16, allocator_t c_alloc, size_t offset) const | dbm::dbm_t | [inline] |
| ~dbm_t() | dbm::dbm_t | [inline] |