|
|||||||||
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.Denotator
org.rubato.math.yoneda.SimpleDenotator
public final class SimpleDenotator
Simple denotator class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
SimpleDenotator(NameDenotator name,
SimpleForm form,
ModuleElement element)
Constructs a simple null-addressed denotator of the specified form. |
|
SimpleDenotator(NameDenotator name,
SimpleForm form,
Module address,
ModuleElement element)
Constructs a simple (constant) addressed denotator of the specified form. |
|
SimpleDenotator(NameDenotator name,
SimpleForm form,
ModuleMorphism morphism)
Constructs a simple addressed denotator of the specified form. |
|
SimpleDenotator(NameDenotator name,
SimpleForm form,
ModuleMorphismMap map)
Constructs a simple addressed denotator of the specified form. |
Method Summary | |
---|---|
boolean |
_is_valid()
Returns true iff this denotator is correctly built. |
static SimpleDenotator |
_make_unsafe(NameDenotator name,
SimpleForm form,
Module address,
ModuleElement element)
Creates a new simple denotator without checking whatsoever. |
static SimpleDenotator |
_make_unsafe(NameDenotator name,
SimpleForm form,
ModuleMorphism morphism)
Creates a new simple denotator without checking whatsoever. |
Denotator |
at(ModuleElement element)
returns a new denotator evaluated at address element ,
if this denotator is not null addressed,
otherwise returns self, whatever element is. |
Denotator |
changeAddress(Module newAddress)
Makes an address change. |
Denotator |
changeAddress(ModuleMorphism morphism)
Makes an address change using a module morphism. |
boolean |
check()
Returns true iff this denotator is consistent. |
int |
compareTo(Denotator object)
|
int |
compareTo(SimpleDenotator other)
Compares two simple denotators. |
SimpleDenotator |
copy()
Returns a deep copy of this denotator. |
SimpleDenotator |
difference(SimpleDenotator d)
|
boolean |
equals(java.lang.Object object)
Checks for equality. |
boolean |
equals(SimpleDenotator other)
Checks denotators of the same type for equality. |
static SimpleDenotator |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
Complex |
getComplex()
Returns the complex number contained in a CElement denotator. |
ModuleElement |
getElement()
Returns the module element. |
ModuleElement |
getElement(ModuleElement element)
Returns the module element. |
ModuleMorphism |
getFrameModuleMorphism()
Returns the module morphism. |
ModuleMorphismMap |
getFrameModuleMorphismMap()
Returns the module morphism map. |
int |
getInteger()
Returns the integer contained in a ZElement denotator. |
int |
getModInteger()
Returns the modular integer contained in a ZnElement denotator. |
ModuleMorphism |
getModuleMorphism()
Returns the module morphism. |
ModuleMorphismMap |
getModuleMorphismMap()
Returns the module morphism map. |
Rational |
getRational()
Returns the rational contained in a QElement denotator. |
double |
getReal()
Returns the double contained in an RElement denotator. |
SimpleForm |
getSimpleForm()
Returns the simple form of the denotator. |
java.lang.String |
getString()
Returns the string contained in a ZStringElement denotator. |
int |
getType()
Returns the type of the denotator. |
ZString |
getZString()
Returns the ZString contained in a ZStringElement denotator. |
boolean |
isConstant()
Returns true iff this is ultimately a constant denotator, regardless of its address. |
java.util.Iterator<Denotator> |
iterator()
Returns an iterator over the coordinate denotators. |
SimpleDenotator |
map(ModuleMorphism morphism)
Maps the simple denotator using the given morphism . |
Denotator |
namedCopy(NameDenotator name)
Makes a shallow copy this denotator and gives it the specified name . |
SimpleDenotator |
sum(SimpleDenotator d)
|
void |
toXML(XMLWriter writer)
|
Methods inherited from class org.rubato.math.yoneda.Denotator |
---|
atNull, clone, display, display, formEquals, get, getAddress, getCoordinate, getDependencies, getElement, getForm, getFrameCoordinate, getModuleMorphism, getName, getNameString, hasForm, hashCode, map, nameCompareTo, nameEquals, nullAddressed, replace, resolveReferences, setName, setNameString, toString |
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 SimpleDenotator(NameDenotator name, SimpleForm form, ModuleMorphism morphism) throws DomainException
name
- the name of the denotatorform
- the form of the denotator, must be of type simplemorphism
- the module morphism contained in the denotator
DomainException
- if the codomain of the module morphism
is not equal to the codomain required by the formpublic SimpleDenotator(NameDenotator name, SimpleForm form, ModuleElement element) throws DomainException
name
- the name of the denotatorform
- the form of the denotator, must be of type simpleelement
- the module element contained in the denotator
DomainException
- if the element is not contained
in the codomain required by the formpublic SimpleDenotator(NameDenotator name, SimpleForm form, Module address, ModuleElement element) throws DomainException
name
- the name of the denotatorform
- the form of the denotator, must be of type simpleaddress
- the address of the denotatorelement
- the module element contained in the denotator
DomainException
- if the element is not contained
in the codomain required by the formpublic SimpleDenotator(NameDenotator name, SimpleForm form, ModuleMorphismMap map) throws DomainException
name
- the name of the denotatorform
- the form of the denotator, must be of type simplemap
- the module morphism map contained in the denotator
DomainException
- if the codomain of the module morphism
is not equal to the codomain required by the formMethod Detail |
---|
public int getType()
getType
in class Denotator
public SimpleForm getSimpleForm()
public Denotator namedCopy(NameDenotator name)
Denotator
name
.
namedCopy
in class Denotator
public Denotator at(ModuleElement element) throws MappingException
element
,
if this denotator is not null addressed,
otherwise returns self, whatever element
is.
at
in class Denotator
element
- address
MappingException
- if evaluation failspublic Denotator changeAddress(Module newAddress)
Denotator
changeAddress
in class Denotator
newAddress
- the new address of the denotator
public Denotator changeAddress(ModuleMorphism morphism)
Denotator
changeAddress
in class Denotator
morphism
- the address changing morphism
public SimpleDenotator map(ModuleMorphism morphism) throws RubatoException
morphism
.
If the denotator contains a module element, the new denotator
contains the mapped element.
If the denotator contains a morphism f, the new denotator
contains the composed morphism f.morphism
.
morphism
- must have domain and codomain equal to
the module of the denotator
RubatoException
public java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
iterator
in class Denotator
public ModuleElement getElement()
public ModuleElement getElement(ModuleElement element) throws MappingException
element
- the address
MappingException
public int getInteger()
public int getModInteger()
public double getReal()
public Rational getRational()
public Complex getComplex()
public ZString getZString()
public java.lang.String getString()
public SimpleDenotator sum(SimpleDenotator d) throws DomainException
DomainException
public SimpleDenotator difference(SimpleDenotator d) throws DomainException
DomainException
public ModuleMorphismMap getModuleMorphismMap()
public ModuleMorphismMap getFrameModuleMorphismMap()
public ModuleMorphism getModuleMorphism()
public ModuleMorphism getFrameModuleMorphism()
public int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
compareTo
in class Denotator
public int compareTo(SimpleDenotator other)
public boolean equals(java.lang.Object object)
equals
in class Denotator
public boolean equals(SimpleDenotator other)
public boolean isConstant()
Denotator
isConstant
in class Denotator
public SimpleDenotator copy()
Denotator
copy
in class Denotator
public boolean check()
Denotator
check
in class Denotator
public void toXML(XMLWriter writer)
toXML
in class Denotator
public static SimpleDenotator fromXML(XMLReader reader, org.w3c.dom.Element element)
reader
starting with element
.
@Unsafe @Internal public static SimpleDenotator _make_unsafe(NameDenotator name, SimpleForm form, Module address, ModuleElement element)
@Unsafe @Internal public static SimpleDenotator _make_unsafe(NameDenotator name, SimpleForm form, ModuleMorphism morphism)
@Internal public boolean _is_valid()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |