memory_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "auxlry.h"
#include "binding.h"
#include "cell_xsb.h"
#include "memory_xsb.h"
#include "register.h"
#include "psc_xsb.h"
#include "tries.h"
#include "choice.h"
#include "error_xsb.h"
#include "macro_xsb.h"
#include "thread_xsb.h"
#include "flags_xsb.h"
#include "subp.h"
#include "debug_xsb.h"

Functions
void *	mem_alloc (unsigned long size, int category)
void *	mem_alloc_nocheck (unsigned long size, int category)
void *	mem_calloc (unsigned long size, unsigned long occs, int category)
void *	mem_realloc (void *addr, unsigned long oldsize, unsigned long newsize, int category)
void *	mem_realloc_nocheck (void *addr, unsigned long oldsize, unsigned long newsize, int category)
void	mem_dealloc (void *addr, unsigned long size, int category)
void	tcpstack_realloc (CTXTdeclc long new_size)
void	handle_tcpstack_overflow (CTXTdecl)
void	complstack_realloc (CTXTdeclc long new_size)

---

Function Documentation

void complstack_realloc (  CTXTdeclc long  new_size  )

void handle_tcpstack_overflow (  CTXTdecl   )

void* mem_alloc (  unsigned long  size, int  category )

void* mem_alloc_nocheck (  unsigned long  size, int  category )

void* mem_calloc (  unsigned long  size, unsigned long  occs, int  category )

void mem_dealloc (  void *  addr, unsigned long  size, int  category )

void* mem_realloc (  void *  addr, unsigned long  oldsize, unsigned long  newsize, int  category )

void* mem_realloc_nocheck (  void *  addr, unsigned long  oldsize, unsigned long  newsize, int  category )

void tcpstack_realloc (  CTXTdeclc long  new_size  )

---