|
|||||||||
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.LimitDenotator
public final class LimitDenotator
Limit denotator class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
LimitDenotator(NameDenotator name,
LimitForm form,
java.util.List<Denotator> coordinates)
Creates a limit denotator. |
|
LimitDenotator(NameDenotator name,
Module address,
LimitForm form,
java.util.List<Denotator> coordinates)
Creates a limit denotator. |
Method Summary | |
---|---|
boolean |
_is_valid()
Returns true iff this denotator is correctly built. |
static LimitDenotator |
_make_unsafe(NameDenotator name,
Module address,
LimitForm form,
java.util.List<Denotator> denoList)
Creates a new limit denotator without checking whatsoever. |
boolean |
appendFactor(Denotator d)
Appends, if possible, the factor d . |
Denotator |
at(ModuleElement element)
If not null-addressed returns a new denotator evaluated at address element. |
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(LimitDenotator other)
Compares two limit denotators. |
LimitDenotator |
copy()
Returns a deep copy of this denotator. |
boolean |
equals(LimitDenotator other)
Checks denotators of the same type for equality. |
boolean |
equals(java.lang.Object object)
Checks for equality. |
static LimitDenotator |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
Denotator |
getFactor(int i)
Returns the factor in position i . |
Denotator |
getFactor(java.lang.String label)
Returns the factor with the given label. |
int |
getFactorCount()
Returns the number of coordinates of the denotator. |
java.util.List<Denotator> |
getFactors()
Returns a list of the coordinates of the denotator. |
ListMorphismMap |
getFrameListMorphismMap()
|
LimitForm |
getLimitForm()
Returns the limit form of this denotator. |
ListMorphismMap |
getListMorphismMap()
|
int |
getType()
Returns the type of the 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 coordinates. |
Denotator |
namedCopy(NameDenotator name)
Makes a shallow copy this denotator and gives it the specified name . |
void |
setFactor(int i,
Denotator d)
Sets the factor d in position i . |
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 LimitDenotator(NameDenotator name, Module address, LimitForm form, java.util.List<Denotator> coordinates) throws RubatoException
name
- the name of the denotatoraddress
- the address this denotator must haveform
- the form of this denotatorcoordinates
- the factors of this limit denotator
RubatoException
public LimitDenotator(NameDenotator name, LimitForm form, java.util.List<Denotator> coordinates) throws RubatoException
name
- the name of the denotatorform
- the form of this denotatorcoordinates
- the factors of this limit denotator
RubatoException
Method Detail |
---|
public int getType()
getType
in class Denotator
public Denotator namedCopy(NameDenotator name)
Denotator
name
.
namedCopy
in class Denotator
public Denotator at(ModuleElement element) throws MappingException
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 LimitForm getLimitForm()
public int getFactorCount()
getFactorCount
in interface FactorDenotator
public Denotator getFactor(int i)
i
.
getFactor
in interface FactorDenotator
i
- factor i
denotatorpublic Denotator getFactor(java.lang.String label) throws RubatoException
RubatoException
public void setFactor(int i, Denotator d) throws RubatoException
d
in position i
.
This is a destructive operation; beware of aliasing.
setFactor
in interface FactorDenotator
RubatoException
- if d
is not of the required form,
or i
is not in rangepublic java.util.List<Denotator> getFactors()
getFactors
in interface FactorDenotator
public boolean appendFactor(Denotator d)
FactorDenotator
d
.
This is a destructive operation; beware of aliasing.
appendFactor
in interface FactorDenotator
public java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
iterator
in interface FactorDenotator
iterator
in class Denotator
public ListMorphismMap getListMorphismMap()
public ListMorphismMap getFrameListMorphismMap()
public boolean isConstant()
Denotator
isConstant
in class Denotator
public int compareTo(Denotator object)
compareTo
in interface java.lang.Comparable<Denotator>
compareTo
in class Denotator
public int compareTo(LimitDenotator other)
public boolean equals(java.lang.Object object)
equals
in class Denotator
public boolean equals(LimitDenotator other)
public LimitDenotator 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 LimitDenotator fromXML(XMLReader reader, org.w3c.dom.Element element)
reader
starting with element
.
@Unsafe @Internal public static LimitDenotator _make_unsafe(NameDenotator name, Module address, LimitForm form, java.util.List<Denotator> denoList)
@Internal public boolean _is_valid()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |