Files

26 lines
532 B
Java
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
package partition;
import set.Set;
/**
* Created with xgiovio.macbookair.
* User: xgiovio
* Date: 19/05/14
* Time: 14:24
*/
public interface Partition <E> {
public int size();
public boolean isEmpty();
// Restituisce linsieme contenente il solo elemento x
public Set<E> makeSet(E x) ;
// Restituisce lunione di A e B, distruggendo i vecchi insiemi A e B
public Set <E>union(Set<E> A, Set<E> B) ;
// restituisce linsieme che contiene lelemento x
public Set <E> find(E x) ;
}