bitmap.c File Reference

#include <stdlib.h>
#include <string.h>
#include "bitmap.h"
#include <stddef.h>

Go to the source code of this file.

Functions

void map_init (Map *m, int n)
void map_free (Map *m)
void map_init_clone (Map *t, Map *s)
void map_grow (Map *m, int n)

Function Documentation

void map_init ( Map m,
int  n 
)
void map_free ( Map m  ) 
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 
)
Generated on Mon Dec 12 11:44:12 2011 for satsolver by  doxygen 1.6.3