|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.math.yoneda.AbstractConnectableYoneda
org.rubato.math.yoneda.Form
org.rubato.math.yoneda.ColimitForm
public final class ColimitForm
Colimit form class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
ColimitForm(NameDenotator name,
Diagram diagram)
Builds a colimit identity form using a diagram. |
|
ColimitForm(NameDenotator name,
java.util.List<Form> forms)
Builds a colimit identity form using a list of forms. |
|
ColimitForm(NameDenotator name,
java.util.List<Form> forms,
java.util.List<java.lang.String> labels)
Builds a colimit identity form using a list of forms. |
|
ColimitForm(NameDenotator name,
Morphism identifier)
Generic form constructor. |
Method Summary | |
---|---|
Denotator |
createDefaultDenotator()
Returns a default denotator of this colimit form. |
Denotator |
createDefaultDenotator(Module address)
Returns a default denotator of this colimit form with the given address. |
boolean |
equals(ColimitForm f)
|
boolean |
equals(java.lang.Object object)
Returns true iff this form is equal to the specified object. |
static ColimitForm |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(ColimitForm f)
Compares for full equality in the case of non-registered forms. |
boolean |
fullEquals(ColimitForm f,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
Form |
getForm(int i)
Returns a coordinate form. |
Form |
getForm(java.lang.String label)
Returns a coordinate form. |
int |
getFormCount()
Returns the number of coordinate forms. |
int |
getType()
Returns the type of the form. |
boolean |
hasLabels()
Returns true iff this form has labels. |
java.lang.String |
indexToLabel(int i)
Returns the label corresponding to the given index i . |
int |
labelToIndex(java.lang.String label)
Returns the index corresponding to the given label. |
void |
setLabels(java.util.List<java.lang.String> labels)
Sets the labels for the factors of the form. |
java.lang.String |
toString()
Returns a string representation of this form. |
void |
toXML(XMLWriter writer)
|
Methods inherited from class org.rubato.math.yoneda.Form |
---|
_register, clone, compareTo, display, display, equals, fullEquals, fullEquals, getDependencies, getDimension, getDimension, getForms, getIdentifier, getName, getNameString, getTypeString, hashCode, isRegistered, resolveReferences, setIdentifier, setName, setName, stringToType, typeToString |
Methods inherited from class org.rubato.math.yoneda.AbstractConnectableYoneda |
---|
getConnector, setConnector |
Methods inherited from class java.lang.Object |
---|
getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ColimitForm(NameDenotator name, Morphism identifier)
public ColimitForm(NameDenotator name, java.util.List<Form> forms)
public ColimitForm(NameDenotator name, java.util.List<Form> forms, java.util.List<java.lang.String> labels)
public ColimitForm(NameDenotator name, Diagram diagram)
Method Detail |
---|
public int getType()
getType
in class Form
public boolean equals(java.lang.Object object)
Form
equals
in class Form
public boolean equals(ColimitForm f)
public boolean fullEquals(ColimitForm f)
public boolean fullEquals(ColimitForm f, java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
public int getFormCount()
getFormCount
in class Form
public Form getForm(int i)
getForm
in class Form
i
- the coordinate position
public Form getForm(java.lang.String label) throws RubatoException
label
- the name of the coordinate form
RubatoException
public void setLabels(java.util.List<java.lang.String> labels)
labels
.
public int labelToIndex(java.lang.String label)
public java.lang.String indexToLabel(int i)
i
.
public boolean hasLabels()
public void toXML(XMLWriter writer)
toXML
in class Form
public static ColimitForm fromXML(XMLReader reader, org.w3c.dom.Element element)
reader
starting with element
.
public Denotator createDefaultDenotator()
createDefaultDenotator
in class Form
public Denotator createDefaultDenotator(Module address)
createDefaultDenotator
in class Form
public java.lang.String toString()
Form
toString
in class Form
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |