#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) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1.4.5