/**
  * interfaccia Set
  * ADT Insieme
  * @author M. Dalpasso modificato da A. Luchetta
  * @version 2-Dic-2006
  */
public interface Set extends Container
{
   /**
      verifica se l'elemento specificato e' presente nell'insieme
      @param x l'elemento su cui effettuare la verifica
      @return true se l'elemento e' contenuto nell'insieme,
      false altrimenti
   */
   boolean contains(Object x);
   
   /**
      inserisce nell'insieme l'elemento specificato, se non gia'
      presente. Se l'elemento e' gia' presente il metodo termina
      "silenziosamente"
      @param x l'elemento da inserire
   */
   void add(Object x);
   
   /**
      ispeziona gli elementi dell'insieme.
      @return array di dimensione pari al numero di elementi
      dell'insieme contenente i riferimenti agli elementi dell'insieme
   */
   Object[] toArray();
}