#include <stdio.h>
#include <stdlib.h>
#include <time.h>
#include <math.h>
#include "xsb_debug.h"
#include "xsb_config.h"
#include "basictypes.h"
#include "basicdefs.h"
#include "cell_xsb.h"
#include "register.h"
#include "context.h"
#include "cinterf.h"
#include "error_xsb.h"
#include "flags_xsb.h"
#include "flag_defs_xsb.h"
#include "deref.h"
#include "ptoc_tag_xsb_i.h"
#include "thread_xsb.h"
#include "rw_lock.h"
#include "memory_xsb.h"
#include "sig_xsb.h"
Functions | |
void | print_mutex_use () |
int | xsb_thread_self () |
void | release_private_tabling_resources (CTXTdecl) |
void | abolish_private_tables (CTXTdecl) |
void | abolish_shared_tables (CTXTdecl) |
xsbBool | xsb_thread_request (CTXTdecl) |
xsbBool | mt_random_request (CTXTdecl) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|