|
|||||||||
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.PowerDenotator
public final class PowerDenotator
Power denotator class.
Field Summary |
---|
Fields inherited from interface org.rubato.math.yoneda.Yoneda |
---|
COLIMIT, LIMIT, LIST, POWER, SIMPLE |
Constructor Summary | |
---|---|
PowerDenotator(NameDenotator name,
Module address,
PowerForm form,
java.util.List<Denotator> cds)
Creates a new power denotator. |
|
PowerDenotator(NameDenotator name,
PowerForm form,
java.util.List<Denotator> cds)
Creates a new power denotator that takes its address from the coordinates. |
Method Summary | |
---|---|
boolean |
_is_valid()
Returns true iff this denotator is correctly built. |
static PowerDenotator |
_make_unsafe(NameDenotator name,
Module address,
PowerForm form,
java.util.List<Denotator> denoList)
Creates a new power denotator without checking whatsoever. |
void |
_normalize()
Normalizes power denotator. |
boolean |
appendFactor(Denotator d)
Appends a factor. |
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(PowerDenotator other)
Compares two power denotators. |
boolean |
contains(Denotator d)
Returns true iff this power denotator contains d . |
PowerDenotator |
copy()
Returns a deep copy of this denotator. |
PowerDenotator |
difference(PowerDenotator d)
Returns the set difference of this power denotator and d . |
boolean |
equals(java.lang.Object object)
Checks for equality. |
boolean |
equals(PowerDenotator other)
Checks denotators of the same form for equality. |
static PowerDenotator |
fromXML(XMLReader reader,
org.w3c.dom.Element element)
Reads XML representation from reader starting with element . |
Denotator |
getFactor(int i)
Returns the factor at position i . |
int |
getFactorCount()
Returns the number of coordinates of the denotator. |
java.util.List<Denotator> |
getFactors()
Returns a (new) list of the coordinates of the denotator. |
AutoListMorphismMap |
getFrameListMorphismMap()
|
AutoListMorphismMap |
getListMorphismMap()
|
PowerForm |
getPowerForm()
Returns the form of this denotator. |
int |
getType()
Returns the type of the denotator. |
int |
indexOf(Denotator d)
Returns the internal index of denotator d . |
PowerDenotator |
intersection(PowerDenotator d)
Returns the set intersection of this power denotator and d . |
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 . |
Denotator |
removeFactor(int index)
Removes a factor. |
void |
replaceFactors(java.util.List<Denotator> denoList)
Sets the factor list to a new list of denotators. |
void |
setFactor(int i,
Denotator d)
Sets the factor d at position i . |
boolean |
subset(PowerDenotator d)
Returns true iff this power denotator is a subset of d . |
void |
toXML(XMLWriter writer)
|
PowerDenotator |
union(PowerDenotator d)
Returns the set union of this power denotator and d . |
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 PowerDenotator(NameDenotator name, Module address, PowerForm form, java.util.List<Denotator> cds) throws RubatoException
name
- the name of the denotator, null if denotator is anomymousaddress
- the address of the denotator, null if null-addressedform
- the form of the denotatorcds
- a list of coordinate denotators
RubatoException
public PowerDenotator(NameDenotator name, PowerForm form, java.util.List<Denotator> cds) throws RubatoException
name
- the name of the denotator, null if denotator is anomymousform
- the form of the denotatorcds
- a list of coordinate denotators
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 PowerForm getPowerForm()
public int getFactorCount()
getFactorCount
in interface FactorDenotator
public Denotator getFactor(int i)
i
.
getFactor
in interface FactorDenotator
i
- denotator at position i
public void setFactor(int i, Denotator d) throws RubatoException
d
at 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 out of rangepublic boolean appendFactor(Denotator d) throws RubatoException
appendFactor
in interface FactorDenotator
RubatoException
- if d is not of the required formpublic Denotator removeFactor(int index)
public void replaceFactors(java.util.List<Denotator> denoList) throws RubatoException
denoList
- the list of factor denotators
RubatoException
- the list of denotators doesn't match
the form of the denotator.public java.util.List<Denotator> getFactors()
getFactors
in interface FactorDenotator
public PowerDenotator union(PowerDenotator d) throws RubatoException
d
.
RubatoException
public PowerDenotator intersection(PowerDenotator d) throws RubatoException
d
.
RubatoException
public PowerDenotator difference(PowerDenotator d) throws RubatoException
d
.
RubatoException
public boolean subset(PowerDenotator d)
d
.
public boolean contains(Denotator d)
d
.
public int indexOf(Denotator d)
d
.
public java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
iterator
in interface FactorDenotator
iterator
in class Denotator
public AutoListMorphismMap getListMorphismMap()
public AutoListMorphismMap 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(PowerDenotator other)
public boolean equals(java.lang.Object object)
equals
in class Denotator
public boolean equals(PowerDenotator other)
public PowerDenotator 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 PowerDenotator fromXML(XMLReader reader, org.w3c.dom.Element element)
reader
starting with element
.
@Internal public void _normalize()
@Unsafe @Internal public static PowerDenotator _make_unsafe(NameDenotator name, Module address, PowerForm 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 |