Leo~ On Fri, 20 Aug 2004 16:26:33 +0200, Leopold Toetsch <[EMAIL PROTECTED]> wrote: > And yes, I'm really thinking of inserting these A* nodes. Freezing an > object does need it. DOD of course not really.
How is space going to be made for these? DOD probably does not want to allocate the dummy spaces to refer back to previous elements (since it might be called in low memory situations), but without them the subtree assertion might not hold. Consider A refs B, C; B refs D; C refs D The DFS would be A > B > D > C (without dummies) A > B > D > C > D* (with dummies) But the freeze tree for C would be C > D Thus your subtree assertion would only be true with dummies in place. But we cannot tell how many dummies an object graph would generate ahead of time. In fact, the root could be a dummy after every single other object if they all referenced it. Thus I don't know how we could get around allocating dummies dynamically... Matt -- "Computer Science is merely the post-Turing Decline of Formal Systems Theory." -???
