subp.h File Reference

#include "context.h"

Functions
void	intercept (CTXTdeclc Psc)
void	init_interrupt (void)
void	print_statistics (CTXTdeclc int)
void	print_qatom (FILE *, char *)
void	print_aqatom (FILE *, char *)
void	print_dqatom (FILE *, char *)
void	print_op (FILE *, char *, int)
void	remove_incomplete_tables_reset_freezes (CTXTdecl)
xsbBool	unify (CTXTdeclc Cell, Cell)
xsbBool	are_identical_terms (Cell, Cell)
int	compare (CTXTdeclc const void *, const void *)
int	key_compare (CTXTdeclc const void *, const void *)
byte *	exception_handler (CTXTdeclc char *)
Psc	synint_proc (CTXTdeclc Psc, int)
void	add_interrupt (CTXTdeclc Cell, Cell)
Cell	build_interrupt_chain (CTXTdecl)

---

Function Documentation

void add_interrupt (  CTXTdeclc Cell  op1, Cell  op2 )

printf("interrupt count = %d\n",num);

xsbBool are_identical_terms (  Cell  , Cell  )

Cell build_interrupt_chain (  CTXTdecl   )

int compare (  CTXTdeclc const void *  , const void *  )

byte* exception_handler (  CTXTdeclc char *   )

void init_interrupt (  void   )

void intercept (  CTXTdeclc  Psc  )

int key_compare (  CTXTdeclc const void *  , const void *  )

void print_aqatom (  FILE *  , char *  )

void print_dqatom (  FILE *  , char *  )

void print_op (  FILE *  , char *  , int  )

void print_qatom (  FILE *  , char *  )

void print_statistics (  CTXTdeclc  int  )

void remove_incomplete_tables_reset_freezes (  CTXTdecl   )

Psc synint_proc (  CTXTdeclc  Psc, int  )

xsbBool unify (  CTXTdeclc  Cell, Cell  )

---