|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Module
The interface for modules.
ModuleElement
Method Summary | |
---|---|
ModuleElement |
cast(ModuleElement element)
Casts element to an element in this module if possible. |
int |
compareTo(Module object)
Compares this module with object . |
ModuleElement |
createElement(java.util.List<ModuleElement> elements)
Creates an element in this module from a list of module elements. |
boolean |
equals(java.lang.Object object)
Returns true iff this module is equals to object . |
Module |
getComponentModule(int i)
Returns the i -th component module. |
int |
getDimension()
Returns the dimension of this module. |
ModuleMorphism |
getIdentityMorphism()
Returns the identity morphism in this module. |
Module |
getNullModule()
Returns the null-module corresponding to this module. |
Ring |
getRing()
Returns the underlying ring of this module. |
ModuleMorphism |
getTranslation(ModuleElement element)
Returns a morphism that translates by element . |
ModuleElement |
getZero()
Returns the zero element in this module. |
boolean |
hasElement(ModuleElement element)
Returns true iff element is an element of this module. |
int |
hashCode()
Returns the hash code for this module. |
boolean |
isNullModule()
Returns true iff this is a null-module. |
boolean |
isRing()
Returns true iff this module is a ring. |
ModuleElement |
parseString(java.lang.String string)
Creates an element in this module from a string representation. |
java.lang.String |
toString()
Returns a human readable string representation of this module. |
java.lang.String |
toVisualString()
Returns a human readable string representation of this module. |
Methods inherited from interface org.rubato.xml.XMLInputOutput |
---|
fromXML, getElementTypeName, toXML |
Method Detail |
---|
ModuleElement getZero()
ModuleMorphism getIdentityMorphism()
int getDimension()
Module getNullModule()
boolean isNullModule()
boolean isRing()
Ring getRing()
Module getComponentModule(int i)
i
-th component module.
boolean hasElement(ModuleElement element)
element
is an element of this module.
ModuleMorphism getTranslation(ModuleElement element)
element
.
ModuleElement cast(ModuleElement element)
element
to an element in this module if possible.
ModuleElement createElement(java.util.List<ModuleElement> elements)
ModuleElement parseString(java.lang.String string)
int hashCode()
hashCode
in class java.lang.Object
boolean equals(java.lang.Object object)
object
.
equals
in class java.lang.Object
int compareTo(Module object)
object
.
compareTo
in interface java.lang.Comparable<Module>
java.lang.String toString()
toString
in class java.lang.Object
java.lang.String toVisualString()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |