STR-50: Improve performance of is_string
SSL_is_string(ATerm t) uses ATmatch. Such a primitive strategy can be implemented more efficiently.
Submitted on 17 April 2004 at 12:10
Issue Log
On 28 May 2004 at 14:28 Jira commented:
STR-50, martin:
Replaced by ATisString
Log in to post comments