subp.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include "debugs/debug_attv.h"
#include <stdio.h>
#include <signal.h>
#include <string.h>
#include <pthread.h>
#include <sched.h>
#include <unistd.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "debug_xsb.h"
#include "error_xsb.h"
#include "psc_xsb.h"
#include "memory_xsb.h"
#include "register.h"
#include "heap_xsb.h"
#include "deref.h"
#include "flags_xsb.h"
#include "binding.h"
#include "trie_internals.h"
#include "trassert.h"
#include "choice.h"
#include "token_xsb.h"
#include "sig_xsb.h"
#include "inst_xsb.h"
#include "macro_xsb.h"
#include "table_stats.h"
#include "unify_xsb.h"
#include "subp.h"
#include "thread_xsb.h"
#include "hash_xsb.h"
#include "trace_xsb.h"

Defines
#define	IFTHEN_FAILED   return 0
#define	IFTHEN_SUCCEED   return 1
#define	FLOAT_MASK   0xfffffff8
Functions
xsbBool	quotes_are_needed (char *string)
void	print_mutex_use (void)
void	dis (xsbBool)
void	debug_call (CTXTdeclc Psc)
void	add_interrupt (CTXTdeclc Cell op1, Cell op2)
Cell	build_interrupt_chain (CTXTdecl)
xsbBool	unify (CTXTdeclc Cell rop1, Cell rop2)
xsbBool	are_identical_terms (Cell term1, Cell term2)
void	print_statistics (CTXTdeclc int amount)
static void	default_inthandler (int intcode)
Pair	build_call (CTXTdeclc Psc psc)
Psc	synint_proc (CTXTdeclc Psc psc, int intcode)
void	init_interrupt (void)
void	keyint_proc (int sig)
void	intercept (CTXTdeclc Psc psc)
float	getfloatval (Cell w)
Cell	makefloat (float f)
int	sign (Float num)
int	compare (CTXTdeclc const void *v1, const void *v2)
int	key_compare (CTXTdeclc const void *t1, const void *t2)
void	print_aqatom (FILE *file, char *string)
void	print_qatom (FILE *file, char *string)
void	print_dqatom (FILE *file, char *string)
void	print_op (FILE *file, char *string, int pos)
void	remove_incomplete_tables_reset_freezes (CTXTdecl)
void	xsb_segfault_catcher (int err)
void	xsb_segfault_quitter (int err)
void	setProfileBit (void *place_holder)
xsbBool	startProfileThread ()
Variables
double	realtime_count_gl
int	asynint_val
int	asynint_code
void(*	xsb_default_segfault_handler )(int)
Cell	attv_interrupts [20480][2]
long	if_profiling
long	prof_flag

---

Define Documentation

#define FLOAT_MASK   0xfffffff8

#define IFTHEN_FAILED   return 0

#define IFTHEN_SUCCEED   return 1

---

Function Documentation

void add_interrupt (  CTXTdeclc Cell  op1, Cell  op2 )

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

xsbBool are_identical_terms (  Cell  term1, Cell  term2 )

Pair build_call (  CTXTdeclc Psc  psc  )

Cell build_interrupt_chain (  CTXTdecl   )

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

void debug_call (  CTXTdeclc  Psc  )

static void default_inthandler (  int  intcode  )  [static]

void dis (  xsbBool   )

float getfloatval (  Cell  w  )  [inline]

void init_interrupt (  void   )

void intercept (  CTXTdeclc Psc  psc  )

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

void keyint_proc (  int  sig  )

Cell makefloat (  float  f  )  [inline]

void print_aqatom (  FILE *  file, char *  string )

void print_dqatom (  FILE *  file, char *  string )

void print_mutex_use (  void   )

void print_op (  FILE *  file, char *  string, int  pos )

void print_qatom (  FILE *  file, char *  string )

void print_statistics (  CTXTdeclc int  amount  )

xsbBool quotes_are_needed (  char *  string  )

void remove_incomplete_tables_reset_freezes (  CTXTdecl   )

void setProfileBit (  void *  place_holder  )

int sign (  Float  num  )  [inline]

xsbBool startProfileThread (   )

Psc synint_proc (  CTXTdeclc Psc  psc, int  intcode )

xsbBool unify (  CTXTdeclc Cell  rop1, Cell  rop2 )

void xsb_segfault_catcher (  int  err  )

void xsb_segfault_quitter (  int  err  )

---

Variable Documentation

int asynint_code

int asynint_val

Cell attv_interrupts[20480][2]

long if_profiling

long prof_flag

double realtime_count_gl

void(* xsb_default_segfault_handler)(int)

---