diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-13T12·25+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2010-04-13T12·25+0000 |
commit | ac1e8f40d4a5c380d68bb6f1c7cef6f1e7987c1a (patch) | |
tree | bcdb22f27c39948cdb254afd560ac198ae675f56 /aterm-gc.supp | |
parent | 10e8b1fd15d59dc541c15f6da56f8baf58eb3aa3 (diff) |
* Use a symbol table to represent identifiers and attribute names
efficiently. The symbol table ensures that there is only one copy of each symbol, thus allowing symbols to be compared efficiently using a pointer equality test.
Diffstat (limited to 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions