|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.rubato.logeo.Sets
public final class Sets
This static class implements the usual set operations on denotators of type power.
Method Summary | |
---|---|
static PowerDenotator |
addElement(PowerDenotator d,
Denotator element)
|
static PowerDenotator |
addElements(PowerDenotator d,
Denotator... elements)
|
static PowerDenotator |
addElements(PowerDenotator d,
java.util.List<Denotator> elements)
|
static PowerDenotator |
cartesian(PowerForm resForm,
PowerDenotator d1,
PowerDenotator d2)
Returns the Cartesian product of two denotators of type power. |
static boolean |
contains(PowerDenotator p,
Denotator d)
Returns true iff p contains d . |
static PowerDenotator |
difference(PowerDenotator... denoList)
Returns the set difference of argument list of denotators. |
static PowerDenotator |
difference(PowerDenotator d1,
PowerDenotator d2)
Returns the set difference of argument denotators. |
static Denotator |
disjointUnion(PowerDenotator d1,
PowerDenotator d2)
Returns the disjoint union of two denotators of type power. |
static PowerDenotator |
intersection(PowerDenotator... denoList)
Returns the set intersection of argument list of denotators. |
static PowerDenotator |
intersection(PowerDenotator d1,
PowerDenotator d2)
Returns the set intersection of argument denotators. |
static Denotator |
map(Function f,
PowerDenotator d)
Return a denotator, where the function f is applied on the elements of the argument denotator. |
static Denotator |
select(Predicate p,
PowerDenotator d)
Returns a denotator, where only the elements from the argument denotator are contained that satisfy predicate p. |
static boolean |
subset(PowerDenotator d1,
PowerDenotator d2)
Returns true iff d1 is a subset of d2 . |
static PowerDenotator |
symmetric(PowerDenotator... denoList)
Returns the symmetric set difference of argument list of denotators. |
static PowerDenotator |
symmetric(PowerDenotator d1,
PowerDenotator d2)
Returns the symmetric set difference of argument denotators. |
static PowerDenotator |
union(PowerDenotator... denoList)
Returns the set union of argument list of denotators. |
static PowerDenotator |
union(PowerDenotator d1,
PowerDenotator d2)
Returns the set union of the specified power denotators. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static PowerDenotator union(PowerDenotator d1, PowerDenotator d2) throws RubatoException
RubatoException
- if d1
or d2
is not of the required formpublic static PowerDenotator union(PowerDenotator... denoList) throws RubatoException
denoList
- input array of power denotators must have
length > 0 and must have no null elements
RubatoException
- if the denotators do not have the required formpublic static PowerDenotator intersection(PowerDenotator d1, PowerDenotator d2) throws RubatoException
RubatoException
- if d1 and d2 are not of the required formpublic static PowerDenotator intersection(PowerDenotator... denoList) throws RubatoException
denoList
- input array of power denotators must have
length > 0 and must have no null elements
RubatoException
- if the denotators have not the required formpublic static PowerDenotator difference(PowerDenotator d1, PowerDenotator d2) throws RubatoException
RubatoException
- if d1 and d2 are not of the required formpublic static PowerDenotator difference(PowerDenotator... denoList) throws RubatoException
RubatoException
- if the denotators have not the required formpublic static PowerDenotator symmetric(PowerDenotator d1, PowerDenotator d2) throws RubatoException
RubatoException
- if d1 and d2 are not of the required formpublic static PowerDenotator symmetric(PowerDenotator... denoList) throws RubatoException
RubatoException
- if the denotators have not the required formpublic static Denotator map(Function f, PowerDenotator d) throws RubatoException
f
- the function to apply to the arguments, must have arity 1
RubatoException
- if d is not of type power or f has arity != 1public static Denotator select(Predicate p, PowerDenotator d) throws RubatoException
p
- the predicate that the elements must satisfy, must have arity 1
RubatoException
- if d is not of type power or p has arity != 1public static PowerDenotator cartesian(PowerForm resForm, PowerDenotator d1, PowerDenotator d2) throws RubatoException
RubatoException
- if d1 or d2 is not of type powerpublic static Denotator disjointUnion(PowerDenotator d1, PowerDenotator d2) throws RubatoException
RubatoException
- if d1 or d2 is not of type powerpublic static PowerDenotator addElement(PowerDenotator d, Denotator element) throws RubatoException
RubatoException
public static PowerDenotator addElements(PowerDenotator d, Denotator... elements) throws RubatoException
RubatoException
public static PowerDenotator addElements(PowerDenotator d, java.util.List<Denotator> elements) throws RubatoException
RubatoException
public static boolean subset(PowerDenotator d1, PowerDenotator d2)
d1
is a subset of d2
.
public static boolean contains(PowerDenotator p, Denotator d)
p
contains d
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |