allocate.h

Go to the documentation of this file.

#ifndef _allocate_h_INCLUDED
#define _allocate_h_INCLUDED
 
#include <stdlib.h>
 
#include "global.h"
ABC_NAMESPACE_HEADER_START
 
struct kissat;
 
void *kissat_malloc (struct kissat *, size_t bytes);
void kissat_free (struct kissat *, void *, size_t bytes);
 
char *kissat_strdup (struct kissat *, const char *);
void kissat_freestr (struct kissat *, char *);
 
void *kissat_calloc (struct kissat *, size_t n, size_t size);
void *kissat_nalloc (struct kissat *, size_t n, size_t size);
void kissat_dealloc (struct kissat *, void *ptr, size_t n, size_t size);
 
void *kissat_realloc (struct kissat *, void *, size_t old, size_t bytes);
void *kissat_nrealloc (struct kissat *, void *, size_t o, size_t n, size_t);
 
#define NALLOC(T, P, N)                          \
  do { \
    (P) = (T*) kissat_nalloc (solver, (N), sizeof *(P)); \
  } while (0)
 
#define CALLOC(T, P, N)                          \
  do { \
    (P) = (T*) kissat_calloc (solver, (N), sizeof *(P));     \
  } while (0)
 
#define DEALLOC(P, N) \
  do { \
    kissat_dealloc (solver, (P), (N), sizeof *(P)); \
  } while (0)
 
ABC_NAMESPACE_HEADER_END
 
#endif