Package eu.bandm.tools.ops

Class EquivalenceRelation<A>

java.lang.Object

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

All Implemented Interfaces:

Serializable, BiPredicate<A,A>

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

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

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
EquivalenceRelation()

Method Summary

Modifier and Type	Method	Description
boolean	add(A x)
final boolean	addAll(Collection<? extends A> xs)
boolean	addAndUnion(A x, A y)
Set<A>	classOf(A x)	DOCME
Set<A>	domain()
A	find(A x)
boolean	remove(A x)
boolean	test(A x, A y)
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

Methods inherited from interface java.util.function.BiPredicate

and, negate, or

Constructor Details

EquivalenceRelation

public EquivalenceRelation()

Method Details

domain

public Set<A> domain()

test

public boolean test(A x,
 A y)

Specified by:

test in interface BiPredicate<A,A>

find

@Opt
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)

DOCME

Parameters:

x - must be in the domain of the graph.

Throws:

IllegalArgumentException - if x is not in the domain of the graph

toString

public String toString()

Overrides:

toString in class Object