Go to the documentation of this file.
13 #ifndef SATSOLVER_BITMAP_H
14 #define SATSOLVER_BITMAP_H
23 #define MAPZERO(m) (memset((m)->map, 0, (m)->size))
25 #define MAPSET(m, n) ((m)->map[(n) >> 3] |= 1 << ((n) & 7))
27 #define MAPCLR(m, n) ((m)->map[(n) >> 3] &= ~(1 << ((n) & 7)))
29 #define MAPTST(m, n) ((m)->map[(n) >> 3] & (1 << ((n) & 7)))