diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:50 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-09-17 22:25:50 +0900 |
| commit | d90c10cd95e399dd7614df76ee06acd1bf721833 (patch) | |
| tree | 42fd557836de39d4a32a303c40f42393906a6e4c /src/config.h | |
| parent | 4b0da2732d7adcaa7d85db2ee329f8a52ef88c42 (diff) | |
| parent | b10fccefe9a6435328ff9d554995fb5710f74f26 (diff) | |
| download | inpla-d90c10cd95e399dd7614df76ee06acd1bf721833.tar.gz inpla-d90c10cd95e399dd7614df76ee06acd1bf721833.zip | |
Merge branch 'develop'
Diffstat (limited to 'src/config.h')
| -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. + |