dynamic_stack.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include "debugs/debug_tries.h"
#include <stdio.h>
#include <stdlib.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "tst_aux.h"
#include "error_xsb.h"
#include "debug_xsb.h"
#include "flags_xsb.h"
#include "memory_xsb.h"

Functions
void	dsPrint (DynamicStack ds, char *comment)
void	dsInit (DynamicStack *ds, size_t stack_size, size_t frame_size, char *name)
void	dsExpand (DynamicStack *ds, int num_frames)
void	dsShrink (DynamicStack *ds)

---

Function Documentation

void dsExpand (  DynamicStack *  ds, int  num_frames )

void dsInit (  DynamicStack *  ds, size_t  stack_size, size_t  frame_size, char *  name )

void dsPrint (  DynamicStack  ds, char *  comment )

void dsShrink (  DynamicStack *  ds  )

---