diff options
Diffstat (limited to 'src/config.h')
| -rw-r--r-- | src/config.h | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/src/config.h b/src/config.h index 811f2e4..77b8d91 100644 --- a/src/config.h +++ b/src/config.h @@ -1,9 +1,5 @@ // Configurations --------------------------------------------------- -//#define DEBUG // Show the computation process. -//#define DEBUG_MKRULE // Show compilation codes of rules. - - // ------------------------------------------------ // Number of Agent Ports // ------------------------------------------------ @@ -71,7 +67,7 @@ // Comment out definitions if not needed. // -// Optimisation inspired by Tail Recursion Optimisation +// Optimisation inspired by Tail Call Optimisation // #define OPTIMISE_IMCODE_TCO @@ -112,13 +108,16 @@ // ------------------------------------------------ // For developers // ------------------------------------------------ +//#define DEBUG // Show the computation process. +//#define DEBUG_MKRULE // Show compiled codes for rules. +//#define DEBUG_NETS // Show compiled codes for nets. +//#define DEBUG_EXPR_COMPILE_ERROR // Show AST of an expression + // comes with compile errors. + //#define OLD_REUSEAGENT // Use the old mechanism to reuse agents. // // Thus, `REUSEAGENT' is used // // instead of `CHID_L`, `LOADP_L` and so on. -//#define DEBUG_MKRULE // Show compiled codes for rules. -//#define DEBUG_NETS // Show compiled codes for nets. - //#define VERBOSE_NODE_USE // Put memory usage of agents and names. @@ -131,5 +130,5 @@ -#define COUNT_INTERACTION // Count interaction. +#define COUNT_INTERACTION // Count the amount of interactions. |