|
|||||||||
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.FormDiagram
public final class FormDiagram
Diagram of forms.
Field Summary | |
---|---|
static FormDiagram |
emptyFormDiagram
|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
FormDiagram(Form form)
Creates a diagram with the given form as its single vertex. |
|
FormDiagram(java.util.List<Form> forms)
Creates a diagram using the given list of forms as vertexes. |
Method Summary | |
---|---|
void |
appendArrow(int i,
int j,
Morphism morphism)
Appends an arrow from vertex i to vertex j . |
void |
appendForm(Form form)
|
java.lang.Object |
clone()
Returns a shallow copy of this diagram. |
int |
compareTo(Yoneda object)
|
void |
deleteArrow(int i,
int j,
int n)
Deletes the n -th arrow from vertex i to vertex j . |
void |
deleteForm(int i)
|
void |
deleteVertex(int i)
Deletes the vertex at position i . |
boolean |
equals(java.lang.Object object)
Returns true if this diagram is equal to the specified object. |
Diagram |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(Diagram diagram,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> history)
|
Morphism |
getArrow(int i,
int j,
int n)
Returns the n -th arrow from vertex i to vertex j . |
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. |
Form |
getForm(int i)
|
int |
getFormCount()
|
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 an arrow from vertex i to vertex j at position n . |
void |
insertForm(int i,
Form form)
|
boolean |
registerForms(Repository rep,
boolean builtin)
|
void |
setForm(int i,
Form form)
|
void |
toXML(XMLWriter writer)
Outputs XML representation to writer . |
Methods inherited from class org.rubato.math.yoneda.Diagram |
---|
deleteArrows, deleteVertexes |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static FormDiagram emptyFormDiagram
Constructor Detail |
---|
public FormDiagram(Form form)
form
as its single vertex.
public FormDiagram(java.util.List<Form> forms)
Method Detail |
---|
public Form getForm(int i)
public int getFormCount()
public void setForm(int i, Form form)
public void insertForm(int i, Form form)
public void appendForm(Form form)
public void deleteForm(int i)
public Yoneda getVertex(int i)
Diagram
i
.
getVertex
in class Diagram
public void deleteVertex(int i)
Diagram
i
.
deleteVertex
in class Diagram
public int getVertexCount()
Diagram
getVertexCount
in class Diagram
public Morphism getArrow(int i, int j, int n)
Diagram
n
-th arrow from vertex i
to vertex j
.
getArrow
in class Diagram
public int getArrowCount(int i, int j)
Diagram
i
to vertex j
.
getArrowCount
in class Diagram
public void insertArrow(int i, int j, int n, Morphism morphism)
Diagram
i
to vertex j
at position n
.
insertArrow
in class Diagram
public void deleteArrow(int i, int j, int n)
Diagram
n
-th arrow from vertex i
to vertex j
.
deleteArrow
in class Diagram
public void appendArrow(int i, int j, Morphism morphism)
Diagram
i
to vertex j
.
appendArrow
in class Diagram
public int compareTo(Yoneda object)
compareTo
in class Diagram
public boolean equals(java.lang.Object object)
Diagram
equals
in class Diagram
public java.lang.Object clone()
clone
in interface Yoneda
clone
in class Diagram
public boolean fullEquals(Diagram diagram, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> history)
fullEquals
in class Diagram
public boolean registerForms(Repository rep, boolean builtin)
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
public int hashCode()
Diagram
hashCode
in class Diagram
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |