| add(const FedArray &arr) | udbm::Fed | [inline] |
| add(const DBMMatrix &m) | udbm::Fed | [inline] |
| add(const DBM &arg) | udbm::Fed | [inline] |
| add(const Fed &arg) | udbm::Fed | [inline] |
| allocSize(int size, int dim) | udbm::Fed | [inline, private, static] |
| applyDown() | udbm::Fed | [inline] |
| applyFreeAllDown() | udbm::Fed | [inline] |
| applyFreeAllUp() | udbm::Fed | [inline] |
| applyFreeClock(int clk) | udbm::Fed | [inline] |
| applyFreeDown(int clk) | udbm::Fed | [inline] |
| applyFreeUp(int clk) | udbm::Fed | [inline] |
| applyPredt(const DBM &bad) | udbm::Fed | [inline] |
| applyPredt(const Fed &bad) | udbm::Fed | [inline] |
| applyUp() | udbm::Fed | [inline] |
| constrain(int i, int j, Constraint &c) | udbm::Fed | [inline] |
| constrain(int i, int j, int bound, bool strict) | udbm::Fed | [inline] |
| constrainClock(int clk, int value) | udbm::Fed | [inline] |
| contains(const DBMVector &v) const | udbm::Fed | [inline] |
| contains(const DBMPoint &v) const | udbm::Fed | [inline] |
| convexHull(const DBM &arg) | udbm::Fed | [inline] |
| convexHull(const Fed &arg) | udbm::Fed | [inline] |
| convexHull() | udbm::Fed | [inline] |
| copy() const | udbm::Fed | [inline] |
| DBM class | udbm::Fed | [friend] |
| diagonalExtrapolateLUBounds(const DBMVector &l, const DBMVector &u) | udbm::Fed | [inline] |
| diagonalExtrapolateMaxBounds(const DBMVector &v) | udbm::Fed | [inline] |
| dim() const | udbm::Fed | [inline] |
| exactRelation(const DBM &arg) const | udbm::Fed | [inline] |
| exactRelation(const Fed &arg) const | udbm::Fed | [inline] |
| extrapolateLUBounds(const DBMVector &l, const DBMVector &u) | udbm::Fed | [inline] |
| extrapolateMaxBounds(const DBMVector &v) | udbm::Fed | [inline] |
| Fed(int d) | udbm::Fed | [inline] |
| Fed(const DBM &arg) | udbm::Fed | [inline] |
| Fed(const Fed &arg) | udbm::Fed | [inline] |
| Fed(const dbm::fed_t &arg) | udbm::Fed | [inline, private] |
| getPoint() const | udbm::Fed | [inline] |
| has(const DBM &arg) const | udbm::Fed | [inline] |
| init(int dim) | udbm::Fed | [inline, static] |
| intern() | udbm::Fed | [inline] |
| intersectionWith(const DBM &arg) | udbm::Fed | [inline] |
| intersectionWith(const Fed &arg) | udbm::Fed | [inline] |
| intersects(const DBM &arg) const | udbm::Fed | [inline] |
| intersects(const Fed &arg) const | udbm::Fed | [inline] |
| isEmpty() const | udbm::Fed | [inline] |
| isIncludedIn(const DBM &arg) const | udbm::Fed | [inline] |
| isIncludedIn(const Fed &arg) const | udbm::Fed | [inline] |
| isStrictlyIncludedIn(const DBM &arg) const | udbm::Fed | [inline] |
| isStrictlyIncludedIn(const Fed &arg) const | udbm::Fed | [inline] |
| isSubtractionEmpty(const DBM &arg) const | udbm::Fed | [inline] |
| isSubtractionEmpty(const Fed &arg) const | udbm::Fed | [inline] |
| isUnbounded() const | udbm::Fed | [inline] |
| mergeReduce() | udbm::Fed | [inline] |
| operator &(const DBM &arg) | udbm::Fed | [inline] |
| operator &(const Fed &arg) | udbm::Fed | [inline] |
| operator+(const DBM &arg) const | udbm::Fed | [inline] |
| operator+(const Fed &arg) const | udbm::Fed | [inline] |
| operator-(const DBM &arg) const | udbm::Fed | [inline] |
| operator-(const Fed &arg) const | udbm::Fed | [inline] |
| operator<(const DBM &arg) const | udbm::Fed | [inline] |
| operator<(const Fed &arg) const | udbm::Fed | [inline] |
| operator<=(const DBM &arg) const | udbm::Fed | [inline] |
| operator<=(const Fed &arg) const | udbm::Fed | [inline] |
| operator=(const Fed &arg) | udbm::Fed | [inline] |
| operator==(const DBM &arg) const | udbm::Fed | [inline] |
| operator==(const Fed &arg) const | udbm::Fed | [inline] |
| operator>(const DBM &arg) const | udbm::Fed | [inline] |
| operator>(const Fed &arg) const | udbm::Fed | [inline] |
| operator>=(const DBM &arg) const | udbm::Fed | [inline] |
| operator>=(const Fed &arg) const | udbm::Fed | [inline] |
| operator|(const DBM &arg) const | udbm::Fed | [inline] |
| operator|(const Fed &arg) const | udbm::Fed | [inline] |
| partitionReduce() | udbm::Fed | [inline] |
| possibleBackDelay(const DBMPoint &pt) const | udbm::Fed | [inline] |
| relation(const DBM &arg) const | udbm::Fed | [inline] |
| relation(const Fed &arg) const | udbm::Fed | [inline] |
| relaxAll() | udbm::Fed | [inline] |
| relaxDown() | udbm::Fed | [inline] |
| relaxDown(int k) | udbm::Fed | [inline] |
| relaxUp() | udbm::Fed | [inline] |
| relaxUp(int k) | udbm::Fed | [inline] |
| removeIncludedIn(const DBM &arg) | udbm::Fed | [inline] |
| removeIncludedIn(const Fed &arg) | udbm::Fed | [inline] |
| satisfies(int i, int j, int bound, bool strict) const | udbm::Fed | [inline] |
| satisfies(int i, int j, const Constraint &c) const | udbm::Fed | [inline] |
| setEmpty() | udbm::Fed | [inline] |
| setInit() | udbm::Fed | [inline] |
| setZero() | udbm::Fed | [inline] |
| size() const | udbm::Fed | [inline] |
| str | udbm::Fed | [private] |
| subtract(const DBM &arg) | udbm::Fed | [inline] |
| subtract(const Fed &arg) | udbm::Fed | [inline] |
| to_s() | udbm::Fed | [inline] |
| unionWith(const DBM &arg) | udbm::Fed | [inline] |
| unionWith(const Fed &arg) | udbm::Fed | [inline] |
| updateClock(int x, int y) | udbm::Fed | [inline] |
| updateGeneral(int x, int y, int v) | udbm::Fed | [inline] |
| updateIncrement(int x, int v) | udbm::Fed | [inline] |
| updateValue(int x, int v) | udbm::Fed | [inline] |
| wfed | udbm::Fed | [private] |
| zero(int dim) | udbm::Fed | [inline, static] |
| ~Fed() | udbm::Fed | [inline] |
