The type satmat_t

datatype: satmat_t

Saturation matrices are represented as an array of rows, each of which is a string of bits. A row i of the matrix satmat_t* sat is accessed with sat_>p[i], of type bitstring_t*.

For information, the private datatype is defined as follows:

typedef struct satmat_t { bitstring_t** p; int nbrows; int nbcolumns; bitstring_t* p_init; } satmat_t;