| add(const DBMList_t *dbmList) | dbm::Federation | [inline] |
| add(const Federation *arg) | dbm::Federation | [inline] |
| allocateFor(cindex_t maxDim) | dbm::Federation | [inline, private, static] |
| changeClocks(const uint32_t *oldClocks, const uint32_t *newClocks, size_t size) | dbm::Federation | [inline] |
| constrain(cindex_t clockIndexI, cindex_t clockIndexJ, raw_t rawBound) | dbm::Federation | [inline] |
| constrain(constraint_t c) | dbm::Federation | [inline] |
| constrain(cindex_t clockIndexI, cindex_t clockIndexJ, int32_t bound, bool isStrict) | dbm::Federation | [inline] |
| constrain(cindex_t clockIndexI, cindex_t clockIndexJ, int32_t bound, strictness_t strictness) | dbm::Federation | [inline] |
| constrainN(const constraint_t *constraints, size_t n) | dbm::Federation | [inline] |
| convexUnion() | dbm::Federation | [inline] |
| copyFromFederation(const Federation *original) | dbm::Federation | [inline, private] |
| createFederation(DBMAllocator_t *factory, cindex_t nbClocks) | dbm::Federation | [inline, static] |
| createFederation(const Federation *original) | dbm::Federation | [inline, static] |
| createFederation(DBMAllocator_t *factory, cindex_t nbClocks, const uint32_t *activeClocks, size_t size) | dbm::Federation | [inline, static] |
| dbmAllocator | dbm::Federation | [private] |
| dbmFederation | dbm::Federation | [private] |
| diagonalExtrapolateLUBounds(const int32_t *lower, const int32_t *upper) | dbm::Federation | [inline] |
| diagonalExtrapolateMaxBounds(const int32_t *max) | dbm::Federation | [inline] |
| down() | dbm::Federation | [inline] |
| expensiveReduce() | dbm::Federation | [inline] |
| extrapolateLUBounds(const int32_t *lower, const int32_t *upper) | dbm::Federation | [inline] |
| extrapolateMaxBounds(const int32_t *max) | dbm::Federation | [inline] |
| Federation(DBMAllocator_t *dbmf, cindex_t nbClocks) | dbm::Federation | [inline, private] |
| Federation(const Federation &original) | dbm::Federation | [inline, private] |
| Federation(DBMAllocator_t *dbmf, cindex_t nbClocks, const uint32_t *activeClocks, size_t size) | dbm::Federation | [inline, private] |
| freeClock(cindex_t clockIndex) | dbm::Federation | [inline] |
| getAllocator() | dbm::Federation | [inline] |
| getAllocator() const | dbm::Federation | [inline] |
| getAtDBMList() | dbm::Federation | [inline] |
| getDBMList() const | dbm::Federation | [inline] |
| getDBMList() | dbm::Federation | [inline] |
| getFirstDBM() | dbm::Federation | [inline] |
| getNumberOfClocks() const | dbm::Federation | [inline] |
| getPaddedIntOffsetFor(cindex_t maxDim) | dbm::Federation | [inline, private, static] |
| getSize() const | dbm::Federation | [inline] |
| getSizeOfFederationFor(cindex_t maxDim) | dbm::Federation | [inline, private, static] |
| indexTable | dbm::Federation | [private] |
| initFederation(DBMAllocator_t *dbmf, cindex_t nbClocks) | dbm::Federation | [inline] |
| initFederation(DBMAllocator_t *dbmf, cindex_t nbClocks, const uint32_t *activeClocks, size_t size) | dbm::Federation | [inline] |
| initIndexTable(cindex_t newDim) | dbm::Federation | [inline] |
| initIndexTable(const uint32_t *activeClocks, size_t size) | dbm::Federation | [inline] |
| initToZero() | dbm::Federation | |
| initUnconstrained() | dbm::Federation | |
| intersection(const raw_t *dbm) | dbm::Federation | [inline] |
| intersection(const Federation *anotherFed) | dbm::Federation | [inline] |
| isEmpty() const | dbm::Federation | [inline] |
| isMaybeIncludedIn(const Federation *fed) | dbm::Federation | [inline] |
| isReallyIncludedIn(const Federation *fed) | dbm::Federation | [inline] |
| isUnbounded() const | dbm::Federation | [inline] |
| microDelay() | dbm::Federation | [inline] |
| newDBM() | dbm::Federation | [inline] |
| operator+=(const Federation &arg) | dbm::Federation | [inline] |
| operator-=(const Federation &fed) | dbm::Federation | [inline] |
| operator=(const Federation &original) | dbm::Federation | [inline] |
| partialRelation(const raw_t *dbm) const | dbm::Federation | [inline] |
| predt(Federation *bad) | dbm::Federation | [inline] |
| prettyPrint(std::ostream &os) const | dbm::Federation | |
| reduce() | dbm::Federation | [inline] |
| relation(const raw_t *dbm) const | dbm::Federation | [inline] |
| removePartialIncludedIn(const Federation *arg) | dbm::Federation | [inline] |
| reset() | dbm::Federation | [inline] |
| satisfies(cindex_t clockIndexI, cindex_t clockIndexJ, raw_t rawConstraint) const | dbm::Federation | [inline] |
| satisfies(constraint_t constraint) const | dbm::Federation | [inline] |
| satisfies(cindex_t clockIndexI, cindex_t clockIndexJ, int32_t bound, bool isStrict) const | dbm::Federation | [inline] |
| satisfies(cindex_t clockIndexI, cindex_t clockIndexJ, int32_t bound, strictness_t strictness) const | dbm::Federation | [inline] |
| serialize(std::ostream &os) const | dbm::Federation | |
| state::SymbolicState class | dbm::Federation | [friend] |
| stealDBMs(Federation *fed) | dbm::Federation | [inline] |
| stretchDown(cindex_t clockIndex) | dbm::Federation | [inline] |
| stretchUp() | dbm::Federation | [inline] |
| substract(const raw_t *dbm) | dbm::Federation | [inline] |
| substract(const Federation *fed) | dbm::Federation | [inline] |
| unionWith(DBMList_t *fed) | dbm::Federation | [inline] |
| unionWithCopy(const DBMList_t *fed) | dbm::Federation | [inline] |
| unserialize(std::istream &is) | dbm::Federation | |
| unshareAllocator() | dbm::Federation | [inline] |
| up() | dbm::Federation | [inline] |
| update(cindex_t clockIndexI, cindex_t clockIndexJ, int32_t increment) | dbm::Federation | [inline] |
| updateClock(cindex_t clockIndexI, cindex_t clockIndexJ) | dbm::Federation | [inline] |
| updateIncrement(cindex_t clockIndex, int32_t increment) | dbm::Federation | [inline] |
| updateValue(cindex_t clockIndex, int32_t value) | dbm::Federation | [inline] |
| ~Federation() | dbm::Federation | |
