YAP
7.1.0
YapRegs.h
1
#ifndef YAP_REGS_H
2
3
#define YAP_REGS_H 1
4
5
#ifdef THREADS
6
#if USE_PTHREAD_LOCKING
7
#ifndef _XOPEN_SOURCE
8
#define _XOPEN_SOURCE 600
9
#endif
/* !_XOPEN_SOURCE */
10
#endif
/* USE_PTHREAD_LOCKING */
11
#include <pthread.h>
12
#endif
13
14
#if defined(TABLING) || defined(YAPOR_SBA)
15
typedef
struct
trail_frame {
16
Term term;
17
CELL value;
18
} *tr_fr_ptr;
19
20
#define TrailTerm(X) ((X)->term)
21
#else
22
typedef
Term *tr_fr_ptr;
23
24
#define TrailTerm(X) (*(CELL*)(X))
25
#endif
26
27
typedef
void
*
choiceptr
;
28
29
typedef
void
*
yamop
;
30
31
typedef
char
*ADDR;
32
33
// #define RESET_VARIABLE(X) (*(X) = (CELL)(X))
34
35
#ifdef _YAP_NOT_INSTALLED_
36
#include "Regs.h"
37
#else
38
#include "src/Regs.h"
39
#endif
40
41
#endif
choicept
Definition:
amidefs.h:923
yami
Definition:
amidefs.h:264
include
YapRegs.h
Generated by
1.9.3