2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
14 ** intTable is used to map a limited number of integers to other integers.
15 ** The table size is fixed, and gives the maximum value.
18 abst_typedef struct _intTable
21 /*@only@*/ int *values;
24 extern /*@only@*/ intTable intTable_create (int p_size);
25 extern void intTable_set (intTable p_h, int p_key, int p_value);
26 extern int intTable_lookup (intTable p_h, int p_key);
27 extern void intTable_free (/*@only@*/ intTable p_h);
30 # error "Multiple include"