Basic Operations on saturation matrices

Function: satmat_t* satmat_alloc (int nr, int nc)

Allocates a saturation matrix with nr rows and nc elements of type bitindex_t per row (see bitindex_size).

Function: void satmat_free (satmat* sat)

Frees the saturation matrix.

Function: satmat_t* satmat_copy (const satmat* sat)

Makes a copy of the saturation matrix.

Function: void satmat_print (const satmat* sat)

Prints the saturations matrix on standard output.

Function: void satmat_clear (satmat_t* sat)

Clears all bits of the saturation matrix.