|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectagg.xt_basis.ColimDiagram
public class ColimDiagram
This class allows for representation of general diagrams of graphs and for computation of their colimit. It has capabilities for optional in-place computation of the colimit object in one of the diagram nodes. Attributes are ignored for colimit computation. The colimit computation itself is implemented using the colimit library from Dietmar Wolz.
Field Summary |
---|
Fields inherited from interface colim.COLIM_DEFS |
---|
bottom, undefined |
Constructor Summary | |
---|---|
ColimDiagram(Graph result)
Construct myself to be an empty diagram where the colimit object is to be computed into the given Graph result . |
Method Summary | |
---|---|
void |
addEdge(Morphism morph)
Add an Morphism as an edge to the diagram. |
void |
addNode(Graph graph)
Add a Graph as a node to the diagram. |
void |
computeColimit()
Perform the colimit computation for the diagram I'm representing. |
void |
computeColimit(boolean adoptEntries)
|
java.util.Vector<GraphObject> |
getCreatedNodes()
|
void |
requestEdge(OrdinaryMorphism morph)
Request the computation of the given empty morphism as a colimit morphism. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public ColimDiagram(Graph result)
result
. By adding
result
as an ordinary diagram node via
addNode
as well, in-place computation can be achieved.
Pre: result.isGraph()
.
Method Detail |
---|
public void addNode(Graph graph)
Pre: graph.isGraph()
.
public void addEdge(Morphism morph)
Pre: morph.getOriginal()
and
morph.getImage()
have been added to the diagram with
addNode()
before.
Morphism.getOriginal()
,
Morphism.getImage()
,
addNode(agg.xt_basis.Graph)
public final void computeColimit() throws TypeException
result
which has been passed to my constructor
becomes the colimit object, and the colimit morphisms requested by
requestEdge()
are built accordingly.
TypeException
requestEdge(agg.xt_basis.OrdinaryMorphism)
public final void computeColimit(boolean adoptEntries) throws TypeException
TypeException
public final void requestEdge(OrdinaryMorphism morph)
Pre:
morph
is empty.
morph.getOriginal()
has been added to the diagram via
addNode()
.
morph.getImage()
is the result
object
that has been passed to my constructor.
OrdinaryMorphism.getOriginal()
,
OrdinaryMorphism.getImage()
,
addNode(agg.xt_basis.Graph)
public java.util.Vector<GraphObject> getCreatedNodes()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |