|
|||||||||
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.PowerForm
public final class PowerForm
Power form class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
PowerForm(NameDenotator name,
Form form)
Builds a power identity form. |
|
PowerForm(NameDenotator name,
Morphism identifier)
Generic power form constructor. |
Method Summary | |
---|---|
Denotator |
createDefaultDenotator()
Returns a default denotator of this power form. |
Denotator |
createDefaultDenotator(Module address)
Returns a default denotator of this power form with the given address. |
boolean |
equals(java.lang.Object object)
Returns true iff this form is equal to the specified object. |
boolean |
equals(PowerForm f)
Tests for equality of two power forms. |
static PowerForm |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
boolean |
fullEquals(PowerForm f)
|
boolean |
fullEquals(PowerForm f,
java.util.IdentityHashMap<java.lang.Object,java.lang.Object> s)
|
Form |
getForm()
Returns the single coordinate form. |
Form |
getForm(int i)
Returns a coordinate form. |
int |
getFormCount()
Returns the number of coordinate forms. |
FormDiagram |
getFormDiagram()
|
int |
getType()
Returns the type 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 PowerForm(NameDenotator name, Morphism identifier)
public PowerForm(NameDenotator name, Form form)
Method Detail |
---|
public int getType()
getType
in class Form
public boolean equals(java.lang.Object object)
Form
equals
in class Form
public boolean equals(PowerForm f)
public boolean fullEquals(PowerForm f)
public boolean fullEquals(PowerForm 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()
public FormDiagram getFormDiagram()
public void toXML(XMLWriter writer)
toXML
in class Form
public static PowerForm 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 |