context.h File Reference

#include "cell_def_xsb.h"
#include "basictypes.h"
#include "setjmp_xsb.h"
#include "flag_defs_xsb.h"
#include "conc_compl.h"
#include "hashtable_xsb.h"

Data Structures
struct	ClRefHdr
struct	token_t
struct	funstktype
struct	opstktype
struct	vartype
struct	sort_par_spec
struct	random_seeds_t
struct	asrtBuff_t
Defines
#define	ClRef_Buflen(CLREF)   ( (CLREF)->buflen )
#define	ClRef_Prev(CLREF)   ( (CLREF)->prev )
#define	MAXVAR   1000
#define	MAX_RETRACTED_CLAUSES   20
#define	CTXT
#define	CTXTc
#define	CTXTdecl
#define	CTXTdeclc
#define	CTXTdecltype
#define	CTXTdecltypec
#define	subsumptive_smBTN   smTableBTN
#define	subsumptive_smBTHT   smTableBTHT
Typedefs
typedef ClRefHdr *	ClRef
typedef ClRefHdr	ClRefData
typedef ClRefHdr	ClRefHdr

---

Define Documentation

#define ClRef_Buflen (  CLREF   )     ( (CLREF)->buflen )

#define ClRef_Prev (  CLREF   )     ( (CLREF)->prev )

#define CTXT

#define CTXTc

#define CTXTdecl

#define CTXTdeclc

#define CTXTdecltype

#define CTXTdecltypec

#define MAX_RETRACTED_CLAUSES   20

#define MAXVAR   1000

#define subsumptive_smBTHT   smTableBTHT

#define subsumptive_smBTN   smTableBTN

---

Typedef Documentation

typedef struct ClRefHdr * ClRef

typedef struct ClRefHdr ClRefData

typedef struct ClRefHdr ClRefHdr

---