|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.ModuleMorphismMap
public class ModuleMorphismMap
Morphism map containing a module morphism (for type simple). Domain and codomain are modules.
Method Summary | |
---|---|
MorphismMap |
at(ModuleElement element)
Creates a constant morphism from this morphism by evaluating it at the specified element. |
MorphismMap |
changeAddress(Module address)
Makes an address change. |
MorphismMap |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
ModuleMorphismMap |
changeDomain(Module newDomain)
Returns a module morphism map with the given new domain. |
ModuleMorphismMap |
changeDomain(ModuleMorphism morphism)
Compose morphism with the morphism contained
in this ModuleMorphismMap. |
java.lang.Object |
clone()
Returns a copy of this module morphism map. |
int |
compareTo(MorphismMap object)
|
ModuleMorphismMap |
copy()
Returns a copy of this module morphism map. |
ModuleMorphismMap |
difference(ModuleMorphismMap map)
Returns the difference of this map with the given map. |
boolean |
equals(java.lang.Object object)
|
MorphismMap |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(MorphismMap map,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
Module |
getCodomain()
Returns the codomain of the map. |
java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
|
Module |
getDomain()
Returns the domain of the map. |
ModuleElement |
getElement()
Returns the element resulting from applying the morphism to zero. |
ModuleElement |
getElement(int[] path,
int curpos)
|
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
|
ModuleMorphism |
getMorphism()
Returns the module morphism. |
static XMLInputOutput<MorphismMap> |
getXMLInputOutput()
|
int |
hashCode()
Returns a hash code of this module morphism map. |
boolean |
isConstant()
|
static ModuleMorphismMap |
make(ModuleMorphism morphism)
|
ModuleElement |
map(ModuleElement x)
Maps the specified module element using the module morphism. |
ModuleMorphismMap |
map(ModuleMorphism morphism)
Composes the morphism contained in this map with the given morphism . |
boolean |
resolveReferences(RubatoDictionary reader,
java.util.IdentityHashMap<?,?> history)
Resolves the references resulting from parsing. |
ModuleMorphismMap |
sum(ModuleMorphismMap map)
Returns the sum of this map with the given map. |
java.lang.String |
toString()
|
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Method Detail |
---|
public static ModuleMorphismMap make(ModuleMorphism morphism)
public ModuleElement getElement()
public ModuleMorphism getMorphism()
public Module getDomain()
public Module getCodomain()
public int compareTo(MorphismMap object)
compareTo
in interface java.lang.Comparable<MorphismMap>
compareTo
in interface MorphismMap
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public boolean fullEquals(MorphismMap map, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
fullEquals
in interface MorphismMap
public ModuleElement map(ModuleElement x) throws MappingException
MappingException
public ModuleElement getElement(int[] path, int curpos)
public MorphismMap at(ModuleElement element) throws MappingException
at
in interface MorphismMap
element
- evaluate at this element
MappingException
- if evaluation failspublic ModuleMorphismMap changeDomain(Module newDomain)
public ModuleMorphismMap changeDomain(ModuleMorphism morphism)
morphism
with the morphism contained
in this ModuleMorphismMap.
public MorphismMap changeAddress(Module address)
MorphismMap
changeAddress
in interface MorphismMap
address
- the new address of the denotator
newAddress
or null if address changed failspublic MorphismMap changeAddress(ModuleMorphism morphism)
MorphismMap
changeAddress
in interface MorphismMap
morphism
- the address changing morphism
public ModuleMorphismMap map(ModuleMorphism morphism) throws RubatoException
morphism
. The resulting morphism
is f(x) = this.morphism(morphism(x)).
RubatoException
public ModuleMorphismMap sum(ModuleMorphismMap map)
public ModuleMorphismMap difference(ModuleMorphismMap map)
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
toXML
in interface XMLInputOutput<MorphismMap>
public MorphismMap fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
fromXML
in interface XMLInputOutput<MorphismMap>
public static XMLInputOutput<MorphismMap> getXMLInputOutput()
public java.lang.String getElementTypeName()
XMLInputOutput
getElementTypeName
in interface XMLInputOutput<MorphismMap>
public java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
getFormDependencies
in interface MorphismMap
public java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
getDenotatorDependencies
in interface MorphismMap
public boolean resolveReferences(RubatoDictionary reader, java.util.IdentityHashMap<?,?> history)
resolveReferences
in interface MorphismMap
public boolean isConstant()
public java.lang.Object clone()
clone
in interface MorphismMap
clone
in class java.lang.Object
public ModuleMorphismMap copy()
copy
in interface MorphismMap
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in interface MorphismMap
hashCode
in class java.lang.Object
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |