|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface FactorDenotator
Interface for denotators that have factors. These are all types of denotators except simple denotators.
Method Summary | |
---|---|
boolean |
appendFactor(Denotator d)
Appends, if possible, the factor d . |
Denotator |
getFactor(int i)
Returns the factor in 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. |
java.util.Iterator<Denotator> |
iterator()
Returns an iterator over the coordinates. |
void |
setFactor(int i,
Denotator d)
Sets the factor d in position i . |
Method Detail |
---|
int getFactorCount()
Denotator getFactor(int i)
i
.
i
- the position of the factorvoid setFactor(int i, Denotator d) throws RubatoException
d
in position i
.
This is a destructive operation; beware of aliasing.
RubatoException
boolean appendFactor(Denotator d) throws RubatoException
d
.
This is a destructive operation; beware of aliasing.
RubatoException
java.util.List<Denotator> getFactors()
java.util.Iterator<Denotator> iterator()
iterator
in interface java.lang.Iterable<Denotator>
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |