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