Uses of Interface
eu.bandm.tools.ops.Relation

Packages that use Relation

Package	Description
eu.bandm.tools.message	Messages and positions in documents, cf user documentation.
eu.bandm.tools.ops
eu.bandm.tools.tpath.runtime	Infrastructure for evaluating tpath expressions.
eu.bandm.tools.umod.runtime	Runtime classes for the model code generated by the umod-Compiler, esp for data integrity de/serialization, visualzation, visitors and rewriters.

Uses of Relation in eu.bandm.tools.message

Fields in eu.bandm.tools.message declared as Relation

Modifier and Type	Field and Description
static Relation<Location<?>,Location<?>>	Location.eq Realizes algebraic identiy.

Methods in eu.bandm.tools.message that return Relation

Modifier and Type	Method and Description
static Relation<Location<?>,Location<?>>	Location.comparable()

Uses of Relation in eu.bandm.tools.ops

Subinterfaces of Relation in eu.bandm.tools.ops

Modifier and Type	Interface and Description
interface	Multimap<A,B> A finite set of pairs.
interface	SortedMultimap<A,B>

Classes in eu.bandm.tools.ops that implement Relation

Modifier and Type	Class and Description
class	AbstractMultimap<A,B>
class	EquivalenceRelation<A> Finite partial equivalence relations modulo equals, implemented as union-find trees.
class	ForwardMultimap<A,B>
class	HashMultimap<A,B>
class	IndexMultimap<A,B>
class	MapMultimap<A,B>
class	ReflectedRelation<D,R>

Methods in eu.bandm.tools.ops that return Relation

Modifier and Type	Method and Description
static <A,B> Relation<A,B>	Relations.all()
static <A,B> Relation<A,B>	Relations.complement(Relation<? super A,? super B> r)
static <A,B> Relation<Collection<? extends A>,Collection<? extends B>>	Relations.cover(Relation<A,B> rel)
static <A,B> Relation<A,B>	Relations.eq()
static <A extends Comparable<? super A>> Relation<A,A>	Relations.equal()
static <A> Relation<A,A>	Relations.equal(Comparator<? super A> order)
static <A,B> Relation<A,B>	Relations.equals()
static <A,B> Relation<A,B>	Relations.equalsOrNull()
static <A extends Comparable<? super A>> Relation<A,A>	Relations.greater()
static <A> Relation<A,A>	Relations.greater(Comparator<? super A> order)
static <A extends Comparable<? super A>> Relation<A,A>	Relations.greaterOrEqual()
static <A> Relation<A,A>	Relations.greaterOrEqual(Comparator<? super A> order)
<B extends Comparable<? super B>> Relation<Interval<B>,Interval<B>>	IntervalRelation.instantiate()
<B extends Comparable<? super B>> Relation<Interval<B>,Interval<B>>	IntervalRelation.Base.instantiate()
<B> Relation<Interval<B>,Interval<B>>	IntervalRelation.instantiate(Comparator<? super B> order)
<B> Relation<Interval<B>,Interval<B>>	IntervalRelation.Base.instantiate(Comparator<? super B> order)
static <A,B> Relation<A,B>	Relations.intersection(Collection<? extends Relation<? super A,? super B>> rels)
static <A,B> Relation<B,A>	Relations.inverse(Relation<? super A,? super B> r)
static <A,B,C,D> Relation<A,C>	Relations.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>	Relations.kernel(Function<? super A,? extends B> f, Relation<? super B,? super B> r)
static <A extends Comparable<? super A>> Relation<A,A>	Relations.less()
static <A> Relation<A,A>	Relations.less(Comparator<? super A> c)
static <A extends Comparable<? super A>> Relation<A,A>	Relations.lessOrEqual()
static <A> Relation<A,A>	Relations.lessOrEqual(Comparator<? super A> c)
static <A,B> Relation<A,B>	Relations.none()
static <A,B> Relation<A,B>	Relations.union(Collection<? extends Relation<? super A,? super B>> rels)

