InutitionTC  0.30
Data Structures | Functions
envmap_base.h File Reference

Operations on the data structure that represents environments. More...

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

Go to the source code of this file.

Data Structures

struct  envmap
 The representation of the dictionary to hold values wrapped in Any structure and available under string keys. More...
 

Functions

envmap envmap_new ()
 
void envmap_free (envmap n)
 
envmapenvmap_insert (envmap *n, Name elem, Any val)
 
Anyenvmap_lookup (const envmap n, const Name elem)
 
envmapenvmap_copy (const envmap in)
 

Detailed Description

Operations on the data structure that represents environments.

Author
Aleksy Schubert
Maciej Zielenkiewicz