eu.bandm.tools.ops

Class EquivalenceRelation<A>

java.lang.Object

eu.bandm.tools.ops.EquivalenceRelation<A>

All Implemented Interfaces:

Relation<A,A>, Serializable

public class EquivalenceRelation<A>
extends Object
implements Relation<A,A>, Serializable

Finite partial equivalence relations modulo equals, implemented as union-find trees.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
EquivalenceRelation()

Method Summary

Modifier and Type	Method and Description
boolean	add(A x)
boolean	addAll(Collection<? extends A> xs)
boolean	addAndUnion(A x, A y)
Set<A>	classOf(A x)
Set<A>	domain()
A	find(A x)
boolean	relates(A x, A y)
boolean	remove(A x)
String	toString()
boolean	union(A x, A y)

Methods inherited from class java.lang.Object

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

Constructor Detail

EquivalenceRelation

public EquivalenceRelation()

Method Detail

domain

public Set<A> domain()

relates

public boolean relates(A x,
                       A y)

Specified by:

relates in interface Relation<A,A>

find

public A find(A x)

add

public boolean add(A x)

addAll

public final boolean addAll(Collection<? extends A> xs)

union

public boolean union(A x,
                     A y)

addAndUnion

public boolean addAndUnion(A x,
                           A y)

remove

public boolean remove(A x)

classOf

public Set<A> classOf(A x)

toString

public String toString()

Overrides:

toString in class Object