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