/* Specifikacija za skup */ typedef struct t_collection *collection; collection ConsCollection( int max_items, int (*ItemCmp)(void *, void *) ); /* 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 */