bitmap.h File Reference

#include <string.h>

Go to the source code of this file.

Classes

struct  _Map

Defines

#define MAPZERO(m)   (memset((m)->map, 0, (m)->size))
#define MAPSET(m, n)   ((m)->map[(n) >> 3] |= 1 << ((n) & 7))
#define MAPCLR(m, n)   ((m)->map[(n) >> 3] &= ~(1 << ((n) & 7)))
#define MAPTST(m, n)   ((m)->map[(n) >> 3] & (1 << ((n) & 7)))

Typedefs

typedef struct _Map Map

Functions

void map_init (Map *m, int n)
void map_init_clone (Map *t, Map *s)
void map_grow (Map *m, int n)
void map_free (Map *m)
static void map_empty (Map *m)
static void map_set (Map *m, int n)
static void map_clr (Map *m, int n)
static int map_tst (Map *m, int n)


Define Documentation

#define MAPZERO (  )     (memset((m)->map, 0, (m)->size))

#define MAPSET ( m,
 )     ((m)->map[(n) >> 3] |= 1 << ((n) & 7))

#define MAPCLR ( m,
 )     ((m)->map[(n) >> 3] &= ~(1 << ((n) & 7)))

#define MAPTST ( m,
 )     ((m)->map[(n) >> 3] & (1 << ((n) & 7)))


Typedef Documentation

typedef struct _Map Map


Function Documentation

void map_init ( Map m,
int  n 
)

void map_init_clone ( Map t,
Map s 
)

Definition at line 37 of file bitmap.c.

References _Map::map, sat_malloc(), and _Map::size.

Referenced by transaction_calculate(), and transaction_init_clone().

void map_grow ( Map m,
int  n 
)

void map_free ( Map m  ) 

static void map_empty ( Map m  )  [inline, static]

Definition at line 36 of file bitmap.h.

References MAPZERO.

Referenced by pool_addfileprovides_search(), solver_addchoicerules(), and solver_createcleandepsmap().

static void map_set ( Map m,
int  n 
) [inline, static]

Definition at line 40 of file bitmap.h.

References MAPSET.

static void map_clr ( Map m,
int  n 
) [inline, static]

Definition at line 44 of file bitmap.h.

References MAPCLR.

static int map_tst ( Map m,
int  n 
) [inline, static]

Definition at line 48 of file bitmap.h.

References MAPTST.


Generated on Mon Dec 15 17:56:24 2014 for satsolver by  doxygen 1.5.6