eu.bandm.tools.ops

Class Relations

java.lang.Object

eu.bandm.tools.ops.Relations

public abstract class Relations
extends Object

Method Summary

Modifier and Type	Method and Description
static <A,B> Relation<A,B>	all()
static <A,B> Relation<A,B>	complement(Relation<? super A,? super B> r)
static <A,B> Relation<Collection<? extends A>,Collection<? extends B>>	cover(Relation<A,B> rel)
static <A,B> Relation<A,B>	eq()
static <A extends Comparable<? super A>> Relation<A,A>	equal()
static <A> Relation<A,A>	equal(Comparator<? super A> order)
static <A,B> Relation<A,B>	equals()
static <A,B> Relation<A,B>	equalsOrNull()
static <A extends Comparable<? super A>> Relation<A,A>	greater()
static <A> Relation<A,A>	greater(Comparator<? super A> order)
static <A extends Comparable<? super A>> Relation<A,A>	greaterOrEqual()
static <A> Relation<A,A>	greaterOrEqual(Comparator<? super A> order)
static <A,B> Relation<A,B>	intersection(Collection<? extends Relation<? super A,? super B>> rels)
static <A,B> Relation<B,A>	inverse(Relation<? super A,? super B> r)
static <A,B> BiFunction<Function<? super A,? extends B>,Relation<? super B,? super B>,Relation<A,A>>	kernel()
static <A,B,C,D> Relation<A,C>	kernel(Function<? super A,? extends B> f, Function<? super C,? extends D> g, Relation<? super B,? super D> r)
static <A,B> Relation<A,A>	kernel(Function<? super A,? extends B> f, Relation<? super B,? super B> r)
static <A extends Comparable<? super A>> Relation<A,A>	less()
static <A> Relation<A,A>	less(Comparator<? super A> c)
static <A extends Comparable<? super A>> Relation<A,A>	lessOrEqual()
static <A> Relation<A,A>	lessOrEqual(Comparator<? super A> c)
static <A,B> Relation<A,B>	none()
static <A,B> Relation<A,B>	union(Collection<? extends Relation<? super A,? super B>> rels)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

all

public static <A,B> Relation<A,B> all()

none

public static <A,B> Relation<A,B> none()

eq

public static <A,B> Relation<A,B> eq()

equals

public static <A,B> Relation<A,B> equals()

equalsOrNull

public static <A,B> Relation<A,B> equalsOrNull()

lessOrEqual

public static <A> Relation<A,A> lessOrEqual(Comparator<? super A> c)

lessOrEqual

public static <A extends Comparable<? super A>> Relation<A,A> lessOrEqual()

less

public static <A> Relation<A,A> less(Comparator<? super A> c)

less

public static <A extends Comparable<? super A>> Relation<A,A> less()

equal

public static <A extends Comparable<? super A>> Relation<A,A> equal()

greater

public static <A extends Comparable<? super A>> Relation<A,A> greater()

greaterOrEqual

public static <A extends Comparable<? super A>> Relation<A,A> greaterOrEqual()

greaterOrEqual

public static <A> Relation<A,A> greaterOrEqual(Comparator<? super A> order)

greater

public static <A> Relation<A,A> greater(Comparator<? super A> order)

equal

public static <A> Relation<A,A> equal(Comparator<? super A> order)

inverse

public static <A,B> Relation<B,A> inverse(Relation<? super A,? super B> r)

complement

public static <A,B> Relation<A,B> complement(Relation<? super A,? super B> r)

kernel

public static <A,B,C,D> Relation<A,C> kernel(Function<? super A,? extends B> f,
                                             Function<? super C,? extends D> g,
                                             Relation<? super B,? super D> r)

kernel

public static <A,B> Relation<A,A> kernel(Function<? super A,? extends B> f,
                                         Relation<? super B,? super B> r)

kernel

public static <A,B> BiFunction<Function<? super A,? extends B>,Relation<? super B,? super B>,Relation<A,A>> kernel()

cover

public static <A,B> Relation<Collection<? extends A>,Collection<? extends B>> cover(Relation<A,B> rel)

union

public static <A,B> Relation<A,B> union(Collection<? extends Relation<? super A,? super B>> rels)

intersection

public static <A,B> Relation<A,B> intersection(Collection<? extends Relation<? super A,? super B>> rels)