residual.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include "debugs/debug_residual.h"
#include "auxlry.h"
#include "cell_xsb.h"
#include "memory_xsb.h"
#include "psc_xsb.h"
#include "register.h"
#include "heap_xsb.h"
#include "binding.h"
#include "tries.h"
#include "macro_xsb.h"
#include "error_xsb.h"
#include "io_builtins_xsb.h"
#include "debug_xsb.h"
#include "flags_xsb.h"

Defines
#define	build_subgoal_args(SUBG)   load_solution_trie(CTXTc arity, 0, &cell_array[arity-1], subg_leaf_ptr(SUBG))
Functions
void	build_delay_list (CTXTdeclc CPtr delay_list, DE de)
Variables
static Cell	cell_array [500]
CPtr *	copy_of_var_addr
int	copy_of_num_heap_term_vars

---

Define Documentation

#define build_subgoal_args (  SUBG   )     load_solution_trie(CTXTc arity, 0, &cell_array[arity-1], subg_leaf_ptr(SUBG))

---

Function Documentation

void build_delay_list (  CTXTdeclc CPtr  delay_list, DE  de )

---

Variable Documentation

Cell cell_array[500] [static]

int copy_of_num_heap_term_vars

CPtr* copy_of_var_addr

---