
Go to the source code of this file.
Functions | |
| BV_Set * | makeSet (int *list, int size, int max) |
| BV_Set * | makeEmptySet (int max) |
| void | destroySet (BV_Set *set) |
| void | bvset_insert (BV_Set *s, int value) |
| int | bvset_find (BV_Set *s, int value) |
| int | bvset_size (BV_Set *s) |
| void | bvset_enumerate (BV_Set *s, int **list, int *size) |
1.5.5