Gobo Eiffel Structure Library
Copyright (c) 1998, Eric Bezault and others
Eiffel Forum License v2 (see forum.txt)
$Date: 2005/07/13 17:52:13 $
$Revision: 1.10 $
-- Create a new nested list flattener.
-- Make sure that for each list in nested_lists
-- all items are held locally, even those that
-- could be accessed remotely.
Nested list flatteners: machines that make sure %
%that all items accessible remotely in some given %
%nested lists are also kept locally. The nested %
%list flatteners take care of possible cycles in %
%the di-graph of nested lists.