|
|||||||||
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.ListForm
org.rubato.math.yoneda.NameForm
public final class NameForm
Special list form for names of forms and denotators.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Method Summary | |
---|---|
java.lang.Object |
clone()
Form object cannot be cloned. |
boolean |
equals(java.lang.Object object)
Returns true iff this form is equal to the specified object. |
double |
getDimension()
Returns the dimension of a form using default maximal depth. |
double |
getDimension(int maxDepth)
Returns the dimension of a form. |
Form |
getForm(int i)
Returns a coordinate form. |
int |
getFormCount()
Returns the number of coordinate forms. |
java.util.List<Form> |
getForms()
Returns a list of the coordinate forms. |
Morphism |
getIdentifier()
Returns the identifier of the form. |
NameDenotator |
getName()
Returns the name of the form as a denotator. |
static NameForm |
getNameForm()
|
java.lang.String |
getNameString()
Returns the name of the form as a string. |
int |
getType()
Returns the type of the form. |
boolean |
iscomplete()
|
void |
setIdentifier(Morphism identifier)
Sets the identifier of the form. |
void |
setName(Denotator name)
Sets the name of the form as a denotator. |
Methods inherited from class org.rubato.math.yoneda.ListForm |
---|
createDefaultDenotator, createDefaultDenotator, equals, fromXML, fullEquals, fullEquals, getForm, getFormDiagram, toString, toXML |
Methods inherited from class org.rubato.math.yoneda.Form |
---|
_register, compareTo, display, display, equals, fullEquals, fullEquals, getDependencies, getTypeString, hashCode, isRegistered, resolveReferences, 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 |
Method Detail |
---|
public static NameForm getNameForm()
public NameDenotator getName()
getName
in class Form
public java.lang.String getNameString()
getNameString
in class Form
public int getType()
getType
in class ListForm
public Morphism getIdentifier()
getIdentifier
in class Form
public void setName(Denotator name)
public void setIdentifier(Morphism identifier)
setIdentifier
in class Form
public double getDimension()
getDimension
in class Form
public double getDimension(int maxDepth)
getDimension
in class Form
public java.lang.Object clone()
Form
clone
in interface Yoneda
clone
in class Form
public boolean equals(java.lang.Object object)
Form
equals
in class ListForm
public boolean iscomplete()
public int getFormCount()
getFormCount
in class ListForm
public Form getForm(int i)
getForm
in class ListForm
i
- the coordinate position
public java.util.List<Form> getForms()
getForms
in class Form
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |