|
#define | OUT_TRACE_ITERATION(STACKSIZE) ((void)0) |
|
#define | OUT_TRACE_START(LABEL, RULE, FACT_TYPE) ((void)0) |
|
#define | OUT_TRACE_START_REC(LABEL, RULE, FACT_TYPE) ((void)0) |
|
#define | OUT_TRACE_CONT(LABEL, RULE, FACT_TYPE) ((void)0) |
|
#define | OUT_TRACE_ANSWER(LABEL, RULE, FACT_TYPE) ((void)0) |
|
#define | OUT_TRACE_RESTORE(LABEL, RULE, FACT_TYPE) ((void)0) |
|
#define | OUT_TRACE_ASSIGN(VAR, VALUE) ((void)0) |
|
#define | OUT_TRACE_POP_VAR(VAR, VALUE) ((void)0) |
|
#define | OUT_TRACE_DEPTH_DECL void out_depth_not_used() |
|
#define | OUT_TRACE_DEPTH_INIT ((void)0) |
|
#define | OUT_TRACE_DEPTH ((void)0) |
|
#define | OUT_TRACE_RULE_APP_0(RULE, PRED) ((void)0) |
|
#define | OUT_TRACE_RULE_APP_1(RULE, PRED, ARG1) ((void)0) |
|
#define | OUT_TRACE_RULE_APP_2(RULE, PRED, ARG1, ARG2) ((void)0) |
|
#define | OUT_TRACE_CALL_0(PRED) ((void)0) |
|
#define | OUT_TRACE_CALL_1(PRED, ARG1) ((void)0) |
|
#define | OUT_TRACE_CALL_2(PRED, ARG1, ARG2) ((void)0) |
|
Selective Output for Tests/Benchmarks.