2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
6 # ifndef QUANTIFIERNODELIST_H
7 # define QUANTIFIERNODELIST_H
9 typedef /*@only@*/ quantifierNode o_quantifierNode;
15 /*@reldef@*/ /*@relnull@*/ o_quantifierNode *elements;
16 } *quantifierNodeList ;
18 /*@iter quantifierNodeList_elements (sef quantifierNodeList x, yield exposed quantifierNode el); @*/
19 # define quantifierNodeList_elements(x, m_el) \
20 { int m_ind; quantifierNode *m_elements = &((x)->elements[0]); \
21 for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
22 { quantifierNode m_el = *(m_elements++);
24 # define end_quantifierNodeList_elements }}
26 extern /*@only@*/ quantifierNodeList quantifierNodeList_new(void);
28 extern quantifierNodeList
29 quantifierNodeList_add (/*@returned@*/ quantifierNodeList p_s, /*@only@*/ quantifierNode p_el);
31 extern /*@only@*/ cstring quantifierNodeList_unparse (quantifierNodeList p_s) ;
32 extern /*@unused@*/ void quantifierNodeList_free (/*@only@*/ quantifierNodeList p_s) ;
34 extern /*@only@*/ quantifierNodeList quantifierNodeList_copy (quantifierNodeList p_s) ;
36 /*@constant int quantifierNodeListBASESIZE;@*/
37 # define quantifierNodeListBASESIZE SMALLBASESIZE
40 # error "Multiple include"