2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
9 ** based on set_template.h
15 abst_typedef /*@null@*/ struct
19 /*@reldef@*/ /*@relnull@*/ sort *elements;
22 /*@iter sortSet_elements(sef sortSet s, yield sort el); @*/
23 # define sortSet_elements(x, m_el) \
24 if (sortSet_isDefined (x)) { int m_ind; \
25 for (m_ind = 0 ; m_ind < (x)->entries; m_ind++) \
26 { sort m_el = (x)->elements[m_ind];
28 # define end_sortSet_elements }}
30 /*@constant null sortSet sortSet_undefined; @*/
31 # define sortSet_undefined ((sortSet) NULL)
32 extern /*@falsenull@*/ bool sortSet_isDefined (sortSet p_s) /*@*/ ;
33 # define sortSet_isDefined(s) ((s) != sortSet_undefined)
35 extern int sortSet_size (/*@sef@*/ sortSet p_s);
36 # define sortSet_size(s) (sortSet_isDefined (s) ? (s)->entries : 0)
38 extern /*@only@*/ sortSet sortSet_new(void);
39 extern bool sortSet_insert (sortSet p_s, sort p_el);
40 extern bool sortSet_member (sortSet p_s, sort p_el);
41 extern /*@only@*/ cstring sortSet_unparse (sortSet p_s);
42 extern /*@only@*/ cstring sortSet_unparseClean (sortSet p_s);
43 extern /*@only@*/ cstring sortSet_unparseOr (sortSet p_s);
44 extern void sortSet_free (/*@only@*/ sortSet p_s);
45 extern sort sortSet_choose (sortSet p_s);
46 extern /*@only@*/ sortSet sortSet_copy (sortSet p_s);
48 /*@constant int sortSetBASESIZE;@*/
49 # define sortSetBASESIZE MIDBASESIZE
52 # error "Multiple include"