18 #define INITIAL_SIZE 1024
85 void freeSetShallow(
nameSet* s);
The representation of the set that holds strings.
Definition: vars_set.h:26
int size
The size of the allocated area in which set elements can be stored.
Definition: vars_set.h:29
Definitions of the base structures that represent the formulas and proofs.
Name * vals
The array in which the elements of the set can be stored.
Definition: vars_set.h:31
char * Name
The type to structurally represent identifier names.
Definition: checker.h:46
struct nameSet nameSet
The representation of the set that holds strings.