dis.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <string.h>
#include "auxlry.h"
#include "context.h"
#include "psc_xsb.h"
#include "hash_xsb.h"
#include "loader_xsb.h"
#include "cell_xsb.h"
#include "inst_xsb.h"
#include "builtin.h"
#include "memory_xsb.h"
#include "flags_xsb.h"
#include "tries.h"
#include "macro_xsb.h"

Functions
TIFptr	get_tip_or_tdisp (Psc)
void	dis_data (FILE *)
void	dis_text (FILE *)
static void	dis_data_sub (FILE *, Pair *, char *)
void	dis (xsbBool distext)
CPtr	print_inst (FILE *fd, CPtr inst_ptr)
Variables
Cell	builtin_table [BUILTIN_TBL_SZ][2]

---

Function Documentation

void dis (  xsbBool  distext  )

void dis_data (  FILE *   )

static void dis_data_sub (  FILE *  , Pair *  , char *  )  [static]

void dis_text (  FILE *   )

TIFptr get_tip_or_tdisp (  Psc   )

CPtr print_inst (  FILE *  fd, CPtr  inst_ptr )

---

Variable Documentation

Cell builtin_table[BUILTIN_TBL_SZ][2]

---