udbm::DBM Member List

This is the complete list of members for udbm::DBM, including all inherited members.

allocSize(int dim)	udbm::DBM	[inline, private, static]
applyDown()	udbm::DBM	[inline]
applyFreeAllDown()	udbm::DBM	[inline]
applyFreeAllUp()	udbm::DBM	[inline]
applyFreeClock(int clk)	udbm::DBM	[inline]
applyFreeDown(int clk)	udbm::DBM	[inline]
applyFreeUp(int clk)	udbm::DBM	[inline]
applyUp()	udbm::DBM	[inline]
constrain(int i, int j, Constraint &c)	udbm::DBM	[inline]
constrain(int i, int j, int bound, bool strict)	udbm::DBM	[inline]
constrainClock(int clk, int value)	udbm::DBM	[inline]
contains(const DBMVector &v) const	udbm::DBM	[inline]
contains(const DBMPoint &v) const	udbm::DBM	[inline]
convexHull(const DBM &arg)	udbm::DBM	[inline]
convexHull(const Fed &arg)	udbm::DBM	[inline]
copy() const	udbm::DBM	[inline]
DBM(int d)	udbm::DBM	[inline]
DBM(const DBM &arg)	udbm::DBM	[inline]
DBM(const DBMMatrix &arg)	udbm::DBM	[inline]
DBM(const dbm::dbm_t &arg)	udbm::DBM	[inline, private]
diagonalExtrapolateLUBounds(const DBMVector &l, const DBMVector &u)	udbm::DBM	[inline]
diagonalExtrapolateMaxBounds(const DBMVector &v)	udbm::DBM	[inline]
dim() const	udbm::DBM	[inline]
exactRelation(const DBM &arg) const	udbm::DBM	[inline]
exactRelation(const Fed &arg) const	udbm::DBM	[inline]
extrapolateLUBounds(const DBMVector &l, const DBMVector &u)	udbm::DBM	[inline]
extrapolateMaxBounds(const DBMVector &v)	udbm::DBM	[inline]
Fed class	udbm::DBM	[friend]
getPoint() const	udbm::DBM	[inline]
init(int dim)	udbm::DBM	[inline, static]
intern()	udbm::DBM	[inline]
intersectionWith(const DBM &arg)	udbm::DBM	[inline]
intersects(const DBM &arg) const	udbm::DBM	[inline]
intersects(const Fed &arg) const	udbm::DBM	[inline]
isEmpty() const	udbm::DBM	[inline]
isIncludedIn(const DBM &arg) const	udbm::DBM	[inline]
isIncludedIn(const Fed &arg) const	udbm::DBM	[inline]
isStrictlyIncludedIn(const DBM &arg) const	udbm::DBM	[inline]
isStrictlyIncludedIn(const Fed &arg) const	udbm::DBM	[inline]
isSubtractionEmpty(const DBM &arg) const	udbm::DBM	[inline]
isSubtractionEmpty(const Fed &arg) const	udbm::DBM	[inline]
isUnbounded() const	udbm::DBM	[inline]
operator &(const DBM &arg)	udbm::DBM	[inline]
operator &(const Fed &arg)	udbm::DBM	[inline]
operator+(const DBM &arg) const	udbm::DBM	[inline]
operator+(const Fed &arg) const	udbm::DBM	[inline]
operator<(const DBM &arg) const	udbm::DBM	[inline]
operator<(const Fed &arg) const	udbm::DBM	[inline]
operator<=(const DBM &arg) const	udbm::DBM	[inline]
operator<=(const Fed &arg) const	udbm::DBM	[inline]
operator=(const DBM &arg)	udbm::DBM	[inline]
operator==(const DBM &arg) const	udbm::DBM	[inline]
operator==(const Fed &arg) const	udbm::DBM	[inline]
operator>(const DBM &arg) const	udbm::DBM	[inline]
operator>(const Fed &arg) const	udbm::DBM	[inline]
operator>=(const DBM &arg) const	udbm::DBM	[inline]
operator>=(const Fed &arg) const	udbm::DBM	[inline]
read(int i, int j) const	udbm::DBM	[inline]
relation(const DBM &arg) const	udbm::DBM	[inline]
relation(const Fed &arg) const	udbm::DBM	[inline]
relaxAll()	udbm::DBM	[inline]
relaxDown()	udbm::DBM	[inline]
relaxDown(int k)	udbm::DBM	[inline]
relaxUp()	udbm::DBM	[inline]
relaxUp(int k)	udbm::DBM	[inline]
satisfies(int i, int j, int bound, bool strict) const	udbm::DBM	[inline]
satisfies(int i, int j, const Constraint &c) const	udbm::DBM	[inline]
setDBM(dbm::dbm_t &wdbm, const DBMMatrix &arg)	udbm::DBM	[private, static]
setEmpty()	udbm::DBM	[inline]
setInit()	udbm::DBM	[inline]
setZero()	udbm::DBM	[inline]
str	udbm::DBM	[private]
to_s()	udbm::DBM	[inline]
updateClock(int x, int y)	udbm::DBM	[inline]
updateGeneral(int x, int y, int v)	udbm::DBM	[inline]
updateIncrement(int x, int v)	udbm::DBM	[inline]
updateValue(int x, int v)	udbm::DBM	[inline]
wdbm	udbm::DBM	[private]
write(char *s, int size, const raw_t *m, int dim)	udbm::DBM	[private, static]
zero(int dim)	udbm::DBM	[inline, static]
~DBM()	udbm::DBM	[inline]

---