agg.xt_basis
Interface Morphism

All Superinterfaces:
Disposable
All Known Implementing Classes:
AtomConstraint, Match, NACStarMorphism, OrdinaryMorphism, OrdinarySubMorphism, PACStarMorphism, Rule, SubMatch, SubRule

public interface Morphism
extends Disposable

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

setName

void setName(java.lang.String n)
Set my name.


getName

java.lang.String getName()
Return my name.


getOriginal

Graph getOriginal()
Return my source graph.


getImage

Graph getImage()
Return my target graph.


getDomain

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. Enumeration elements are of type GraphObject.

See Also:
GraphObject

getCodomain

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. Enumeration elements are of type GraphObject.

See Also:
GraphObject

getImage

GraphObject getImage(GraphObject o)
Return the image of the specified object.

Returns:
null if the object is not in domain.

getInverseImage

java.util.Enumeration<GraphObject> getInverseImage(GraphObject o)
Return an Enumeration of the inverse images of the specified object. Enumeration will be empty when the object is not in codomain. Enumeration elements are of type GraphObject.

See Also:
GraphObject

isTotal

boolean isTotal()
Return true iff I am a total morphism.