auxlry.h File Reference

#include "basicdefs.h"
#include "basictypes.h"

Defines
#define	ihash(val, size)   ((word)(val) % (size))
#define	fileptr(xsb_filedes)   open_files[xsb_filedes].file_ptr
#define	SET_FILEPTR(stream, xsb_filedes)
Typedefs
typedef enum XSB_Execution_Mode	Exec_Mode
Enumerations
enum	XSB_Execution_Mode {   DEFAULT, INTERPRETER, DISASSEMBLE, C_CALLING_XSB,   CUSTOM_BOOT_MODULE, CUSTOM_CMD_LOOP_DRIVER }
Functions
double	cpu_time (void)
double	real_time (void)
void	get_date (int *year, int *month, int *day, int *hour, int *minute, int *second)
void	gdb_dummy (void)
Variables
int	asynint_val
char *	xsb_segfault_message
char *	xsb_default_segfault_msg
Exec_Mode	xsb_mode
int	max_threads_glc

---

Define Documentation

#define fileptr (  xsb_filedes   )     open_files[xsb_filedes].file_ptr

#define ihash (  val, size   )     ((word)(val) % (size))

#define SET_FILEPTR (  stream, xsb_filedes   )

Value: if (xsb_filedes < 0 || xsb_filedes >= MAX_OPEN_FILES) \ xsb_abort("Invalid file descriptor %d in I/O predicate",\ xsb_filedes);\ stream = fileptr(xsb_filedes); \ if ((stream==NULL) && (xsb_filedes != 0)) \ xsb_abort("Invalid file descriptor %d in I/O predicate", xsb_filedes);

---

Typedef Documentation

typedef enum XSB_Execution_Mode Exec_Mode

---

Enumeration Type Documentation

enum XSB_Execution_Mode

Enumerator: DEFAULT  INTERPRETER  DISASSEMBLE  C_CALLING_XSB  CUSTOM_BOOT_MODULE  CUSTOM_CMD_LOOP_DRIVER

---

Function Documentation

double cpu_time (  void   )

void gdb_dummy (  void   )

void get_date (  int *  year, int *  month, int *  day, int *  hour, int *  minute, int *  second )

double real_time (  void   )

---

Variable Documentation

int asynint_val

int max_threads_glc

char* xsb_default_segfault_msg

Exec_Mode xsb_mode

char* xsb_segfault_message

---