storage_xsb_defs.h File Reference

Defines
#define	GET_STORAGE_HANDLE   1
#define	INCREMENT_STORAGE_SNAPSHOT   2
#define	MARK_STORAGE_CHANGED   3
#define	DESTROY_STORAGE_HANDLE   4
#define	SHOW_TABLE_STATE   5

---

Define Documentation

#define DESTROY_STORAGE_HANDLE   4

#define GET_STORAGE_HANDLE   1

#define INCREMENT_STORAGE_SNAPSHOT   2

#define MARK_STORAGE_CHANGED   3

#define SHOW_TABLE_STATE   5

---