mingraph.c File Reference

Miscellanous functions of the mingraph.h API: get dimension, get size, convex union, get coding type. More...

#include "base/bitstring.h"
#include "dbm/mingraph.h"
#include "mingraph_coding.h"
#include "debug/macros.h"

Functions
static void	mingraph_convexUnion16 (raw_t *dbm, const int32_t *minDBM, cindex_t dim)
static void	mingraph_convexUnion32 (raw_t *dbm, const int32_t *minDBM, cindex_t dim)
void	dbm_bitMatrix2indices (const uint32_t *bits, size_t nbConstraints, uint32_t *index, cindex_t dim)
	Convert a bit matrix marking constraints to an array of indices.
cindex_t	dbm_getDimOfMinDBM (const int32_t *minDBM)
size_t	dbm_getSizeOfMinDBM (const int32_t *minDBM)
void	dbm_convexUnionWithMinDBM (raw_t *dbm, cindex_t dim, const int32_t *minDBM, raw_t *unpackBuffer)
representationOfMinDBM_t	dbm_getRepresentationType (const int32_t *minDBM)

---

Detailed Description

Miscellanous functions of the mingraph.h API: get dimension, get size, convex union, get coding type.

See also:

mingraph.h

---

Function Documentation

void dbm_bitMatrix2indices (  const uint32_t *  bitMatrix, size_t  nbConstraints, uint32_t *  index, cindex_t  dim )

Convert a bit matrix marking constraints to an array of indices. Encoding: i[k] = (index[k] & 0xffff) and j[k] = (index[k] >> 16) Parameters: bitMatrix,:  the bit matrix to convert. nbConstraints,:  number of set bit in the matrix. index,:  the index array to write. dim,:  dimension of the bit matrix. Precondition: index is a indexij_t[dim*(dim-1)] and bits on the diagonal are not marked, nbConstraints <= dim*(dim-1).

void dbm_convexUnionWithMinDBM (  raw_t *  dbm, cindex_t  dim, const int32_t *  minDBM, raw_t *  unpackBuffer )

cindex_t dbm_getDimOfMinDBM (  const int32_t *  minDBM  )

representationOfMinDBM_t dbm_getRepresentationType (  const int32_t *  minDBM  )

size_t dbm_getSizeOfMinDBM (  const int32_t *  minDBM  )

static void mingraph_convexUnion16 (  raw_t *  dbm, const int32_t *  minDBM, cindex_t  dim )  [static]

static void mingraph_convexUnion32 (  raw_t *  dbm, const int32_t *  minDBM, cindex_t  dim )  [static]

---