org.abora.white.spaces
Class EmptyMapping

java.lang.Object
  |
  +--org.abora.white.xpp.basic.Heaper
        |
        +--org.abora.white.spaces.basic.Mapping
              |
              +--org.abora.white.spaces.EmptyMapping

public class EmptyMapping

extends Mapping

Field Summary

protected static Mapping	LastEmptyMapping
protected static CoordinateSpace	LastEmptyMappingCoordinateSpace
protected static CoordinateSpace	LastEmptyMappingRangeSpace
protected CoordinateSpace	myCS
protected CoordinateSpace	myRS

Constructor Summary

protected	EmptyMapping(CoordinateSpace cs, CoordinateSpace rs)
protected	EmptyMapping(Rcvr receiver)

Method Summary

int	actualHashForEqual() Defined by subclasses to produce the value returned by hashForEqual.
Mapping	appliedAfter(Dsp dsp) Defined by the equivalence: M->transformedBy(D)->of(R) isEqual (M->of(D->of(R))) for all regions R in the domainSpace of M.
CoordinateSpace	coordinateSpace() the coordinate space of the domain of the Mapping
XnRegion	domain() Essential.
Mapping	fetchCombine(Mapping mapping) if I know how to combine the two into a single mapping, then I do so
Dsp	fetchDsp() if this is a Dsp or a Dsp retricted to some domain, return the underlying Dsp.
Mapping	inverse() Essential.
Position	inverseOf(Position pos) Inverse transform a position.
XnRegion	inverseOfAll(XnRegion reg) Inverse transform of a region.
boolean	isComplete() Essential.
boolean	isEqual(Heaper other) This, and the CompositeMapping version, don't check CoordinateSpaces.
boolean	isIdentity() Essential.
static Mapping	make(CoordinateSpace cs, CoordinateSpace rs) Make an empty mapping from cs to rs.
Position	of(Position pos) Transform a position.
XnRegion	ofAll(XnRegion reg) Essential.
Mapping	preCompose(Dsp dsp) There is no sensible explanation for what this message does on Mappings which aren't Dsps.
void	printOn(java.io.PrintWriter stream) This should rarely be overridden.
XnRegion	range() Essential.
CoordinateSpace	rangeSpace() The coordinate space of the range of the transformation
Mapping	restrict(XnRegion region) Essential.
Mapping	restrictRange(XnRegion region) Restrict the range.
void	sendSelfTo(Xmtr xmtr)
ImmuSet	simpleMappings() return a set of simple mappings that would combine to this one
ImmuSet	simpleRegionMappings() return a set of mappings with simple regions as their domains that would combine to this one.
Mapping	transformedBy(Dsp dsp) Defined by the equivalence: M->transformedBy(D)->of(R) isEqual (D->of(M->of(R))) for all regions R in the domainSpace of M.

Methods inherited from class org.abora.white.spaces.basic.Mapping

combine, domainSpace, info, inverseOfInt, make, make, ofInt, simplerMappings, unrestricted

Methods inherited from class org.abora.white.xpp.basic.Heaper

destroy, destruct, equals, hashForEqual, printContentsOn, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

myCS

protected CoordinateSpace myCS

myRS

protected CoordinateSpace myRS

LastEmptyMapping

protected static Mapping LastEmptyMapping

LastEmptyMappingCoordinateSpace

protected static CoordinateSpace LastEmptyMappingCoordinateSpace

LastEmptyMappingRangeSpace

protected static CoordinateSpace LastEmptyMappingRangeSpace

Constructor Detail

EmptyMapping

protected EmptyMapping(CoordinateSpace cs,
                       CoordinateSpace rs)

EmptyMapping

protected EmptyMapping(Rcvr receiver)

Method Detail

coordinateSpace

public CoordinateSpace coordinateSpace()

Description copied from class: Mapping

the coordinate space of the domain of the Mapping

Specified by:

coordinateSpace in class Mapping

domain

public XnRegion domain()

Description copied from class: Mapping

Essential. region in which it is valid.

Specified by:

domain in class Mapping

fetchDsp

public Dsp fetchDsp()

Description copied from class: Mapping

if this is a Dsp or a Dsp retricted to some domain, return the underlying Dsp. Otherwise NULL.

Specified by:

fetchDsp in class Mapping

isComplete

public boolean isComplete()

Description copied from class: Mapping

Essential. Return true if each Position in the domain is mapped to every Position in the range.

Specified by:

isComplete in class Mapping

isIdentity

public boolean isIdentity()

Description copied from class: Mapping

Essential. True if this is the identify mapping on the entire space.

Specified by:

isIdentity in class Mapping

range

public XnRegion range()

Description copied from class: Mapping

Essential. region in which inverse is valid. Same as the region that the domain region maps to. For you mathematicians, it is the image of the domain under the mapping.

Specified by:

range in class Mapping

rangeSpace

public CoordinateSpace rangeSpace()

Description copied from class: Mapping

The coordinate space of the range of the transformation

Specified by:

rangeSpace in class Mapping

simpleMappings

public ImmuSet simpleMappings()

Description copied from class: Mapping

return a set of simple mappings that would combine to this one

Specified by:

simpleMappings in class Mapping

simpleRegionMappings

public ImmuSet simpleRegionMappings()

Description copied from class: Mapping

return a set of mappings with simple regions as their domains that would combine to this one.

Specified by:

simpleRegionMappings in class Mapping

inverseOf

public Position inverseOf(Position pos)

Description copied from class: Mapping

Inverse transform a position. Must BLAST if there isn't a unique inverse. 'a->isEqual (this->of (b))' iff 'b->isEqual (this->inverseOf (a))'.

Specified by:

inverseOf in class Mapping

inverseOfAll

public XnRegion inverseOfAll(XnRegion reg)

Description copied from class: Mapping

Inverse transform of a region. 'a->isEqual (this->of (b))' iff 'b->isEqual (this->inverseOf (a))'.

Specified by:

inverseOfAll in class Mapping

of

public Position of(Position pos)

Description copied from class: Mapping

Transform a position. 'before' must be a Position of my domain space. Iff 'before' is in the domain region over which I am defined and it maps to a unique range Position then the result will be that Position. Otherwise BLAST. For example, if I map 1 to 4, 1 to 5, and 2 to 5 (and nothing else), then this method will yield 5 given 2, but BLAST given anything else. To find all the values 1 maps to, use the 'ofAll' operation on the singleton region whose member is 1.

Specified by:

of in class Mapping

ofAll

public XnRegion ofAll(XnRegion reg)

Description copied from class: Mapping

Essential. Transform a region. The result region has exactly those positions which are the mappings of the positions in 'before'. This must be the case even if these positions cannot be enumerated. If the mapping for a given position is multiply defined, then (if that position is in 'before') all position it maps to must be in the result. Because of this property, the behavior of this method must be taken as really defining the nature of a particular mapping (with other method's behavior being defined in terms of this one), despite the fact that it would have been more natural to take Mapping::of(Position *) as the defining behavior.

Specified by:

ofAll in class Mapping

printOn

public void printOn(java.io.PrintWriter stream)

Description copied from class: Heaper

This should rarely be overridden. In Tofu, it prints ClassName(...), where ... is either produced by printInsideOn or is ??? if printInsideOn it not overridden.

Overrides:

printOn in class Heaper

actualHashForEqual

public int actualHashForEqual()

Description copied from class: Heaper

Defined by subclasses to produce the value returned by hashForEqual.

Overrides:

actualHashForEqual in class Mapping

isEqual

public boolean isEqual(Heaper other)

This, and the CompositeMapping version, don't check CoordinateSpaces. Should they?

Specified by:

isEqual in class Heaper

appliedAfter

public Mapping appliedAfter(Dsp dsp)

Description copied from class: Mapping

Defined by the equivalence: M->transformedBy(D)->of(R) isEqual (M->of(D->of(R))) for all regions R in the domainSpace of M. Equivalent to Dsp::compose, except that it is between a Mapping and a Dsp.

Specified by:

appliedAfter in class Mapping

inverse

public Mapping inverse()

Description copied from class: Mapping

Essential. Return the inverse of this transformation. Considering the Mapping as a set of pairs (see class comment), return the Dsp which has the mirror image of all my pairs.

Specified by:

inverse in class Mapping

preCompose

public Mapping preCompose(Dsp dsp)

Description copied from class: Mapping

There is no sensible explanation for what this message does on Mappings which aren't Dsps. In the future, we will probably retire this message, so don't use it.

Specified by:

preCompose in class Mapping

restrict

public Mapping restrict(XnRegion region)

Description copied from class: Mapping

Essential. Restrict the domain. The domain of the result will be the intersection of my domain and 'region'. Otherwise we are the same.

Specified by:

restrict in class Mapping

restrictRange

public Mapping restrictRange(XnRegion region)

Description copied from class: Mapping

Restrict the range. The range of the result will be the intersection of my range and 'region'. Otherwise we are the same.

Specified by:

restrictRange in class Mapping

transformedBy

public Mapping transformedBy(Dsp dsp)

Description copied from class: Mapping

Defined by the equivalence: M->transformedBy(D)->of(R) isEqual (D->of(M->of(R))) for all regions R in the domainSpace of M. Equivalent to Dsp::preCompose, except that it is between a Mapping and a Dsp.

Specified by:

transformedBy in class Mapping

fetchCombine

public Mapping fetchCombine(Mapping mapping)

Description copied from class: Mapping

if I know how to combine the two into a single mapping, then I do so

Specified by:

fetchCombine in class Mapping

sendSelfTo

public void sendSelfTo(Xmtr xmtr)

Overrides:

sendSelfTo in class Heaper

make

public static Mapping make(CoordinateSpace cs,
                           CoordinateSpace rs)

Description copied from class: Mapping

Make an empty mapping from cs to rs. The domain will consist of an empty region in cs, and the range will consist of an empty region in rs