|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.Diagram
org.rubato.math.yoneda.MathDiagram
public class MathDiagram
Math diagram class (vertexes are morphisms).
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
MathDiagram(java.util.List<Morphism> vertexes)
Creates a diagram with a list of vertexes. |
|
MathDiagram(java.util.List<Morphism> vertexes,
java.util.List<java.util.ArrayList<Morphism>> arrows)
Creates a diagram with a list of vertexes and list of arrows. |
|
MathDiagram(Morphism vertex)
Creates a diagram with a single vertex. |
Method Summary | |
---|---|
java.lang.Object |
clone()
Clone object. |
int |
compareTo(Yoneda object)
|
void |
deleteArrow(int i,
int j,
int n)
Deletes the n-th arrow from vertex i to vertex j. |
void |
deleteArrows(int i,
int j)
Deletes all arrows from vertex i to vertex j . |
void |
deleteVertex(int i)
Delete the vertex at position i . |
void |
deleteVertexes()
Deletes all vertexes in this diagram. |
Diagram |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(Diagram d,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
Morphism |
getArrow(int i,
int j,
int n)
Returns the n -th arrow from vertex i to vertex j . |
int |
getArrowCount()
Returns the number of arrows in the diagram. |
int |
getArrowCount(int i,
int j)
Returns the number of arrows from vertex i to vertex j . |
java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
|
java.lang.String |
getElementTypeName()
Returns the value of the type attribute for this class. |
java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
|
Yoneda |
getVertex(int i)
Returns the vertex at position i . |
int |
getVertexCount()
Returns the number of vertexes. |
int |
hashCode()
Returns a hash code for this diagram. |
void |
insertArrow(int i,
int j,
int n,
Morphism morphism)
Inserts the arrow morphism from i to j at n . |
void |
insertVertex(int i,
Morphism morphism)
Inserts the vertex morphism at position i . |
void |
insertVertex(int i,
Yoneda yoneda)
|
void |
setVertex(int i,
Morphism morphism)
Sets the vertex at position i to morphism. |
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class org.rubato.math.yoneda.Diagram |
---|
appendArrow, equals |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public MathDiagram(Morphism vertex)
public MathDiagram(java.util.List<Morphism> vertexes)
public MathDiagram(java.util.List<Morphism> vertexes, java.util.List<java.util.ArrayList<Morphism>> arrows)
Method Detail |
---|
public Yoneda getVertex(int i)
i
.
getVertex
in class Diagram
public final int getVertexCount()
getVertexCount
in class Diagram
public void setVertex(int i, Morphism morphism)
i
to morphism.
public void insertVertex(int i, Morphism morphism)
morphism
at position i
.
public void insertVertex(int i, Yoneda yoneda)
public final void deleteVertex(int i)
i
.
deleteVertex
in class Diagram
public final Morphism getArrow(int i, int j, int n)
n
-th arrow from vertex i
to vertex j
.
getArrow
in class Diagram
public final int getArrowCount(int i, int j)
i
to vertex j
.
getArrowCount
in class Diagram
public final int getArrowCount()
public final void insertArrow(int i, int j, int n, Morphism morphism)
morphism
from i
to j
at n
.
insertArrow
in class Diagram
public final void deleteArrow(int i, int j, int n)
i
to vertex j.
deleteArrow
in class Diagram
public final void deleteVertexes()
Diagram
deleteVertexes
in class Diagram
public final void deleteArrows(int i, int j)
Diagram
i
to vertex j
.
deleteArrows
in class Diagram
public java.lang.Object clone()
clone
in interface Yoneda
clone
in class Diagram
public int compareTo(Yoneda object)
compareTo
in class Diagram
public int hashCode()
Diagram
hashCode
in class Diagram
public boolean fullEquals(Diagram d, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
fullEquals
in class Diagram
public java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
getFormDependencies
in class Diagram
public java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
getDenotatorDependencies
in class Diagram
public void toXML(XMLWriter writer)
XMLInputOutput
writer
.
public Diagram fromXML(XMLReader reader, org.w3c.dom.Element element)
XMLInputOutput
reader
starting with element
.
public java.lang.String getElementTypeName()
XMLInputOutput
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |