2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
9 ** based on set_template.h
19 /*@reldef@*/ /*@relnull@*/ int *elements;
22 /*@iter intSet_elements (sef intSet s, yield int el)@*/
23 # define intSet_elements(x, m_el) \
24 { int m_ind; for (m_ind = 0 ; m_ind < (x)->entries; m_ind++) \
25 { int m_el = (x)->elements[m_ind];
27 # define end_intSet_elements }}
29 extern /*@only@*/ intSet intSet_new (void);
31 extern bool intSet_isEmpty (intSet p_s);
32 # define intSet_isEmpty(s) ((s)->entries == 0)
34 extern int intSet_size (intSet p_s);
35 # define intSet_size(s) ((s)->entries)
37 extern bool intSet_insert (intSet p_s, int p_el);
38 extern /*@unused@*/ bool intSet_member (intSet p_s, int p_el);
39 extern /*@only@*/ /*@unused@*/ cstring intSet_unparse (intSet p_s);
40 extern void intSet_free (/*@only@*/ intSet p_s);
43 extern /*@only@*/ cstring intSet_unparseText (intSet p_s);
46 /*@constant int intSetBASESIZE;@*/
47 # define intSetBASESIZE SMALLBASESIZE
50 # error "Multiple include"