2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
6 # ifndef constraintLIST_H
7 # define constraintLIST_H
9 typedef /*@only@*/ constraint o_constraint;
11 struct _constraintList
17 /*@dependent@*/ /*@reldef@*/ /*@relnull@*/ o_constraint *elements;
18 /*@only@*/ /*@reldef@*/ /*@relnull@*/ o_constraint *elementsroot;
21 /*@iter constraintList_elements (sef constraintList x, yield exposed constraint el); @*/
22 # define constraintList_elements(x, m_el) \
23 { int m_ind; constraint *m_elements = &((x)->elements[0]); \
24 for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
25 { constraint m_el = *(m_elements++);
27 # define end_constraintList_elements }}
29 extern int constraintList_size (/*@sef@*/ constraintList);
30 # define constraintList_size(s) (constraintList_isDefined (s) ? (s)->nelements : 0)
32 extern bool constraintList_empty (/*@sef@*/ constraintList);
33 # define constraintList_empty(s) (constraintList_size(s) == 0)
35 extern /*@falsenull@*/ bool constraintList_isDefined (constraintList p_t);
36 # define constraintList_isDefined(s) ((s) != (constraintList) 0)
38 extern /*@only@*/ constraintList constraintList_makeNew(void);
39 extern constraintList constraintList_push (/*@returned@*/ constraintList p_s,
40 /*@keep@*/ constraint p_el) ;
42 extern void constraintList_addh (constraintList p_s, /*@keep@*/ constraint p_el) ;
43 extern void constraintList_addl (constraintList p_s, /*@keep@*/ constraint p_el) ;
45 extern void constraintList_reset (constraintList p_s)
47 extern void constraintList_finish (constraintList p_s)
49 extern void constraintList_advance (constraintList p_s)
52 extern /*@exposed@*/ constraint constraintList_getN (constraintList p_s, int p_n) /*@*/ ;
54 //extern /*@only@*/ cstring constraintList_unparse (constraintList p_s) ;
55 //extern /*@only@*/ cstring constraintList_unparseTail (constraintList p_s);
56 //extern /*@only@*/ cstring constraintList_unparseToCurrent (constraintList p_s);
57 //extern /*@only@*/ cstring constraintList_unparseSecondToCurrent (constraintList p_s);
59 extern void constraintList_free (/*@only@*/ constraintList p_s) ;
61 extern /*@exposed@*/ constraint constraintList_head (constraintList p_s) ;
62 extern /*@exposed@*/ constraint constraintList_current (constraintList p_s) ;
64 extern /*@only@*/ constraintList constraintList_copy (constraintList p_s) ;
66 /*@constant int constraintListGROWLOW;@*/
67 # define constraintListGROWLOW 4 /* addl used in abstract.c */
69 /*@constant int constraintListGROWHI;@*/
70 # define constraintListGROWHI 4
72 /*@constant int constraintListBASESIZE;@*/
73 # define constraintListBASESIZE (constraintListGROWLOW + constraintListGROWHI)
76 # error "Multiple include"