InutitionTC
0.30
|
Finite sets with union operation. More...
Go to the source code of this file.
Data Structures | |
struct | nameSet |
The representation of the set that holds strings. More... | |
Macros | |
#define | INITIAL_SIZE 1024 |
Typedefs | |
typedef struct nameSet | nameSet |
The representation of the set that holds strings. More... | |
Functions | |
nameSet * | unionSet (nameSet *s1, nameSet *s2) |
nameSet * | unionSetFreeShallow (nameSet *s1, nameSet *s2) |
Name | minusSet (nameSet *s, Name elem) |
nameSet * | addSet (nameSet *s, Name elem) |
nameSet * | createSet () |
nameSet * | singletonSet (Name elem) |
void | freeSetShallow (nameSet *s) |
void | freeSetDeep (nameSet *s) |
int | isIn (nameSet *s, Name elem) |
Finite sets with union operation.