/* Specifikacija za skup (Collection) */

typedef struct t_Collection *Collection;

Collection ConsCollection( int max_items, int item_size );
/* Kreiraj novi skup
   Pre-uslov: max_items > 0
   Post-uslov: vraca pointer na prazan skup
*/

void AddToCollection( Collection c, void *item );
/* Dodaje objekat u skup
   Pre-uslov: (c je skup kreiran pozivom ConsCollection) &&
              (postojeci broj objekata u c < max_items) &&
              (item != NULL)
   Post-uslov: objekat je dodat u skup c
*/

void DeleteFromCollection( Collection c, void *item );
/* Brise objekat iz skupa
   Pre-uslov: (c je skup kreiran pozivom ConsCollection) &&
              (postojeci broj objekata u c >= 1) &&
         	  (item != NULL)
   Post-uslov: objekat je obrisan iz c
*/

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