Thank you for the idea.
Luckily, I just discovered that my records already have a feature 'name'
containing a unique Oz name.
So I can simply use a dictionary.
Wolfgang
Jorge Marques Pelizzoni wrote:
But then I would have to implement a strict ordering on cyclic records
and would be back at the starting point, I guess ;-)
Unless you provided each record with an exclusive (numeric) id. Adding a
feature that is sure not to clash with any others is easy in Oz, just use
a name for it, as in:
declare
RecId = {NewName}
NewId = {Counter.new}.next % assuming some counter abstraction as
available in the stdlib
% now everytime you create a record, give it an id:
X = o(RecId:{NewId} ...)
Cheers,
Jorge.
Wolfgang
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
Jorge M. Pelizzoni
ICMC - Universidade de São Paulo
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
