eu.bandm.tools.ops.*
instead.@Deprecated public abstract class Operators extends Object
Modifier and Type | Class and Description |
---|---|
static class |
Operators.AbstractBinRel<X>
Deprecated.
|
static class |
Operators.AbstractEquivalence<X>
Deprecated.
|
static class |
Operators.AbstractMCons<X,S>
Deprecated.
|
static class |
Operators.AbstractMProd<X,S>
Deprecated.
|
static class |
Operators.AbstractPartialOrder<X>
Deprecated.
|
static class |
Operators.AbstractState<S>
Deprecated.
|
static interface |
Operators.BinRel<X>
Deprecated.
Represents binary relations on a single type.
|
static interface |
Operators.Cons<X,S>
Deprecated.
Represents consuming automata with input type
X and
state type S . |
static interface |
Operators.Fun<X,Y>
Deprecated.
Represents functions with input type
X and output
type Y . |
static interface |
Operators.ICons<X,S>
Deprecated.
|
static interface |
Operators.MCons<X,S>
Deprecated.
|
static interface |
Operators.MProd<X,S>
Deprecated.
|
static interface |
Operators.MultiFun<X,Y>
Deprecated.
Represents multi-valued functions with domain
X and
codomain Y . |
static interface |
Operators.Rel<X,Y>
Deprecated.
|
static interface |
Operators.State<S>
Deprecated.
|
static interface |
Operators.Test<X>
Deprecated.
|
static interface |
Operators.Visit<X>
Deprecated.
|
Modifier and Type | Field and Description |
---|---|
static Operators.ICons<String,StringBuffer> |
concat
Deprecated.
|
static Operators.Fun<Object,Class<?>> |
getClass
Deprecated.
|
static Operators.Fun<Object,Integer> |
hashCode
Deprecated.
|
static Operators.Fun<Object,String> |
toString
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static <X> boolean |
all(Operators.Test<? super X> f,
Collection<? extends X> c)
Deprecated.
|
static <X> Operators.BinRel<X> |
allBinRel()
Deprecated.
|
static <X> Operators.Test<Collection<X>> |
allElems(Operators.Test<? super X> f)
Deprecated.
|
static <X> Operators.ICons<X,Boolean> |
allICons(Operators.Test<? super X> f)
Deprecated.
|
static <X> Operators.Test<Set<X>> |
allPairs(Operators.BinRel<? super X> rel)
Deprecated.
|
static <X> boolean |
allPairs(Operators.BinRel<? super X> rel,
Set<X> elems)
Deprecated.
|
static <X> Operators.Test<Set<X>> |
allPairs(Operators.Rel<? super X,? super X> rel)
Deprecated.
|
static <X> boolean |
allPairs(Operators.Rel<? super X,? super X> rel,
Set<X> elems)
Deprecated.
|
static <X,Y> Operators.Rel<X,Y> |
allRel()
Deprecated.
|
static <X,Y> Operators.Rel<X,Y> |
allRels(Operators.Rel<? super X,? super Y>... f)
Deprecated.
|
static <X> Operators.Test<X> |
allTests(Operators.Test<? super X>... f)
Deprecated.
|
static <X> boolean |
any(Operators.Test<? super X> f,
Collection<? extends X> c)
Deprecated.
|
static <X> Operators.Test<Collection<X>> |
anyElem(Operators.Test<? super X> f)
Deprecated.
|
static <X> Operators.ICons<X,Boolean> |
anyICons(Operators.Test<? super X> f)
Deprecated.
|
static <X> Operators.Test<Set<X>> |
anyPair(Operators.BinRel<? super X> rel)
Deprecated.
|
static <X> boolean |
anyPair(Operators.Rel<? super X,? super X> rel,
Set<X> elems)
Deprecated.
|
static <X,Y> Operators.Rel<X,Y> |
anyRel(Operators.Rel<? super X,? super Y>... f)
Deprecated.
|
static <X> Operators.Test<X> |
anyTest(Operators.Test<? super X>... f)
Deprecated.
|
static <X> Operators.Fun<Set<X>,Set<Set<X>>> |
binomial(int k)
Deprecated.
|
static <X> Set<Set<X>> |
binomial(Set<X> elems,
int k)
Deprecated.
|
static <X> Operators.Test<Collection<X>> |
chain(Operators.BinRel<? super X> rel)
Deprecated.
|
static <X> boolean |
chain(Operators.Rel<? super X,? super X> rel,
Collection<X> elems)
Deprecated.
|
static <X> boolean |
chain(Operators.Rel<? super X,? super X> rel,
Iterator<X> i)
Deprecated.
|
static <L1,L2,R1,R2> |
compose(Operators.Fun<? super L1,? extends L2> f,
Operators.Fun<? super R1,? extends R2> g,
Operators.Rel<L2,R2> h)
Deprecated.
|
static <X,Y> Operators.BinRel<X> |
compose(Operators.Fun<? super X,? extends Y> f,
Operators.BinRel<Y> g)
Deprecated.
|
static <X,Y,Z> Operators.Cons<X,Z> |
compose(Operators.Fun<? super X,? extends Y> f,
Operators.Cons<? super Y,Z> g)
Deprecated.
|
static <X,Y,Z> Operators.Fun<X,Z> |
compose(Operators.Fun<? super X,? extends Y> first,
Operators.Fun<? super Y,? extends Z> second)
Deprecated.
|
static <X,Y,Z> Operators.ICons<X,Z> |
compose(Operators.Fun<? super X,? extends Y> f,
Operators.ICons<? super Y,Z> g)
Deprecated.
|
static <X,Y,Z> Operators.MCons<X,Z> |
compose(Operators.Fun<? super X,? extends Y> f,
Operators.MCons<? super Y,Z> g)
Deprecated.
|
static <X,Y> Operators.Test<X> |
compose(Operators.Fun<? super X,? extends Y> f,
Operators.Test<Y> g)
Deprecated.
|
static <X,Y> Operators.Visit<X> |
compose(Operators.Fun<? super X,? extends Y> f,
Operators.Visit<? super Y> g)
Deprecated.
|
static <X,Y,Z> Operators.MProd<Z,Y> |
compose(Operators.MProd<? extends X,Y> f,
Operators.Fun<? super X,? extends Z> g)
Deprecated.
|
static <X,Y> Collection<Y> |
comprehend(Operators.MultiFun<? super X,? extends Y> f,
Collection<X> c)
Deprecated.
|
static <X,Y> Set<Y> |
comprehend(Operators.MultiFun<? super X,? extends Y> f,
Set<X> c)
Deprecated.
|
static Operators.ICons<String,StringBuffer> |
concat(String separator)
Deprecated.
|
static <X,Y> Operators.Fun<X,Y> |
constantFun(Y c)
Deprecated.
|
static <X,Y> Operators.Cons<X,Y> |
constantICons(Y state)
Deprecated.
|
static <X> Operators.Test<X> |
constantTest(boolean c)
Deprecated.
|
static <X,Y> Operators.Rel<X,Y> |
emptyRel()
Deprecated.
|
static Operators.Fun<Collection<?>,String> |
enumerate(String sep)
Deprecated.
|
static <X> Operators.BinRel<X> |
equalsRel()
Deprecated.
|
static <X> Collection<X> |
filter(Operators.Test<? super X> f,
Collection<? extends X> c)
Deprecated.
|
static <X> Set<X> |
filter(Operators.Test<? super X> f,
Set<? extends X> c)
Deprecated.
|
static <X> SortedSet<X> |
filter(Operators.Test<? super X> f,
SortedSet<X> c)
Deprecated.
|
static <X> X |
find(Operators.Test<? super X> f,
Collection<? extends X> c)
Deprecated.
|
static <X> Operators.MCons<X,X> |
findMCons(Operators.Test<? super X> f)
Deprecated.
|
static <X,S> Operators.Cons<Collection<X>,S> |
fold(Operators.Cons<? super X,S> f)
Deprecated.
|
static <X,Y> Y |
fold(Operators.Cons<? super X,Y> f,
Iterable<? extends X> c,
Y state)
Deprecated.
|
static <T,S> Operators.Fun<Collection<T>,S> |
fold(Operators.ICons<? super T,S> f)
Deprecated.
|
static <X,Y> Y |
fold(Operators.ICons<? super X,Y> f,
Iterable<? extends X> c)
Deprecated.
|
static <X extends Comparable<? super X>> |
greaterOrEqual()
Deprecated.
Return the relation
>= , according to the natural
order on the domain type. |
static <X> Operators.BinRel<X> |
greaterOrEqual(Comparator<? super X> ord)
Deprecated.
Return the relation
>= , according to the order on
the domain type defined by a given comparator. |
static <X extends Comparable<? super X>> |
greaterThan()
Deprecated.
Return the relation
> , according to the natural
order on the domain type. |
static <X> Operators.BinRel<X> |
greaterThan(Comparator<? super X> ord)
Deprecated.
Return the relation
> , according to the order on
the domain type defined by a given comparator. |
static <X,Y> Operators.MProd<X,Y> |
guard(Operators.MProd<? extends X,Y> f,
Operators.Test<? super X> g)
Deprecated.
|
static <X,Y> Operators.Cons<X,Y> |
guard(Operators.Test<? super X> f,
Operators.Cons<? super X,Y> g)
Deprecated.
|
static <X,Y> Operators.ICons<X,Y> |
guard(Operators.Test<? super X> f,
Operators.ICons<? super X,Y> g)
Deprecated.
|
static <X,Y> Operators.MCons<X,Y> |
guard(Operators.Test<? super X> f,
Operators.MCons<? super X,Y> g)
Deprecated.
|
static <X> Operators.Test<X> |
guard(Operators.Test<? super X> f,
Operators.Test<? super X> g)
Deprecated.
|
static <X> Operators.Visit<X> |
guard(Operators.Test<? super X> f,
Operators.Visit<? super X> g)
Deprecated.
|
static <X,Y> Operators.Cons<X,Y> |
identityCons()
Deprecated.
|
static <X> Operators.Fun<X,X> |
identityFun()
Deprecated.
|
static <X> Operators.Fun<X,X> |
identityFun(Class<X> domain)
Deprecated.
|
static <X> Operators.MCons<X,?> |
identityMCons()
Deprecated.
|
static <X> Operators.Visit<X> |
identityVisit()
Deprecated.
|
static <X,Y> Operators.Fun<X,Y> |
ifThenElse(Operators.Test<? super X> c,
Operators.Fun<? super X,? extends Y> f,
Operators.Fun<? super X,? extends Y> g)
Deprecated.
|
static <X> Operators.MProd<X,Iterator<X>> |
iteratorMProd()
Deprecated.
|
static <X> Operators.BinRel<X> |
kernel(Operators.Fun<X,?> f)
Deprecated.
Return a binary relation that holds for elements with equal
images under a given function.
|
static <X,Y> Operators.Test<X> |
leftSection(Operators.Rel<X,Y> rel,
Y right)
Deprecated.
|
static <X extends Comparable<? super X>> |
lessOrEqual()
Deprecated.
Return the relation
<= , according to the natural
order on the domain type. |
static <X> Operators.BinRel<X> |
lessOrEqual(Comparator<? super X> ord)
Deprecated.
Return the relation
<= , according to the order on
the domain type defined by a given comparator. |
static <X extends Comparable<? super X>> |
lessThan()
Deprecated.
Return the relation
< , according to the natural
order on the domain type. |
static <X> Operators.BinRel<X> |
lessThan(Comparator<? super X> ord)
Deprecated.
Return the relation
< , according to the order on
the domain type defined by a given comparator. |
static <X,Y> Operators.Fun<Collection<X>,Collection<Y>> |
map(Operators.Fun<? super X,? extends Y> fun)
Deprecated.
|
static <X,Y> List<Y> |
map(Operators.Fun<? super X,? extends Y> fun,
Collection<? extends X> elems)
Deprecated.
Apply a function to all elements of a collection.
|
static <X,Y> Set<Y> |
map(Operators.Fun<? super X,? extends Y> fun,
Set<? extends X> elems)
Deprecated.
Apply a function to all elements of a set.
|
static <X,Y,Z> Map<X,Z> |
map(Operators.Fun<? super Y,? extends Z> fun,
Map<X,? extends Y> elems)
Deprecated.
Apply a function to all value elements of a map, preserving the
keys.
|
static <X,Y,Z> Operators.Fun<Map<X,Y>,Map<X,Z>> |
mapMap(Operators.Fun<? super Y,? extends Z> fun)
Deprecated.
|
static <X,Y> Operators.Fun<Set<X>,Set<Y>> |
mapSet(Operators.Fun<? super X,? extends Y> fun)
Deprecated.
|
static <X,Y> boolean |
mfold(Operators.MCons<? super X,Y> f,
Iterable<? extends X> c)
Deprecated.
|
static <X,Y> boolean |
mfold(Operators.MCons<? super X,Y> f,
Iterable<? extends X> c,
Y state)
Deprecated.
|
static <X,S> Operators.MCons<Collection<X>,S> |
mfold(Operators.MCons<X,S> f)
Deprecated.
|
static <X,S> Collection<X> |
munfold(Operators.MProd<? extends X,S> f)
Deprecated.
|
static <X,S> Collection<X> |
munfold(Operators.MProd<? extends X,S> f,
S state)
Deprecated.
|
static <X> Operators.BinRel<X> |
not(Operators.BinRel<? super X> f)
Deprecated.
|
static <X,Y> Operators.Rel<X,Y> |
not(Operators.Rel<? super X,? super Y> f)
Deprecated.
|
static <X> Operators.Test<X> |
not(Operators.Test<? super X> f)
Deprecated.
|
static <X> Operators.Fun<Set<X>,Set<Set<X>>> |
power()
Deprecated.
|
static <X> Set<Set<X>> |
power(Set<X> elems)
Deprecated.
|
static <K,V> Operators.Fun<Map<K,V>,Map<V,Set<K>>> |
reverseMap()
Deprecated.
|
static <X,Y> Operators.Test<Y> |
rightSection(Operators.Rel<X,Y> rel,
X left)
Deprecated.
|
static <X,Y> Operators.Fun<X,Y> |
toFun(Operators.ICons<? super X,Y> f)
Deprecated.
|
static <X,Y> Operators.ICons<X,Y> |
toICons(Operators.Cons<? super X,Y> f,
Y state)
Deprecated.
|
static <X,Y> Operators.ICons<X,Y> |
toICons(Operators.MCons<? super X,Y> f)
Deprecated.
|
static <X,Y> Operators.MCons<X,Y> |
toMCons(Operators.Cons<? super X,Y> f)
Deprecated.
|
static <X,Y> Operators.MCons<X,Y> |
toMCons(Operators.ICons<? super X,Y> f)
Deprecated.
|
static <X> Operators.MultiFun<X,X> |
toMultiFun(Operators.Fun<? super X,? extends X> f)
Deprecated.
|
static <X> Operators.MultiFun<X,X> |
toMultiFun(Operators.Test<? super X> f)
Deprecated.
|
static <X> Operators.Test<X> |
toTest(Operators.Fun<? super X,Boolean> f)
Deprecated.
|
static <X> Operators.Visit<X> |
toVisit(Operators.Fun<? super X,?> f)
Deprecated.
|
static <X,Y> Iterable<Y> |
virtualComprehend(Operators.MultiFun<? super X,? extends Y> f,
Iterable<X> c)
Deprecated.
|
static <X,Y> Iterator<Y> |
virtualComprehend(Operators.MultiFun<? super X,? extends Y> f,
Iterator<X> i)
Deprecated.
|
static <X> Iterable<X> |
virtualFilter(Operators.Test<? super X> f,
Iterable<? extends X> c)
Deprecated.
|
static <X> Iterator<X> |
virtualFilter(Operators.Test<? super X> f,
Iterator<? extends X> i)
Deprecated.
|
static <X,Y> Collection<Y> |
virtualMap(Operators.Fun<? super X,? extends Y> fun,
Collection<? extends X> elems)
Deprecated.
Apply a function to all elements of a collection.
|
static <X,Y,Z> Map<X,Z> |
virtualMap(Operators.Fun<? super Y,? extends Z> fun,
Map<X,Y> elems)
Deprecated.
Apply a function to all value elements of a map, preserving the
keys.
|
static <X,S> Iterator<X> |
virtualMProd(Operators.MProd<? extends X,S> f)
Deprecated.
|
static <X,S> Iterator<X> |
virtualMProd(Operators.MProd<? extends X,S> f,
S state)
Deprecated.
|
static <X> void |
visit(Operators.Visit<? super X> f,
Iterable<? extends X> c)
Deprecated.
|
static <X> Operators.MCons<X,?> |
zeroMCons()
Deprecated.
|
public static final Operators.Fun<Object,String> toString
public static final Operators.Fun<Object,Class<?>> getClass
public static final Operators.Fun<Object,Integer> hashCode
public static final Operators.ICons<String,StringBuffer> concat
public static <X,Y> List<Y> map(Operators.Fun<? super X,? extends Y> fun, Collection<? extends X> elems)
fun
- a function.elems
- a collection of input elements.public static <X,Y> Set<Y> map(Operators.Fun<? super X,? extends Y> fun, Set<? extends X> elems)
fun
- a function.elems
- a set of input elements.public static <X,Y,Z> Map<X,Z> map(Operators.Fun<? super Y,? extends Z> fun, Map<X,? extends Y> elems)
fun
- a function.elems
- a map of input elements.public static <X,Y> Collection<Y> virtualMap(Operators.Fun<? super X,? extends Y> fun, Collection<? extends X> elems)
fun
- a function.elems
- a collection of input elements.public static <X,Y,Z> Map<X,Z> virtualMap(Operators.Fun<? super Y,? extends Z> fun, Map<X,Y> elems)
fun
- a function.elems
- a map of input elements.public static <X,Y> Y fold(Operators.Cons<? super X,Y> f, Iterable<? extends X> c, Y state)
public static <X,Y> Y fold(Operators.ICons<? super X,Y> f, Iterable<? extends X> c)
public static <X> void visit(Operators.Visit<? super X> f, Iterable<? extends X> c)
public static <X,Y> boolean mfold(Operators.MCons<? super X,Y> f, Iterable<? extends X> c, Y state)
public static <X,Y> boolean mfold(Operators.MCons<? super X,Y> f, Iterable<? extends X> c)
public static <X,S> Collection<X> munfold(Operators.MProd<? extends X,S> f, S state)
public static <X,S> Collection<X> munfold(Operators.MProd<? extends X,S> f)
public static <X,S> Iterator<X> virtualMProd(Operators.MProd<? extends X,S> f, S state)
public static <X,S> Iterator<X> virtualMProd(Operators.MProd<? extends X,S> f)
public static <X> X find(Operators.Test<? super X> f, Collection<? extends X> c)
public static <X> boolean any(Operators.Test<? super X> f, Collection<? extends X> c)
public static <X> boolean all(Operators.Test<? super X> f, Collection<? extends X> c)
public static <X> Collection<X> filter(Operators.Test<? super X> f, Collection<? extends X> c)
public static <X> Set<X> filter(Operators.Test<? super X> f, Set<? extends X> c)
public static <X> SortedSet<X> filter(Operators.Test<? super X> f, SortedSet<X> c)
public static <X> Iterable<X> virtualFilter(Operators.Test<? super X> f, Iterable<? extends X> c)
public static <X> Iterator<X> virtualFilter(Operators.Test<? super X> f, Iterator<? extends X> i)
public static <X,Y> Collection<Y> comprehend(Operators.MultiFun<? super X,? extends Y> f, Collection<X> c)
public static <X,Y> Set<Y> comprehend(Operators.MultiFun<? super X,? extends Y> f, Set<X> c)
public static <X,Y> Iterable<Y> virtualComprehend(Operators.MultiFun<? super X,? extends Y> f, Iterable<X> c)
public static <X,Y> Iterator<Y> virtualComprehend(Operators.MultiFun<? super X,? extends Y> f, Iterator<X> i)
public static <X> boolean chain(Operators.Rel<? super X,? super X> rel, Collection<X> elems)
public static <X> boolean chain(Operators.Rel<? super X,? super X> rel, Iterator<X> i)
public static <X> boolean anyPair(Operators.Rel<? super X,? super X> rel, Set<X> elems)
public static <X> boolean allPairs(Operators.BinRel<? super X> rel, Set<X> elems)
public static <X> boolean allPairs(Operators.Rel<? super X,? super X> rel, Set<X> elems)
public static <X> Operators.Fun<X,X> identityFun()
public static <X> Operators.Fun<X,X> identityFun(Class<X> domain)
public static <X,Y> Operators.Fun<X,Y> constantFun(Y c)
public static <X,Y,Z> Operators.Fun<X,Z> compose(Operators.Fun<? super X,? extends Y> first, Operators.Fun<? super Y,? extends Z> second)
public static <X,Y> Operators.Cons<X,Y> identityCons()
public static <X,Y> Operators.Cons<X,Y> constantICons(Y state)
public static <X> Operators.Visit<X> identityVisit()
public static <X> Operators.MCons<X,?> zeroMCons()
public static <X> Operators.MCons<X,?> identityMCons()
public static <X> Operators.MProd<X,Iterator<X>> iteratorMProd()
public static <X> Operators.Test<X> constantTest(boolean c)
public static <X,Y> Operators.Rel<X,Y> emptyRel()
public static <X,Y> Operators.Rel<X,Y> allRel()
public static <X> Operators.BinRel<X> allBinRel()
public static <X> Operators.BinRel<X> equalsRel()
public static <X> Operators.MultiFun<X,X> toMultiFun(Operators.Fun<? super X,? extends X> f)
public static <X> Operators.MultiFun<X,X> toMultiFun(Operators.Test<? super X> f)
public static <X,Y> Operators.ICons<X,Y> toICons(Operators.Cons<? super X,Y> f, Y state)
public static <X,Y> Operators.MCons<X,Y> toMCons(Operators.Cons<? super X,Y> f)
public static <X,Y> Operators.Fun<X,Y> toFun(Operators.ICons<? super X,Y> f)
public static <X,Y> Operators.MCons<X,Y> toMCons(Operators.ICons<? super X,Y> f)
public static <X,Y> Operators.ICons<X,Y> toICons(Operators.MCons<? super X,Y> f)
public static <X> Operators.MCons<X,X> findMCons(Operators.Test<? super X> f)
public static <X> Operators.ICons<X,Boolean> anyICons(Operators.Test<? super X> f)
public static <X> Operators.ICons<X,Boolean> allICons(Operators.Test<? super X> f)
public static <X> Operators.Visit<X> toVisit(Operators.Fun<? super X,?> f)
public static <X> Operators.Test<X> toTest(Operators.Fun<? super X,Boolean> f)
public static <X,Y> Operators.Test<X> leftSection(Operators.Rel<X,Y> rel, Y right)
public static <X,Y> Operators.Test<Y> rightSection(Operators.Rel<X,Y> rel, X left)
public static <X,Y> Operators.Fun<X,Y> ifThenElse(Operators.Test<? super X> c, Operators.Fun<? super X,? extends Y> f, Operators.Fun<? super X,? extends Y> g)
public static <K,V> Operators.Fun<Map<K,V>,Map<V,Set<K>>> reverseMap()
public static <X> Operators.Test<X> not(Operators.Test<? super X> f)
public static <X> Operators.Test<X> anyTest(Operators.Test<? super X>... f)
public static <X> Operators.Test<X> allTests(Operators.Test<? super X>... f)
public static <X,Y> Operators.Rel<X,Y> not(Operators.Rel<? super X,? super Y> f)
public static <X,Y> Operators.Rel<X,Y> anyRel(Operators.Rel<? super X,? super Y>... f)
public static <X,Y> Operators.Rel<X,Y> allRels(Operators.Rel<? super X,? super Y>... f)
public static <X> Operators.BinRel<X> not(Operators.BinRel<? super X> f)
public static <X extends Comparable<? super X>> Operators.BinRel<X> lessThan()
<
, according to the natural
order on the domain type. This order is assumed to be consistent
with equals
.public static <X> Operators.BinRel<X> lessThan(Comparator<? super X> ord)
<
, according to the order on
the domain type defined by a given comparator. This order is
assumed to be consistent with equals
.ord
- a comparator defining the desired total order.public static <X extends Comparable<? super X>> Operators.BinRel<X> lessOrEqual()
<=
, according to the natural
order on the domain type. This order is assumed to be consistent
with equals
.public static <X> Operators.BinRel<X> lessOrEqual(Comparator<? super X> ord)
<=
, according to the order on
the domain type defined by a given comparator. This order is
assumed to be consistent with equals
.ord
- a comparator defining the desired total order.public static <X extends Comparable<? super X>> Operators.BinRel<X> greaterThan()
>
, according to the natural
order on the domain type. This order is assumed to be consistent
with equals
.public static <X> Operators.BinRel<X> greaterThan(Comparator<? super X> ord)
>
, according to the order on
the domain type defined by a given comparator. This order is
assumed to be consistent with equals
.ord
- a comparator defining the desired total order.public static <X extends Comparable<? super X>> Operators.BinRel<X> greaterOrEqual()
>=
, according to the natural
order on the domain type. This order is assumed to be consistent
with equals
.public static <X> Operators.BinRel<X> greaterOrEqual(Comparator<? super X> ord)
>=
, according to the order on
the domain type defined by a given comparator. This order is
assumed to be consistent with equals
.ord
- a comparator defining the desired total order.public static <X,Y> Operators.Fun<Collection<X>,Collection<Y>> map(Operators.Fun<? super X,? extends Y> fun)
public static <X,Y> Operators.Fun<Set<X>,Set<Y>> mapSet(Operators.Fun<? super X,? extends Y> fun)
public static <X,Y,Z> Operators.Fun<Map<X,Y>,Map<X,Z>> mapMap(Operators.Fun<? super Y,? extends Z> fun)
public static <X> Operators.Fun<Set<X>,Set<Set<X>>> binomial(int k)
public static <X> Operators.Fun<Set<X>,Set<Set<X>>> power()
public static <X> Operators.Test<Collection<X>> anyElem(Operators.Test<? super X> f)
public static <X> Operators.Test<Collection<X>> allElems(Operators.Test<? super X> f)
public static <X,S> Operators.Cons<Collection<X>,S> fold(Operators.Cons<? super X,S> f)
public static <T,S> Operators.Fun<Collection<T>,S> fold(Operators.ICons<? super T,S> f)
public static <X,S> Operators.MCons<Collection<X>,S> mfold(Operators.MCons<X,S> f)
public static <X> Operators.Test<Collection<X>> chain(Operators.BinRel<? super X> rel)
public static <X> Operators.Test<Set<X>> anyPair(Operators.BinRel<? super X> rel)
public static <X> Operators.Test<Set<X>> allPairs(Operators.BinRel<? super X> rel)
public static <X> Operators.Test<Set<X>> allPairs(Operators.Rel<? super X,? super X> rel)
public static <X,Y,Z> Operators.Cons<X,Z> compose(Operators.Fun<? super X,? extends Y> f, Operators.Cons<? super Y,Z> g)
public static <X,Y,Z> Operators.ICons<X,Z> compose(Operators.Fun<? super X,? extends Y> f, Operators.ICons<? super Y,Z> g)
public static <X,Y> Operators.Visit<X> compose(Operators.Fun<? super X,? extends Y> f, Operators.Visit<? super Y> g)
public static <X,Y,Z> Operators.MCons<X,Z> compose(Operators.Fun<? super X,? extends Y> f, Operators.MCons<? super Y,Z> g)
public static <X,Y,Z> Operators.MProd<Z,Y> compose(Operators.MProd<? extends X,Y> f, Operators.Fun<? super X,? extends Z> g)
public static <X> Operators.Test<X> guard(Operators.Test<? super X> f, Operators.Test<? super X> g)
public static <X,Y> Operators.Cons<X,Y> guard(Operators.Test<? super X> f, Operators.Cons<? super X,Y> g)
public static <X,Y> Operators.ICons<X,Y> guard(Operators.Test<? super X> f, Operators.ICons<? super X,Y> g)
public static <X> Operators.Visit<X> guard(Operators.Test<? super X> f, Operators.Visit<? super X> g)
public static <X,Y> Operators.MCons<X,Y> guard(Operators.Test<? super X> f, Operators.MCons<? super X,Y> g)
public static <X,Y> Operators.MProd<X,Y> guard(Operators.MProd<? extends X,Y> f, Operators.Test<? super X> g)
public static <X,Y> Operators.Test<X> compose(Operators.Fun<? super X,? extends Y> f, Operators.Test<Y> g)
public static <L1,L2,R1,R2> Operators.Rel<L1,R1> compose(Operators.Fun<? super L1,? extends L2> f, Operators.Fun<? super R1,? extends R2> g, Operators.Rel<L2,R2> h)
public static <X,Y> Operators.BinRel<X> compose(Operators.Fun<? super X,? extends Y> f, Operators.BinRel<Y> g)
public static <X> Operators.BinRel<X> kernel(Operators.Fun<X,?> f)
public static Operators.ICons<String,StringBuffer> concat(String separator)
public static Operators.Fun<Collection<?>,String> enumerate(String sep)
see also the complete user documentation .