|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.Morphism
public abstract class Morphism
Abstract base class for morphisms.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
Morphism()
|
Method Summary | |
---|---|
abstract Morphism |
at(ModuleElement element)
Evaluates this morphism at address element . |
abstract Morphism |
changeAddress(Module address)
Makes an address change. |
abstract Morphism |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
java.lang.Object |
clone()
Returns a deep copy of this morphism. |
int |
compareTo(Morphism object)
|
abstract Morphism |
copy()
Returns a deep copy of this morphism. |
abstract boolean |
equals(java.lang.Object object)
Returns true iff this morphism is equal to the specified object. |
abstract boolean |
fullEquals(Morphism m,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
abstract IdentityMorphism |
getCodomain()
Returns the codomain identity morphism (object) of this morphism. |
abstract Diagram |
getCodomainDiagram()
Returns the codomain diagram of this morphism. |
abstract Module |
getCodomainModule()
Returns the codomain module of this morphism. |
abstract int |
getCodomainType()
Returns the codomain denotator type of this morphism. |
abstract java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
Adds the denotator dependencies of this morphism to list . |
abstract IdentityMorphism |
getDomain()
Returns the domain identity morphism (object) of this morphism. |
abstract Diagram |
getDomainDiagram()
Returns the domain diagram of this morphism. |
abstract Module |
getDomainModule()
Returns the domain module of this morphism. |
abstract int |
getDomainType()
Returns the domain denotator type of this morphism. |
abstract java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
Adds the form dependencies of this morphism to list . |
abstract MorphismMap |
getMap()
Returns the implementation of this morphism. |
abstract int |
hashCode()
Returns a hash code for this morphism. |
boolean |
isIdentity()
Returns true iff this morphism is an identity morphism. |
boolean |
isRepresentable()
Returns true iff this morphism is representable. |
abstract void |
setMap(MorphismMap map)
Sets the implementation of this morphism. |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.rubato.xml.XMLInputOutput |
---|
fromXML, getElementTypeName, toXML |
Constructor Detail |
---|
public Morphism()
Method Detail |
---|
public abstract Diagram getDomainDiagram()
public abstract Diagram getCodomainDiagram()
public abstract Module getDomainModule()
public abstract Module getCodomainModule()
public abstract int getDomainType()
public abstract int getCodomainType()
public abstract IdentityMorphism getDomain()
public abstract IdentityMorphism getCodomain()
public abstract MorphismMap getMap()
public abstract void setMap(MorphismMap map)
public abstract Morphism changeAddress(Module address)
address
- the new address of the denotator
newAddress
or null if address changed failspublic abstract Morphism changeAddress(ModuleMorphism morphism)
morphism
- the address changing morphism
public final java.lang.Object clone()
clone
in interface Yoneda
clone
in class java.lang.Object
public abstract Morphism copy()
public abstract Morphism at(ModuleElement element) throws MappingException
element
.
MappingException
- if evaluation failspublic boolean isIdentity()
public boolean isRepresentable()
public abstract java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
list
.
public abstract java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
list
.
public int compareTo(Morphism object)
compareTo
in interface java.lang.Comparable<Morphism>
public abstract boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public abstract boolean fullEquals(Morphism m, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
public abstract int hashCode()
hashCode
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |