/* Specifikacija skupa koji sadrzi samo jedinstvene objekte
   Pretpostavlja se da objekti koje skup sadrzi imaju ItemKey metod
   koji vraca pointer na identifikacioni kljuc objekta
*/

typedef struct u_collection_struct *u_collection;

u_collection ConsUCollection( int max_items );
/* Kreira novi skup
   Pre-uslov: max_items > 0
   Post-uslov: vraca pointer na prazan skup
*/

void AddToUCollection( u_collection c, void *item );
/* Dodaje objekat u skup
   Pre-uslov:
       (c je skup kreiran pozivom ConsCollection) &&
       (item != NULL) &&
       (FindInUCollection(c,ItemKey(item))==NULL)
   Post-uslov:
       FindInUCollection(c,ItemKey(item)) != NULL
*/

void DeleteFromUCollection( u_collection c, void *item );
/* Brise objekat iz skupa
   Pre-uslov:
       (c je skup kreiran pozivom ConsCollection) &&
       (item != NULL) &&
       (FindInUCollection(c,ItemKey(item)) != NULL)
   Post-uslov:
       FindInUCollection(c,ItemKey(item)) == NULL
*/

void *FindInUCollection( u_collection c, void *key );
/* Trazi objekat u skupu
   Pre-uslov:
       (c je skup kreiran pozivom ConsCollection) &&
       (key != NULL)
   Post-uslov: vraca objekat identifikovan kljucem ako takav postoji,
               u suprotnom vraca NULL
*/