InutitionTC  0.30
Data Structures | Macros | Typedefs | Functions
vars_set.h File Reference

Finite sets with union operation. More...

#include <string.h>
#include "checker.h"

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

nameSetunionSet (nameSet *s1, nameSet *s2)
 
nameSetunionSetFreeShallow (nameSet *s1, nameSet *s2)
 
Name minusSet (nameSet *s, Name elem)
 
nameSetaddSet (nameSet *s, Name elem)
 
nameSetcreateSet ()
 
nameSetsingletonSet (Name elem)
 
void freeSetShallow (nameSet *s)
 
void freeSetDeep (nameSet *s)
 
int isIn (nameSet *s, Name elem)
 

Detailed Description

Finite sets with union operation.

Author
Aleksy Schubert

Typedef Documentation

typedef struct nameSet nameSet

The representation of the set that holds strings.

The non-null entries in the #vals array represent strings that belong to the set.