|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Morphism
Minimal interface for (read only) operation on a graph morphism. This interface does NOT provide method declarations for the construction of a morphism, i.e. adding of object mappings, nor does it provide the capabilities of an observable.
Method Summary | |
---|---|
java.util.Enumeration<GraphObject> |
getCodomain()
Return an Enumeration of the graphobjects out of my target graph which are actually taking part in one of my mappings. |
java.util.Enumeration<GraphObject> |
getDomain()
Return an Enumeration of the graphobjects out of my source graph which are actually taking part in one of my mappings. |
Graph |
getImage()
Return my target graph. |
GraphObject |
getImage(GraphObject o)
Return the image of the specified object. |
java.util.Enumeration<GraphObject> |
getInverseImage(GraphObject o)
Return an Enumeration of the inverse images of the specified object. |
java.lang.String |
getName()
Return my name. |
Graph |
getOriginal()
Return my source graph. |
boolean |
isTotal()
Return true iff I am a total morphism. |
void |
setName(java.lang.String n)
Set my name. |
Methods inherited from interface agg.util.Disposable |
---|
dispose |
Method Detail |
---|
void setName(java.lang.String n)
java.lang.String getName()
Graph getOriginal()
Graph getImage()
java.util.Enumeration<GraphObject> getDomain()
GraphObject
.
GraphObject
java.util.Enumeration<GraphObject> getCodomain()
GraphObject
.
GraphObject
GraphObject getImage(GraphObject o)
null
if the object is not in domain.java.util.Enumeration<GraphObject> getInverseImage(GraphObject o)
GraphObject
.
GraphObject
boolean isTotal()
true
iff I am a total morphism.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |