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@*/ o_lslOp *elements;
22 /*@iter lslOpSet_elements (sef lslOpSet s, yield exposed lslOp el); @*/
23 # define lslOpSet_elements(x, m_el) \
24 { if (lslOpSet_isDefined (x)) { int m_ind; \
25 for (m_ind = 0 ; m_ind < (x)->entries; m_ind++) \
26 { lslOp m_el = (x)->elements[m_ind];
28 # define end_lslOpSet_elements }}}
30 /*@constant null lslOpSet lslOpSet_undefined;@*/
31 # define lslOpSet_undefined ((lslOpSet) NULL)
33 extern /*@falsenull@*/ bool lslOpSet_isDefined (lslOpSet p_s) /*@*/ ;
34 # define lslOpSet_isDefined(s) ((s) != lslOpSet_undefined)
36 extern /*@unused@*/ int
37 lslOpSet_size (/*@sef@*/ lslOpSet p_s) /*@*/ ;
39 # define lslOpSet_size(s) \
40 (lslOpSet_isDefined(s) ? (s)->entries : 0)
42 extern /*@only@*/ lslOpSet lslOpSet_new (void) /*@*/ ;
43 extern bool lslOpSet_insert (lslOpSet p_s, /*@only@*/ lslOp p_el)
46 extern /*@unused@*/ /*@only@*/ cstring lslOpSet_unparse (lslOpSet p_s) /*@*/ ;
47 extern void lslOpSet_free (/*@only@*/ lslOpSet p_s);
48 extern /*@only@*/ lslOpSet lslOpSet_copy (lslOpSet p_s) /*@*/ ;
50 /*@constant int lslOpSetBASESIZE;@*/
51 # define lslOpSetBASESIZE MIDBASESIZE
54 # error "Multiple include"