add(const PDBM pdbm, size_t dim) | dbm::pfed_t | [protected] |
alloc | dbm::pfed_t | [protected, static] |
analyzeForMinDBM(uint32_t *bitMatrix) const | dbm::pfed_t | |
begin() const | dbm::pfed_t | [inline] |
beginMutable() | dbm::pfed_t | [inline, protected] |
const_dbmt() const | dbm::pfed_t | [inline] |
const_iterator typedef | dbm::pfed_t | |
constrain(cindex_t i, uint32_t value) | dbm::pfed_t | |
constrain(cindex_t i, cindex_t j, raw_t constraint) | dbm::pfed_t | |
constrain(cindex_t i, cindex_t j, int32_t b, bool isStrict) | dbm::pfed_t | [inline] |
constrain(const constraint_t *constraints, size_t n) | dbm::pfed_t | |
constrain(const constraint_t &c) | dbm::pfed_t | [inline] |
contains(const DoubleValuation &v) const | dbm::pfed_t | |
contains(const IntValuation &v) const | dbm::pfed_t | |
decRef() | dbm::pfed_t | [protected] |
diagonalExtrapolateLUBounds(int32_t *lower, int32_t *upper) | dbm::pfed_t | |
diagonalExtrapolateMaxBounds(int32_t *max) | dbm::pfed_t | |
down() | dbm::pfed_t | |
end() const | dbm::pfed_t | [inline] |
endMutable() | dbm::pfed_t | [inline, protected] |
erase(iterator) | dbm::pfed_t | [protected] |
erase_if(Predicate p) | dbm::pfed_t | [inline] |
erase_if_not(Predicate p) | dbm::pfed_t | |
extrapolateMaxBounds(int32_t *max) | dbm::pfed_t | |
freeClock(cindex_t clock) | dbm::pfed_t | |
freeDown(cindex_t) | dbm::pfed_t | |
freeUp(cindex_t) | dbm::pfed_t | |
getCostOfValuation(const IntValuation &valuation) const | dbm::pfed_t | |
getDimension() const | dbm::pfed_t | [inline] |
getInfimum() const | dbm::pfed_t | |
getInfimumValuation(IntValuation &valuation, const bool *free=NULL) const | dbm::pfed_t | |
getOffsetCost() const | dbm::pfed_t | |
getRate(cindex_t) const | dbm::pfed_t | |
getSizeOfMinDBM(size_t dimension, const int32_t *) | dbm::pfed_t | [static] |
getSlopeOfDelayTrajectory() const | dbm::pfed_t | |
getUpperMinimumCost(cindex_t) const | dbm::pfed_t | |
getValuation(DoubleValuation &cval, bool *freeC=NULL) const | dbm::pfed_t | |
hash(uint32_t seed) const | dbm::pfed_t | |
incRef() | dbm::pfed_t | [inline, protected] |
incrementCost(int32_t value) | dbm::pfed_t | |
intersects(const pfed_t &) const | dbm::pfed_t | |
isEmpty() const | dbm::pfed_t | [inline] |
isOnZeroCycle(cindex_t clock, cindex_t &result) const | dbm::pfed_t | |
isUnbounded() const | dbm::pfed_t | |
iterator typedef | dbm::pfed_t | [protected] |
operator &(const pfed_t &b) const | dbm::pfed_t | |
operator &=(const pfed_t &) | dbm::pfed_t | |
operator()(cindex_t i, cindex_t j) const | dbm::pfed_t | |
operator+=(const pfed_t &) | dbm::pfed_t | |
operator-(const pfed_t &b) const | dbm::pfed_t | |
operator-=(const pfed_t &) | dbm::pfed_t | |
operator=(const pfed_t &) | dbm::pfed_t | |
operator=(const PDBM) | dbm::pfed_t | [inline] |
operator==(const pfed_t &) const | dbm::pfed_t | |
operator|=(const pfed_t &) | dbm::pfed_t | |
operator|=(const PDBM) | dbm::pfed_t | |
pfed_t() | dbm::pfed_t | |
pfed_t(cindex_t dim) | dbm::pfed_t | [explicit] |
pfed_t(const PDBM pdbm, cindex_t dim) | dbm::pfed_t | |
pfed_t(const pfed_t &) | dbm::pfed_t | [inline] |
prepare() | dbm::pfed_t | [protected] |
ptr | dbm::pfed_t | [protected] |
readFromMinDBM(size_t dimension, const int32_t *) | dbm::pfed_t | [static] |
relation(const pfed_t &fed) const | dbm::pfed_t | |
relation(const int32_t *, raw_t *) const | dbm::pfed_t | |
relax() | dbm::pfed_t | |
relaxUp() | dbm::pfed_t | |
satisfies(const constraint_t &c) const | dbm::pfed_t | [inline] |
satisfies(cindex_t i, cindex_t j, raw_t constraint) const | dbm::pfed_t | |
setEmpty() | dbm::pfed_t | |
setInit() | dbm::pfed_t | |
setOffsetCost(int32_t) | dbm::pfed_t | |
setRate(cindex_t, int32_t) | dbm::pfed_t | |
setZero() | dbm::pfed_t | |
size() const | dbm::pfed_t | [inline] |
splitExtrapolate(const constraint_t *, const constraint_t *, const int32_t *) | dbm::pfed_t | |
swapClocks(cindex_t, cindex_t) | dbm::pfed_t | |
up() | dbm::pfed_t | |
up(int32_t rate) | dbm::pfed_t | |
updateValue(cindex_t clock, uint32_t value) | dbm::pfed_t | |
updateValueZero(cindex_t clock, int32_t value, cindex_t zero) | dbm::pfed_t | |
writeToMinDBMWithOffset(bool minimizeGraph, bool tryConstraints16, allocator_t c_alloc, uint32_t offset) const | dbm::pfed_t | |
~pfed_t() | dbm::pfed_t | [inline] |