struct_manager.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdlib.h>
#include "auxlry.h"
#include "struct_manager.h"
#include "cell_xsb.h"
#include "error_xsb.h"
#include "debug_xsb.h"
#include "flags_xsb.h"
#include "memory_xsb.h"

Functions
void	smPrint (Structure_Manager smRecord, char *string)
void	smAllocateBlock (Structure_Manager *pSM)
void	smFreeBlocks (Structure_Manager *pSM)
void	smPrintBlocks (Structure_Manager *pSM)
xsbBool	smIsValidStructRef (Structure_Manager smRecord, void *ptr)
xsbBool	smIsAllocatedStruct (Structure_Manager smRecord, void *pStruct)
xsbBool	smIsAllocatedStructRef (Structure_Manager smRecord, void *ptr)

---

Function Documentation

void smAllocateBlock (  Structure_Manager *  pSM  )

void smFreeBlocks (  Structure_Manager *  pSM  )

xsbBool smIsAllocatedStruct (  Structure_Manager  smRecord, void *  pStruct )

xsbBool smIsAllocatedStructRef (  Structure_Manager  smRecord, void *  ptr )

xsbBool smIsValidStructRef (  Structure_Manager  smRecord, void *  ptr )

void smPrint (  Structure_Manager  smRecord, char *  string )

void smPrintBlocks (  Structure_Manager *  pSM  )

---