STR-116: Use ATerm Sets for scope-label storing
Use sets instead of the current lists, will get rid of quadratic costs, and unnecessary storing of duplicate scope labels.
Submitted on 14 June 2004 at 09:53
Log in to post comments
Use sets instead of the current lists, will get rid of quadratic costs, and unnecessary storing of duplicate scope labels.
Submitted on 14 June 2004 at 09:53
Log in to post comments