| 11db3170 |
1 | /* Output from Splint 3.0.0.20 */ |
| 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); |
andersk / splint.git / blame