Methods in eu.bandm.tools.ops that return types with arguments of type Relation

Modifier and Type	Method and Description
static <B extends Comparable<? super B>> Function<IntervalRelation.Base,Relation<Interval<B>,Interval<B>>>	IntervalRelation.Base.instantiateFun()
static <B> Function<IntervalRelation.Base,Relation<Interval<B>,Interval<B>>>	IntervalRelation.Base.instantiateFun(Comparator<? super B> order)
static <A,B> BiFunction<Function<? super A,? extends B>,Relation<? super B,? super B>,Relation<A,A>>	Relations.kernel()
static <A,B> BiFunction<Function<? super A,? extends B>,Relation<? super B,? super B>,Relation<A,A>>	Relations.kernel()

Methods in eu.bandm.tools.ops with parameters of type Relation

Modifier and Type	Method and Description
static <A,B> boolean	Iterables.allZip(Relation<? super A,? super B> rel, Iterable<? extends A> left, Iterable<? extends B> right)
static <A,B> boolean	Iterables.anyZip(Relation<? super A,? super B> rel, Iterable<? extends A> left, Iterable<? extends B> right)
static <A,B> Relation<A,B>	Relations.complement(Relation<? super A,? super B> r)
static <A,B> Relation<Collection<? extends A>,Collection<? extends B>>	Relations.cover(Relation<A,B> rel)
static <A,B> Iterable<A>	Iterables.filterWithConstraint(Relation<? super A,? super B> rel, Iterable<A> things, Iterable<B> constraints)
static <A,B> Iterator<A>	Iterators.filterWithConstraint(Relation<? super A,? super B> rel, Iterator<A> things, Iterator<B> constraints)
static <A,B> Relation<B,A>	Relations.inverse(Relation<? super A,? super B> r)
static <A,B,C,D> Relation<A,C>	Relations.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>	Relations.kernel(Function<? super A,? extends B> f, Relation<? super B,? super B> r)
protected boolean	Trie.Evaluator.leq(Relation<? super V,? super V> valueLeq, Trie.Node<K,V> x, Trie.Node<K,V> y)
boolean	Trie.Evaluator.leq(Relation<? super V,? super V> valueLeq, Trie<K,V> x, Trie<K,V> y)
static <A,B> Multimap<A,B>	Multimaps.slice(Relation<A,B> r, Set<? extends A> dom, Set<? extends B> ran)

Method parameters in eu.bandm.tools.ops with type arguments of type Relation

Modifier and Type	Method and Description
static <A,B> Relation<A,B>	Relations.intersection(Collection<? extends Relation<? super A,? super B>> rels)
static <A,B> Relation<A,B>	Relations.union(Collection<? extends Relation<? super A,? super B>> rels)

Uses of Relation in eu.bandm.tools.tpath.runtime

Methods in eu.bandm.tools.tpath.runtime with parameters of type Relation

Modifier and Type	Method and Description
<C> NodeSet<N>	NodeSet.filterWithConstraint(Relation<? super N,? super C> rel, Iterable<? extends C> constraints)

Uses of Relation in eu.bandm.tools.umod.runtime

Subinterfaces of Relation in eu.bandm.tools.umod.runtime

Modifier and Type	Interface and Description
interface	Multimap_checkedLeft<L,R> Requires "Multimap" operations and strictness of the left side.
interface	Multimap_checkedRight<L,R> Requires "Multimap" operations and strictness of the right side.

Classes in eu.bandm.tools.umod.runtime that implement Relation

Modifier and Type	Class and Description
class	CheckedMultimap_D<D,R> Implements a multi map which is strict in its domain, i.e.
class	CheckedMultimap_R<D,R> Implements a multi map which is strict in its range, i.e.
class	CheckedMultimap_RD<D,R> Implements a multi map which is strict in its domain and its range, i.e.