debug_xsb.h File Reference

Defines
#define	STRIDESIZE   30
#define	EOS   "--------------------BOTTOM_OF_STACK--------------------\n"
#define	EOFR   "--------------------------------------------\n"
#define	EOSUBG   "------------------------------------------------------------\n"
#define	print_subg_header(SUBG)
#define	cur_log_level   pflags[VERBOSENESS_LEVEL]
#define	LOG_QUIET   0
#define	LOG_SHY   1
#define	LOG_VERBOSE   2
#define	LOG_LOUD   3
#define	LOG_DEBUG   LOG_SHY
#define	LOG_ASSERT   LOG_VERBOSE
#define	LOG_RETRACT   LOG_LOUD
#define	LOG_RETRACT_GC   LOG_LOUD
#define	LOG_DELAY   LOG_LOUD
#define	LOG_DELAYVAR   LOG_LOUD
#define	LOG_TRIE_STACK   LOG_LOUD
#define	LOG_ATTV   LOG_LOUD
#define	LOG_GC   LOG_VERBOSE
#define	LOG_HASHTABLE   LOG_LOUD
#define	LOG_REALLOC   LOG_VERBOSE
#define	LOG_SCHED   LOG_LOUD
#define	LOG_STORAGE   LOG_LOUD
#define	LOG_STRUCT_MANAGER   LOG_LOUD
#define	LOG_TRIE_INSTR   LOG_LOUD
#define	LOG_INTERN   LOG_LOUD
#define	LOG_TRIE   LOG_LOUD
#define	LOG_BD   LOG_LOUD
#define	LOG_COMPLETION   LOG_LOUD
#define	xsb_dbgmsg(a)
#define	dbg_print_subgoal(L, F, S)
#define	dbg_printterm(L, F, T, D)
#define	dbg_print_completion_stack(L)
#define	dbg_print_delay_list(L, F, D)
#define	dbg_dsPrint(L, D, C)
#define	dbg_smPrint(L, SR, ST)
#define	dbg_printTriePathType(L, F, T, LF)
#define	dbg_printTrieNode(L, F, P)
#define	dbg_printAnswerTemplate(L, F, P, S)
Typedefs
typedef subgoal_frame *	VariantSF

---

Define Documentation

#define cur_log_level   pflags[VERBOSENESS_LEVEL]

#define dbg_dsPrint (  L, D, C   )

#define dbg_print_completion_stack (  L   )

#define dbg_print_delay_list (  L, F, D   )

#define dbg_print_subgoal (  L, F, S   )

#define dbg_printAnswerTemplate (  L, F, P, S   )

#define dbg_printterm (  L, F, T, D   )

#define dbg_printTrieNode (  L, F, P   )

#define dbg_printTriePathType (  L, F, T, LF   )

#define dbg_smPrint (  L, SR, ST   )

#define EOFR   "--------------------------------------------\n"

#define EOS   "--------------------BOTTOM_OF_STACK--------------------\n"

#define EOSUBG   "------------------------------------------------------------\n"

#define LOG_ASSERT   LOG_VERBOSE

#define LOG_ATTV   LOG_LOUD

#define LOG_BD   LOG_LOUD

#define LOG_COMPLETION   LOG_LOUD

#define LOG_DEBUG   LOG_SHY

#define LOG_DELAY   LOG_LOUD

#define LOG_DELAYVAR   LOG_LOUD

#define LOG_GC   LOG_VERBOSE

#define LOG_HASHTABLE   LOG_LOUD

#define LOG_INTERN   LOG_LOUD

#define LOG_LOUD   3

#define LOG_QUIET   0

#define LOG_REALLOC   LOG_VERBOSE

#define LOG_RETRACT   LOG_LOUD

#define LOG_RETRACT_GC   LOG_LOUD

#define LOG_SCHED   LOG_LOUD

#define LOG_SHY   1

#define LOG_STORAGE   LOG_LOUD

#define LOG_STRUCT_MANAGER   LOG_LOUD

#define LOG_TRIE   LOG_LOUD

#define LOG_TRIE_INSTR   LOG_LOUD

#define LOG_TRIE_STACK   LOG_LOUD

#define LOG_VERBOSE   2

#define print_subg_header (  SUBG   )

Value: { \ fprintf(stddbg, "=== Frame for "); print_subgoal(stddbg, SUBG); \ if (is_completed(SUBG)) fprintf(stddbg, " (completed) ===\n"); \ else fprintf(stddbg, " (incomplete) ===\n"); }

#define STRIDESIZE   30

#define xsb_dbgmsg (  a   )

---

Typedef Documentation

typedef struct subgoal_frame* VariantSF

---