13 #ifndef _ENVMAP_BASE_H
14 #define _ENVMAP_BASE_H 1
132 void envmap_free(
envmap n);
size_t bufsize
The size of the area that can hold valid keys and values before reallocation is done.
Definition: envmap_base.h:33
size_t size
The size of the area in the representation which is occupied by valid keys and values.
Definition: envmap_base.h:30
Operations on the data structure that represents dictionaries of names.
Definitions of the base structures that represent the formulas and proofs.
Any ** vals
The array with the dictionary values keys.
Definition: envmap_base.h:37
char ** keys
The array with the dictionary keys.
Definition: envmap_base.h:35
The representation of the dictionary to hold values wrapped in Any structure and available under stri...
Definition: envmap_base.h:27
The wrapper that makes it possible to store in envmap different species of elements that occur in typ...
Definition: checker.h:329
char * Name
The type to structurally represent identifier names.
Definition: checker.h:46