1 /* Output from LCLint 3.0.0.13 */
7 extern /*@only@*/ empset empset_create (void);
8 extern void empset_final (/*@only@*/ empset /* s */);
9 extern void empset_clear (empset /* s */);
10 extern bool /*@alt void@*/ empset_insert (empset /* s */, employee /* e */);
11 extern void empset_insertUnique (empset /* s */, employee /* e */);
12 extern bool /*@alt void@*/ empset_delete (empset /* s */, employee /* e */);
13 extern /*@only@*/ empset empset_union (empset /* s1 */, empset /* s2 */);
14 extern /*@only@*/ empset empset_disjointUnion (empset /* s1 */, empset /* s2 */);
15 extern void empset_intersect (empset /* s1 */, empset /* s2 */);
16 extern int empset_size (empset /* s */);
17 extern bool empset_member (employee /* e */, empset /* s */);
18 extern bool empset_subset (empset /* s1 */, empset /* s2 */);
19 extern employee empset_choose (empset /* s */);
20 extern /*@only@*/ char *empset_sprint (empset /* s */);
21 extern void empset_initMod (void);