Lines Matching refs:empset

2 mutable type empset;
4 empset empset_create(void) 
9 void empset_final(empset s) 
15 void empset_clear(empset s) 
21 | bool : void | empset_insert(empset s, employee e) 
27 void empset_insertUnique(empset s, employee e) 
34 | bool : void | empset_delete(empset s, employee e) 
40 empset empset_union(empset s1, empset s2) 
45 empset empset_disjointUnion(empset s1, empset s2) 
51 void empset_intersect(empset s1, empset s2) 
57 int empset_size(empset s) 
62 bool empset_member(employee e, empset s) 
67 bool empset_subset(empset s1, empset s2) 
72 employee empset_choose(empset s) 
78 char *empset_sprint(empset s) 
89 iter empset_elements (empset s, yield employee x);