jjdh API

dh.java.math.algebra.structure.relation
Class Relations

java.lang.Object
  extended by dh.java.math.algebra.structure.relation.Relations

public class Relations
extends Object


Field Summary
private static EquivalenceRelation EQUAL_CLASS
          The equivalence relation 'equal class' (immutable).
private static EquivalenceRelation EQUAL_HASH_CODE
          The equivalence relation 'equal hash code' (immutable).
private static EquivalenceRelation EQUALITY
          The equivalence relation 'equality' (immutable).
 
Constructor Summary
private Relations()
           
 
Method Summary
static
<S> Relation<S>
and(Collection<Relation<? super S>> relations)
           
static
<S> Relation<S>
and(Relation<? super S>... relations)
           
private static
<S> Relation<S>
binary(Collection<Relation<? super S>> relations, boolean related)
           
static
<S> EquivalenceRelation<S>
equalClass()
          Returns the equivalence relation 'equal class'.
static
<S> EquivalenceRelation<S>
equalHashCode()
          Returns the equivalence relation 'equal hash code'.
static
<S> EquivalenceRelation<S>
equality()
          Returns the equivalence relation 'equality'.
static
<E> GrowingPartition<E>
getPartition(Collection<? extends E> collection, Comparator<? super E> comparator, boolean implicitGrow)
           
static
<E> GrowingPartition<E>
getPartition(Collection<E> collection, Comparator<? super E> comparator)
           
static
<E> GrowingPartition<E>
getPartition(Collection<E> collection, EquivalenceRelation<? super E> relation)
           
static
<E> GrowingPartition<E>
getPartition(Collection<E> collection, EquivalenceRelation<? super E> relation, boolean implicitGrow)
           
static
<E> GrowingPartition<E>
getPartition(Comparator<? super E> comparator)
           
static
<E> GrowingPartition<E>
getPartition(Comparator<? super E> comparator, boolean implicitGrow)
           
static
<E> GrowingPartition<E>
getPartition(EquivalenceRelation<? super E> relation)
           
static
<E> GrowingPartition<E>
getPartition(EquivalenceRelation<? super E> relation, boolean implicitGrow)
           
static
<S> Relation<S>
not(Relation<? super S> relation)
           
static
<S> Relation<S>
or(Collection<Relation<? super S>> relations)
           
static
<S> Relation<S>
or(Relation<? super S>... relations)
           
static
<S> EquivalenceRelation<S>
wrap(Comparator<? super S> comparator)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

EQUALITY

private static final EquivalenceRelation EQUALITY
The equivalence relation 'equality' (immutable).

See Also:
Object.equals(java.lang.Object), equality()

EQUAL_HASH_CODE

private static final EquivalenceRelation EQUAL_HASH_CODE
The equivalence relation 'equal hash code' (immutable).

See Also:
Object.hashCode(), equalHashCode()

EQUAL_CLASS

private static final EquivalenceRelation EQUAL_CLASS
The equivalence relation 'equal class' (immutable).

See Also:
Object.getClass(), Object.equals(java.lang.Object), equalClass()
Constructor Detail

Relations

private Relations()
Method Detail

equality

public static final <S> EquivalenceRelation<S> equality()
Returns the equivalence relation 'equality'. Although this method is type-safe, the implementation of this method will not create a separate EquivalenceRelation object for each call.

See Also:
EQUALITY

equalHashCode

public static final <S> EquivalenceRelation<S> equalHashCode()
Returns the equivalence relation 'equal hash code'. Although this method is type-safe, the implementation of this method will not create a separate EquivalenceRelation object for each call.

See Also:
EQUAL_HASH_CODE

equalClass

public static final <S> EquivalenceRelation<S> equalClass()
Returns the equivalence relation 'equal class'. Although this method is type-safe, the implementation of this method will not create a separate EquivalenceRelation object for each call.

See Also:
EQUAL_CLASS

wrap

public static <S> EquivalenceRelation<S> wrap(Comparator<? super S> comparator)

not

public static <S> Relation<S> not(Relation<? super S> relation)

and

public static <S> Relation<S> and(Relation<? super S>... relations)

and

public static <S> Relation<S> and(Collection<Relation<? super S>> relations)

or

public static <S> Relation<S> or(Relation<? super S>... relations)

or

public static <S> Relation<S> or(Collection<Relation<? super S>> relations)

binary

private static <S> Relation<S> binary(Collection<Relation<? super S>> relations,
                                      boolean related)

getPartition

public static <E> GrowingPartition<E> getPartition(Comparator<? super E> comparator,
                                                   boolean implicitGrow)

getPartition

public static <E> GrowingPartition<E> getPartition(Collection<? extends E> collection,
                                                   Comparator<? super E> comparator,
                                                   boolean implicitGrow)

getPartition

public static <E> GrowingPartition<E> getPartition(Comparator<? super E> comparator)

getPartition

public static <E> GrowingPartition<E> getPartition(Collection<E> collection,
                                                   Comparator<? super E> comparator)

getPartition

public static <E> GrowingPartition<E> getPartition(EquivalenceRelation<? super E> relation,
                                                   boolean implicitGrow)

getPartition

public static <E> GrowingPartition<E> getPartition(Collection<E> collection,
                                                   EquivalenceRelation<? super E> relation,
                                                   boolean implicitGrow)

getPartition

public static <E> GrowingPartition<E> getPartition(EquivalenceRelation<? super E> relation)

getPartition

public static <E> GrowingPartition<E> getPartition(Collection<E> collection,
                                                   EquivalenceRelation<? super E> relation)

jjdh API

Copyright © 2006 Jonas Jacobi and Dennis Heidsiek. All Rights Reserved.