source:
vis_dev/vl2mv-2.3/src/set/set.h
@
65
| Last change on this file since 65 was 18, checked in by , 14 years ago | |
|---|---|
| File size: 377 bytes | |
| Line | |
|---|---|
| 1 | #define set_t st_table |
| 2 | |
| 3 | EXTERN set_t *set_empty ARGS(()); |
| 4 | EXTERN set_t *set_add ARGS((char*, set_t*)); |
| 5 | EXTERN set_t *set_dup ARGS((set_t*)); |
| 6 | EXTERN set_t *set_eliminate ARGS((char*, set_t*)); |
| 7 | EXTERN int set_find ARGS((char*, set_t*)); |
| 8 | EXTERN set_t *set_union ARGS((set_t*, set_t*)); |
| 9 | EXTERN set_t *set_intersect ARGS((set_t*, set_t*)); |
| 10 | EXTERN void set_destroy ARGS((set_t*)); |
Note: See TracBrowser
for help on using the repository browser.
![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png)