#include "base/inttypes.h"

Go to the source code of this file.

Defines
#define	ADD_BITS(BITS, VALUE)
Functions
cindex_t	dbm_computeTables (const uint32_t *bitSrc, const uint32_t *bitDst, size_t bitSize, cindex_t *table, cindex_t *cols)
	Internal function: compute redirection tables table and cols (for update of DBM).
void	dbm_updateDBM (raw_t *dbmDst, const raw_t *dbmSrc, cindex_t dimDst, cindex_t dimSrc, const cindex_t *cols)
	Internal function: update a DBM (copy & and insert new rows).
void	dbm_closeLU (raw_t *dbm, cindex_t dim, const int32_t *lower, const int32_t *upper)
	Specialized close for extrapolation: can skip outer loop k if lower[k] == upper[k] == infinity.

---

Define Documentation

#define ADD_BITS (  BITS, VALUE   )

Value: if ((VALUE) != dbm_LS_INFINITY) \ { \ BITS |= base_absNot(VALUE); \ }

---

Function Documentation

void dbm_closeLU (  raw_t *  dbm, cindex_t  dim, const int32_t *  lower, const int32_t *  upper )

Specialized close for extrapolation: can skip outer loop k if lower[k] == upper[k] == infinity.

cindex_t dbm_computeTables (  const uint32_t *  bitSrc, const uint32_t *  bitDst, size_t  bitSize, cindex_t *  table, cindex_t *  cols )

Internal function: compute redirection tables table and cols (for update of DBM). See also: dbm_shrinkExpand for table cols redirects indices from the source DBM to the destination DBM for copy purposes: copy row i to destination[i] from source[cols[i]] Parameters: bitSrc,:  source array bits bitDst,:  destination array bits bitSize,:  size of the arrays table,cols,:  tables to compute Returns: dimension of the new DBM

void dbm_updateDBM (  raw_t *  dbmDst, const raw_t *  dbmSrc, cindex_t  dimDst, cindex_t  dimSrc, const cindex_t *  cols )

Internal function: update a DBM (copy & and insert new rows). Parameters: dbmDst,dimDst,:  destination DBM of dimension dimDst dbmSrc,dimSrc,:  source DBM of dimension dimSrc cols,:  indirection table to copy the DBM, ie, rows (and columns) i of the destination come from cols[i] in the source if ~cols[i] (ie != ~0). Precondition: cols is a cindex_t[dimDst], cols[0] is ignored since the ref clock is always at 0, and for all i < dimDst: cols[i] < dimSrc.

---