]>
Commit | Line | Data |
---|---|---|
11db3170 | 1 | /* Output from Splint 3.0.0.20 */ |
885824d3 | 2 | |
3 | # include "bool.h" | |
4 | # include "eref.h" | |
5 | ||
6 | ||
7 | extern erc erc_create (void); | |
8 | extern void erc_clear (erc /* c */); | |
9 | extern void erc_insert (erc /* c */, eref /* er */); | |
10 | extern bool /*@alt void@*/ erc_delete (erc /* c */, eref /* er */); | |
11 | extern bool erc_member (eref /* er */, erc /* c */); | |
12 | extern eref erc_choose (erc /* c */); | |
13 | extern int erc_size (erc /* c */); | |
14 | extern void erc_join (erc /* c1 */, erc /* c2 */); | |
15 | extern char *erc_sprint (erc /* c */); | |
16 | extern void erc_final (erc /* c */); | |
17 | extern void erc_initMod (void); |