fr.lirmm.graphik.util

Class Partition<E>

java.lang.Object

fr.lirmm.graphik.util.Partition<E>

All Implemented Interfaces:

Iterable<ArrayList<E>>

public class Partition<E>
extends Object
implements Iterable<ArrayList<E>>

A partition of terms. A partition can be associated with a substition : two terms are in the same class if one is the image of the other ex: the partition associated with {(a,b)(c,b)(d,e)(e,f)} is {{a,b,c}{d,e,f}}

Field Summary

Fields

Modifier and Type	Field and Description
protected List<ArrayList<E>>	partition

Constructor Summary

Constructors

Constructor and Description
Partition()
Partition(List<E> list1, List<E> list2) Create a partition based on the position of elements in the two lists.
Partition(Partition<E> partition) Copy constructor

Method Summary

Modifier and Type	Method and Description
void	add(E t, E im) Add the couple to the partition
void	addClass(ArrayList<E> toAdd)
boolean	equals(Object obj)
ArrayList<E>	getClass(E e)
E	getRepresentant(E e)
int	hashCode()
Iterator<ArrayList<E>>	iterator()
Partition<E>	join(Partition<E> p) Return the join of this and the given partition p the join of two partition is obtained by making the union of their non-disjoint classes until stability ex: the join of {{a,b,c},{d,e}} and {{e,g},{k,l}} is {{a,b,c},{d,e,g},{k,l}}
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Field Detail

partition

protected List<ArrayList<E>> partition

Constructor Detail

Partition

public Partition()

Partition

public Partition(Partition<E> partition)

Copy constructor

Parameters:

partition -

Partition

public Partition(List<E> list1,
                 List<E> list2)

Create a partition based on the position of elements in the two lists.

Parameters:

list1 -

list2 -

Method Detail

getRepresentant

public E getRepresentant(E e)

getClass

public ArrayList<E> getClass(E e)

add

public void add(E t,
                E im)

Add the couple to the partition

addClass

public void addClass(ArrayList<E> toAdd)

Parameters:

toAdd - (const)

join

public Partition<E> join(Partition<E> p)

Return the join of this and the given partition p the join of two partition is obtained by making the union of their non-disjoint classes until stability ex: the join of {{a,b,c},{d,e}} and {{e,g},{k,l}} is {{a,b,c},{d,e,g},{k,l}}

iterator

public Iterator<ArrayList<E>> iterator()

Specified by:

iterator in interface Iterable<ArrayList<E>>

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object