src/util.h

   1 /*
   2  * Copyright (c) 2007, Novell Inc.
   3  *
   4  * This program is licensed under the BSD license, read LICENSE.BSD
   5  * for further information
   6  */
   7
   8 /*
   9  * util.h
  10  *
  11  */
  12
  13 #ifndef SATSOLVER_UTIL_H
  14 #define SATSOLVER_UTIL_H
  15
  16 extern void *sat_malloc(size_t);
  17 extern void *sat_malloc2(size_t, size_t);
  18 extern void *sat_calloc(size_t, size_t);
  19 extern void *sat_realloc(void *, size_t);
  20 extern void *sat_realloc2(void *, size_t, size_t);
  21 extern void *sat_free(void *);
  22
  23 #endif /* SATSOLVER_UTIL_H */