// DoubleSetFile.java SJ


public interface DoubleSetFile
{

    /**
     * Lisää joukkoon liukuluvun x jollei sitä ole siellä ennestään.
     * @param x lisättävä piste.
     * @return true jos lisäys tehtiin, false jos x oli jo joukossa.
     * @throws java.nio.BufferOverflowException jos hajautustaulu on liian täynnä.
     */
    public boolean add(Double x);


    /**
     * Palauttaa tiedon onko luku x joukossa vai ei.
     * @param x tarkasteltava liukuluku
     * @return true jos x on joukossa, muuten false
     */
    public boolean contains(Double x);


    /**
     * Sulkee tiedoston kun joukon käyttö lopetetaan.
     */
    public void close();

}