Search:

Ye that's what I thought, and I can't remember where I read it now but it said somewhere that the add operation itself should be implemented as a Node constructor, with the add functions in it but I...

Thanks Norm, found out that for this particular problem add is defined as a constructor in the Node class.

So I've been asked to implement a linked list in java using the following maude specification:


Below is a Maude specification of ‘Sorted Lists’: lists of integers in increasing order.



...