Index - All Packages - All Categories - All Classes

Class HeaperSpace

A HeaperSpace is one whose positions represent the identity of individual Heapers. Identity of a Heaper is determined according by its response to "isEqual" and "hashForEqual" (see "The Equality of Decisions" for a bunch of surprising issues regarding Heaper equality). A region is a HeaperSpace is a SetRegion (see SetRegion). As a result of having HeaperSpaces, one can use the identity of Heapers to index into hash tables, and still obey the convention that a table maps from positions in some coordinate space.

HeaperSpaces cannot (yet?) be used as the domain space for Xanadu Stamps, and therefore also not as the domain space of an IndexedWaldo. In order to do this, the Heapers in question would have to persist in a way that Xanadu doesn't provide for.

As is typical for an unordered space, the only Dsp for this space is the identity Dsp. No type or pseudo-constructor is exported however--the Dsp is gotten by converting a HeaperSpace to a Dsp. Similarly, no heaper-specific type or pseudo-constructor is exported for my regions. The conversions are sufficient. The resulting regions are guaranteed to be SetRegions.

Package: Udanax-Gold
All Superclasses: Object Heaper CoordinateSpace
Protocols: Object
Categories: Xanadu-Spaces-Unordered

Class Methods

initTimeNonInherited


linkTimeNonInherited


make

Return the one instance of HeaperSpace

makeRcvr: rcvr



Instance Methods

actualHashForEqual

is equal to any basic space on the same category of positions

Overrides: CoordinateSpace

create



Overrides: CoordinateSpace

isEqual: anObject

is equal to any basic space on the same category of positions

Overrides: CoordinateSpace

sendSelfTo: xmtr




Index - All Packages - All Categories - All Classes