dbm::fed_t Member List

This is the complete list of members for dbm::fed_t, including all inherited members.

add(const fed_t &arg)	dbm::fed_t	[inline]
add(const dbm_t &arg)	dbm::fed_t	[inline]
add(const raw_t *arg, cindex_t dim)	dbm::fed_t	[inline]
append(fed_t &arg)	dbm::fed_t
append(fdbm_t *arg)	dbm::fed_t
appendC(fed_t arg)	dbm::fed_t	[inline]
begin() const	dbm::fed_t	[inline]
beginMutable()	dbm::fed_t	[inline]
changeClocks(const cindex_t *target, cindex_t newDim)	dbm::fed_t
const_dbmt() const	dbm::fed_t	[inline]
constrain(cindex_t i, int32_t value)	dbm::fed_t
constrain(cindex_t i, cindex_t j, raw_t c)	dbm::fed_t
constrain(cindex_t i, cindex_t j, int32_t b, strictness_t s)	dbm::fed_t	[inline]
constrain(cindex_t i, cindex_t j, int32_t b, bool isStrict)	dbm::fed_t	[inline]
constrain(const constraint_t &c)	dbm::fed_t	[inline]
constrain(const constraint_t *c, size_t n)	dbm::fed_t
constrain(const cindex_t *table, const constraint_t *c, size_t n)	dbm::fed_t
constrain(const cindex_t *table, const base::pointer_t< constraint_t > &)	dbm::fed_t
constrain(const cindex_t *table, const std::vector< constraint_t > &)	dbm::fed_t
contains(const IntValuation &point) const	dbm::fed_t	[inline]
contains(const int32_t *point, cindex_t dim) const	dbm::fed_t
contains(const DoubleValuation &point) const	dbm::fed_t	[inline]
contains(const double *point, cindex_t dim) const	dbm::fed_t
convexHull()	dbm::fed_t
convexReduce()	dbm::fed_t
dbmt()	dbm::fed_t	[inline, private]
decRef() const	dbm::fed_t	[inline, private]
decRefImmutable() const	dbm::fed_t	[inline, private]
delay(const DoubleValuation &point, double *t) const	dbm::fed_t	[inline]
delay(const double *point, cindex_t dim, double *t) const	dbm::fed_t
diagonalExtrapolateLUBounds(const int32_t *lower, const int32_t *upper)	dbm::fed_t
diagonalExtrapolateMaxBounds(const int32_t *max)	dbm::fed_t
down()	dbm::fed_t
end() const	dbm::fed_t	[inline]
endMutable() const	dbm::fed_t	[inline]
eq(const fed_t &arg) const	dbm::fed_t	[inline]
eq(const dbm_t &arg) const	dbm::fed_t	[inline]
eq(const raw_t *arg, cindex_t dim) const	dbm::fed_t	[inline]
erase(iterator &iter)	dbm::fed_t	[inline]
exactRelation(const fed_t &arg) const	dbm::fed_t
exactRelation(const dbm_t &arg) const	dbm::fed_t
exactRelation(const raw_t *arg, cindex_t dim) const	dbm::fed_t
expensiveConvexReduce()	dbm::fed_t
expensiveReduce()	dbm::fed_t
extrapolateLUBounds(const int32_t *lower, const int32_t *upper)	dbm::fed_t
extrapolateMaxBounds(const int32_t *max)	dbm::fed_t
fed_t(cindex_t dim=1)	dbm::fed_t	[inline, explicit]
fed_t(const fed_t &arg)	dbm::fed_t	[inline]
fed_t(const dbm_t &arg)	dbm::fed_t	[inline]
fed_t(const raw_t *arg, cindex_t dim)	dbm::fed_t	[inline]
fed_t(const ClockOperation< fed_t > &op)	dbm::fed_t	[inline]
fed_t(ifed_t *ifed)	dbm::fed_t	[inline, private]
freeAllDown()	dbm::fed_t
freeAllUp()	dbm::fed_t
freeClock(cindex_t clock)	dbm::fed_t
freeDown(cindex_t clock)	dbm::fed_t
freeUp(cindex_t clock)	dbm::fed_t
ge(const fed_t &arg) const	dbm::fed_t	[inline]
ge(const dbm_t &arg) const	dbm::fed_t	[inline]
ge(const raw_t *arg, cindex_t dim) const	dbm::fed_t	[inline]
getDimension() const	dbm::fed_t	[inline]
getInfimum() const	dbm::fed_t	[inline]
getUpperMinimumCost(int cost) const	dbm::fed_t
getValuation(DoubleValuation &cval, bool *freeC=NULL) const	dbm::fed_t
gt(const fed_t &arg) const	dbm::fed_t	[inline]
gt(const dbm_t &arg) const	dbm::fed_t	[inline]
gt(const raw_t *arg, cindex_t dim) const	dbm::fed_t	[inline]
has(const dbm_t &arg) const	dbm::fed_t
has(const raw_t *arg, cindex_t dim) const	dbm::fed_t
hasEmpty() const	dbm::fed_t
hash(uint32_t seed=0) const	dbm::fed_t	[inline]
hasSame(const dbm_t &arg) const	dbm::fed_t
hasZero() const	dbm::fed_t
ifed()	dbm::fed_t	[inline, private]
ifed() const	dbm::fed_t	[inline, private]
ifedPtr	dbm::fed_t	[private]
incRef() const	dbm::fed_t	[inline, private]
intern()	dbm::fed_t
intersects(const fed_t &) const	dbm::fed_t
intersects(const dbm_t &) const	dbm::fed_t
intersects(const raw_t *, cindex_t dim) const	dbm::fed_t
isEmpty() const	dbm::fed_t	[inline]
isIncludedInPredt(const fed_t &good, const fed_t &bad) const	dbm::fed_t
isMutable() const	dbm::fed_t	[inline, private]
isOK() const	dbm::fed_t	[inline, private]
isSubtractionEmpty(const raw_t *arg, cindex_t dim) const	dbm::fed_t
isSubtractionEmpty(const dbm_t &arg) const	dbm::fed_t	[inline]
isSubtractionEmpty(const fed_t &arg) const	dbm::fed_t
isSubtractionEmpty(const raw_t *dbm, cindex_t dim, const fed_t &fed)	dbm::fed_t	[static]
isSupersetEq(const raw_t *arg, cindex_t dim) const	dbm::fed_t
isUnbounded() const	dbm::fed_t
le(const fed_t &arg) const	dbm::fed_t	[inline]
le(const dbm_t &arg) const	dbm::fed_t	[inline]
le(const raw_t *arg, cindex_t dim) const	dbm::fed_t
lt(const fed_t &arg) const	dbm::fed_t	[inline]
lt(const dbm_t &arg) const	dbm::fed_t	[inline]
lt(const raw_t *arg, cindex_t dim) const	dbm::fed_t	[inline]
mergeReduce()	dbm::fed_t	[inline]
nil()	dbm::fed_t	[inline]
noReduce()	dbm::fed_t	[inline]
operator &&(const constraint_t &c) const	dbm::fed_t	[inline]
operator &=(const fed_t &)	dbm::fed_t
operator &=(const dbm_t &)	dbm::fed_t
operator &=(const raw_t *)	dbm::fed_t
operator &=(const constraint_t &)	dbm::fed_t	[inline]
operator &=(const base::pointer_t< constraint_t > &)	dbm::fed_t	[inline]
operator &=(const std::vector< constraint_t > &)	dbm::fed_t	[inline]
operator!=(const fed_t &) const	dbm::fed_t	[inline]
operator!=(const dbm_t &) const	dbm::fed_t	[inline]
operator!=(const raw_t *) const	dbm::fed_t	[inline]
operator()(cindex_t clk)	dbm::fed_t	[inline]
operator+=(const fed_t &)	dbm::fed_t
operator+=(const dbm_t &)	dbm::fed_t
operator+=(const raw_t *)	dbm::fed_t
operator-=(const fed_t &)	dbm::fed_t
operator-=(const dbm_t &)	dbm::fed_t
operator-=(const raw_t *)	dbm::fed_t
operator<(const fed_t &) const	dbm::fed_t	[inline]
operator<(const dbm_t &) const	dbm::fed_t	[inline]
operator<(const raw_t *) const	dbm::fed_t	[inline]
operator<=(const fed_t &) const	dbm::fed_t	[inline]
operator<=(const dbm_t &) const	dbm::fed_t
operator<=(const raw_t *) const	dbm::fed_t	[inline]
operator=(const fed_t &)	dbm::fed_t	[inline]
operator=(const dbm_t &)	dbm::fed_t
operator=(const raw_t *)	dbm::fed_t
operator==(const fed_t &) const	dbm::fed_t	[inline]
operator==(const dbm_t &) const	dbm::fed_t	[inline]
operator==(const raw_t *) const	dbm::fed_t	[inline]
operator>(const fed_t &) const	dbm::fed_t	[inline]
operator>(const dbm_t &) const	dbm::fed_t	[inline]
operator>(const raw_t *) const	dbm::fed_t	[inline]
operator>=(const fed_t &) const	dbm::fed_t	[inline]
operator>=(const dbm_t &) const	dbm::fed_t
operator>=(const raw_t *) const	dbm::fed_t	[inline]
operator|=(const fed_t &)	dbm::fed_t
operator|=(const dbm_t &)	dbm::fed_t
operator|=(const raw_t *)	dbm::fed_t
partitionReduce()	dbm::fed_t
possibleBackDelay(const DoubleValuation &point) const	dbm::fed_t	[inline]
possibleBackDelay(const double *point, cindex_t dim) const	dbm::fed_t
predt(const fed_t &bad)	dbm::fed_t
predt(const dbm_t &bad)	dbm::fed_t
predt(const raw_t *bad, cindex_t dim)	dbm::fed_t
ptr_relation(const raw_t *arg, cindex_t dim) const	dbm::fed_t	[private]
ptr_subtract(const raw_t *arg, cindex_t dim)	dbm::fed_t	[private]
read(fdbm_t **fed, size_t size)	dbm::fed_t
reduce()	dbm::fed_t	[inline]
relation(const fed_t &arg) const	dbm::fed_t
relation(const dbm_t &arg) const	dbm::fed_t
relation(const raw_t *arg, cindex_t dim) const	dbm::fed_t
relaxAll()	dbm::fed_t
relaxDown()	dbm::fed_t	[inline]
relaxDownClock(cindex_t clock)	dbm::fed_t
relaxUp()	dbm::fed_t	[inline]
relaxUpClock(cindex_t clock)	dbm::fed_t
removeEmpty()	dbm::fed_t
removeIncludedIn(const fed_t &arg)	dbm::fed_t
removeIncludedIn(const dbm_t &arg)	dbm::fed_t	[inline]
removeIncludedIn(const raw_t *arg, cindex_t dim)	dbm::fed_t
removeThisDBM(const dbm_t &dbm)	dbm::fed_t
resize(const uint32_t *bitSrc, const uint32_t *bitDst, size_t bitSize, cindex_t *table)	dbm::fed_t
sameAs(const fed_t &arg) const	dbm::fed_t	[inline]
satisfies(cindex_t i, cindex_t j, raw_t c) const	dbm::fed_t
satisfies(const constraint_t &c) const	dbm::fed_t	[inline]
setDimension(cindex_t dim)	dbm::fed_t
setEmpty()	dbm::fed_t
setInit()	dbm::fed_t
setMutable()	dbm::fed_t	[inline]
setZero()	dbm::fed_t
size() const	dbm::fed_t	[inline]
splitExtrapolate(const constraint_t *begin, const constraint_t *end, const int32_t *max)	dbm::fed_t
subtract(const raw_t *arg1, const raw_t *arg2, cindex_t dim)	dbm::fed_t	[static]
subtract(const dbm_t &arg1, const raw_t *arg2, cindex_t dim)	dbm::fed_t	[static]
swapClocks(cindex_t x, cindex_t y)	dbm::fed_t
toArray(const raw_t **ar) const	dbm::fed_t	[private]
toString(const ClockAccessor &) const	dbm::fed_t
unionWith(fed_t &arg)	dbm::fed_t
unionWithC(fed_t arg)	dbm::fed_t	[inline]
up()	dbm::fed_t
update(cindex_t x, cindex_t y, int32_t v)	dbm::fed_t
updateClock(cindex_t x, cindex_t y)	dbm::fed_t
updateIncrement(cindex_t x, int32_t v)	dbm::fed_t
updateValue(cindex_t x, int32_t v)	dbm::fed_t
write(fdbm_t **mem)	dbm::fed_t
~fed_t()	dbm::fed_t	[inline]

---