[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

Bit manipulations on saturation matrices

Function: bitstring_t satmat_get (const satmat_t* sat, int i, bitindex_t jx)
Return the bit corresponding to the row i and the column jx. If the result is null, the bit is set to zero, a non null value indicates a bit set to one.
Function: void satmat_set (satmat_t* sat, int i, bitindex_t jx)
Sets to one the bit of row i and column jx.
Function: void satmat_set (satmat_t* sat, int i, bitindex_t jx)
Sets to zero the bit of row i and column jx.



This document was generated on October, 27 2006 using texi2html