InutitionTC  0.30
Data Structures | Functions
namemap.h File Reference

Operations on the data structure that represents dictionaries of names. More...

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

Go to the source code of this file.

Data Structures

struct  namemap
 The representation of the dictionary to hold strings under string keys. More...
 

Functions

void memcpy_charr (char **dest, char **src, size_t size)
 
namemap namemap_new ()
 
void namemap_free (namemap n)
 
namemapnamemap_insert (namemap *n, Name elem, Name val)
 
Name namemap_lookup (const namemap n, const Name elem)
 
namemapnamemap_copy (const namemap in)
 

Detailed Description

Operations on the data structure that represents dictionaries of names.

Author
Aleksy Schubert
Maciej Zielenkiewicz