diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2022-02-04 15:53:03 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2022-02-04 15:53:03 +0900 |
| commit | fbac9e485bfa8e81ef173a83fead1e70cc203dc5 (patch) | |
| tree | bae8226a54e8a37bd9058cff85b45d9fdde09ce9 /src/id_table.h | |
| parent | a9763a99453267716f6c4f79f95b6e48d43cd2f1 (diff) | |
| parent | 5bbca29b9ae201501807f8cb3c5bc88f64ca95cd (diff) | |
| download | inpla-fbac9e485bfa8e81ef173a83fead1e70cc203dc5.tar.gz inpla-fbac9e485bfa8e81ef173a83fead1e70cc203dc5.zip | |
Merge branch 'develop'
Diffstat (limited to 'src/id_table.h')
| -rw-r--r-- | src/id_table.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/id_table.h b/src/id_table.h index bbc752b..ae97c75 100644 --- a/src/id_table.h +++ b/src/id_table.h @@ -55,6 +55,10 @@ #define ID_NAME NUM_AGENTS // 256 #define START_ID_OF_GNAME ID_NAME+1 + +#define NUM_NAMES NUM_AGENTS // 256 + + //#define IS_AGENTID(a) (a < ID_NAME) #define IS_AGENTID(a) (!(a & 0x100)) // less than 256 @@ -73,7 +77,7 @@ typedef struct { int arity; } IdTableT; -#define IDTABLE_SIZE (NUM_AGENTS)*2 // AGENT + NAME +#define IDTABLE_SIZE (NUM_AGENTS + NUM_NAMES) // AGENT + NAME void IdTable_init(); void IdTable_set_name(int id, char *symname); |