Re: more TreeMap questions (descendingMap, headMap and tailMap)

2008-05-28 Thread Martin Buchholz
On Wed, May 28, 2008 at 6:29 AM, charlie hunt <[EMAIL PROTECTED]> wrote: > Are headmaps, tailmaps and descending maps considered to be, or defined to > be submaps? headmaps and tailmaps are submaps, but descending maps are not, (except in the trivial sense that every map is a submap of itself) >

Re: more TreeMap questions (descendingMap, headMap and tailMap)

2008-05-28 Thread charlie hunt
Are headmaps, tailmaps and descending maps considered to be, or defined to be submaps? In the context of, "to construct a submap either of whose endpoints lie outside its range", the term "its" refers to what? The map from which a submap is created, or the farthest back backing map, the domai