erc.lh
erc.lh
/* Output from LCLint 2.1a */
#include "bool.h"
#include "eref.h"
extern erc erc_create (void);
extern void erc_clear (erc c);
extern void erc_insert (erc c, eref er);
extern bool erc_delete (erc c, eref er);
extern bool erc_member (eref er, erc c);
extern eref erc_choose (erc c);
extern int erc_size (erc c);
extern ercIter erc_iterStart (erc c);
extern eref erc_yield (ercIter it);
extern void erc_iterFinal (ercIter it);
extern void erc_join (erc c1, erc c2);
extern char *erc_sprint (erc c);
extern void erc_final (erc c);
extern void erc_initMod (void);
David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu