satsolver  0.17.2
Classes | Macros | Typedefs | Functions
bitmap.h File Reference
#include <string.h>

Go to the source code of this file.

Classes

struct  _Map
 

Macros

#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)
 

Macro Definition Documentation

#define MAPZERO (   m)    (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)
inlinestatic

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 
)
inlinestatic

Definition at line 40 of file bitmap.h.

References MAPSET.

static void map_clr ( Map m,
int  n 
)
inlinestatic

Definition at line 44 of file bitmap.h.

References MAPCLR.

static int map_tst ( Map m,
int  n 
)
inlinestatic

Definition at line 48 of file bitmap.h.

References MAPTST.