Another Aha, coming as a question. What if vnodes *already are* unified nodes?
The Aha moment came as I was crossing a foot bridge: what if gnx's should be vnode indices instead of tnode indices? That is, what if vnodes, not tnodes, are the "real" nodes? Indeed, there are good reasons to consider cloned nodes to be separate: - Cloned nodes can exist in completely separate contexts. - Cloned nodes now have separate marks/expanded bits, and of course, uA's. Some more thoughts: tnodes are, or should be, merely helper nodes. The fact that vnodes share tnodes is, even now, largely hidden from view. In the graph world, proper double-linking between a cloned node and its parents and children would be possible *only* if clones are truly separate nodes. OTOH, treating cloned nodes as the *same* node makes a lot of sense in a general graph. The recent (Graph world) work of replacing structure links by parents and children arrays can be done in the old world as easily as in the new world. Similarly, file formats can be generalized/improved regardless of whether Leo uses unified nodes or dual nodes. In short, I have been confusing implementation issues with higher- level design issues. At the highest level, vnodes may already be unified nodes. I'm feeling a bit dizzy with all these changes of perspective. So nothing is going to change just yet :-) In particular, the question of whether clones are "really" one node or two remains wide open. Edward P.S. Using vnodes indices rather than tnode indices in thin derived files would seem to provide more information. Given a vnode index, it should be possible to deduce the tnode index. The reverse is not true. Such questions have deep implications for Leo's code: switching to vnode indices would, in fact, be a major change. EKR --~--~---------~--~----~------------~-------~--~----~ You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en -~----------~----~----~----~------~----~------~--~---
