|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.Diagram
public abstract class Diagram
Abstract base class for diagrams.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
Diagram()
|
Method Summary | |
---|---|
void |
appendArrow(int i,
int j,
Morphism morphism)
Appends an arrow from vertex i to vertex j . |
abstract java.lang.Object |
clone()
Returns a copy of this diagram. |
abstract int |
compareTo(Yoneda object)
|
abstract 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 . |
abstract void |
deleteVertex(int i)
Deletes the vertex at position i . |
void |
deleteVertexes()
Deletes all vertexes in this diagram. |
boolean |
equals(java.lang.Object object)
Returns true if this diagram is equal to the specified object. |
abstract boolean |
fullEquals(Diagram d,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
abstract Morphism |
getArrow(int i,
int j,
int n)
Returns the n -th arrow from vertex i to vertex j . |
abstract int |
getArrowCount(int i,
int j)
Returns the number of arrows from vertex i to vertex j . |
abstract java.util.LinkedList<Denotator> |
getDenotatorDependencies(java.util.LinkedList<Denotator> list)
|
abstract java.util.LinkedList<Form> |
getFormDependencies(java.util.LinkedList<Form> list)
|
abstract Yoneda |
getVertex(int i)
Returns the vertex at position i . |
abstract int |
getVertexCount()
Returns the number of vertexes. |
abstract int |
hashCode()
Returns a hash code for this diagram. |
abstract void |
insertArrow(int i,
int j,
int n,
Morphism morphism)
Inserts an arrow from vertex i to vertex j at position n . |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface org.rubato.xml.XMLInputOutput |
---|
fromXML, getElementTypeName, toXML |
Constructor Detail |
---|
public Diagram()
Method Detail |
---|
public abstract Yoneda getVertex(int i)
i
.
public abstract int getVertexCount()
public abstract void deleteVertex(int i)
i
.
public void deleteVertexes()
public abstract Morphism getArrow(int i, int j, int n)
n
-th arrow from vertex i
to vertex j
.
public abstract int getArrowCount(int i, int j)
i
to vertex j
.
public abstract void insertArrow(int i, int j, int n, Morphism morphism)
i
to vertex j
at position n
.
public void appendArrow(int i, int j, Morphism morphism)
i
to vertex j
.
public abstract void deleteArrow(int i, int j, int n)
n
-th arrow from vertex i
to vertex j
.
public void deleteArrows(int i, int j)
i
to vertex j
.
public abstract java.util.LinkedList<Form> getFormDependencies(java.util.LinkedList<Form> list)
public abstract java.util.LinkedList<Denotator> getDenotatorDependencies(java.util.LinkedList<Denotator> list)
public abstract int compareTo(Yoneda object)
public abstract java.lang.Object clone()
clone
in interface Yoneda
clone
in class java.lang.Object
public abstract int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object object)
equals
in class java.lang.Object
public abstract boolean fullEquals(Diagram d, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |