empset.lh

empset.lh

/* Output from LCLint 2.1a */
 
#include "bool.h"
#include "employee.h"
 
 
extern empset empset_create (void);
extern void empset_final (empset s);
extern void empset_clear (empset s);
extern bool empset_insert (empset s, employee e);
extern void empset_insertUnique (empset s, employee e);
extern bool empset_delete (empset s, employee e);
extern empset empset_union (empset s1, empset s2);
extern empset empset_disjointUnion (empset s1, empset s2);
extern void empset_intersect (empset s1, empset s2);
extern int empset_size (empset s);
extern bool empset_member (employee e, empset s);
extern bool empset_subset (empset s1, empset s2);
extern employee empset_choose (empset s);
extern char *empset_sprint (empset s);
extern void empset_initMod (void);

Return LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu