]>
Commit | Line | Data |
---|---|---|
cc78dedd | 1 | /* Output from LCLint 2.5p */ |
885824d3 | 2 | |
3 | # include "bool.h" | |
4 | # include "employee.h" | |
5 | ||
6 | ||
7 | extern empset empset_create (void); | |
8 | extern void empset_final (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 empset empset_union (empset /* s1 */, empset /* s2 */); | |
14 | extern 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 char *empset_sprint (empset /* s */); | |
21 | extern void empset_initMod (void); |