diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:32 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:32 +0900 |
| commit | b10fccefe9a6435328ff9d554995fb5710f74f26 (patch) | |
| tree | 42fd557836de39d4a32a303c40f42393906a6e4c /src/config.h | |
| parent | 6077933906dd637af93adb3714b476ccba724be1 (diff) | |
| download | inpla-b10fccefe9a6435328ff9d554995fb5710f74f26.tar.gz inpla-b10fccefe9a6435328ff9d554995fb5710f74f26.zip | |
v0.10.0
Diffstat (limited to '')
| -rw-r--r-- | src/config.h | 24 |
1 files changed, 19 insertions, 5 deletions
diff --git a/src/config.h b/src/config.h index 17d50aa..83ba616 100644 --- a/src/config.h +++ b/src/config.h @@ -1,7 +1,7 @@ // Configurations --------------------------------------------------- -// To show the computation process: -//#define DEBUG +//#define DEBUG // Show the computation process. +//#define DEBUG_MKRULE // Show compilation codes of rules. // ------------------------------------------------ @@ -109,13 +109,27 @@ // ------------------------------------------------- +// ------------------------------------------------ +// For developers +// ------------------------------------------------ +//#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 COUNT_INTERACTION // Count interaction. - - //#define VERBOSE_NODE_USE // Put memory usage of agents and names. //#define VERBOSE_HOOP_EXPANSION // Put messages when hoops are expanded. //#define VERBOSE_EQSTACK_EXPANSION // Put messages when Eqstacks are expanded. +//#define VERBOSE_TRO // Put message when TRO is enable. + + + + + + +#define COUNT_INTERACTION // Count interaction. + |