+
+# define constraintList_undefined ((constraintList)NULL)
+
+extern /*@falsewhennull@*/ bool constraintList_isDefined (constraintList p_e) /*@*/ ;
+extern /*@unused@*/ /*@nullwhentrue@*/ bool constraintList_isUndefined (constraintList p_e) /*@*/ ;
+extern /*@nullwhentrue@*/ /*@unused@*/ bool constraintList_isError (constraintList p_e) /*@*/ ;
+
+# define constraintList_isDefined(e) ((e) != constraintList_undefined)
+# define constraintList_isUndefined(e) ((e) == constraintList_undefined)
+# define constraintList_isError(e) ((e) == constraintList_undefined)
+
+extern bool constraintList_isEmpty (/*@sef@*/ constraintList p_e) /*@*/;
+
+# define constraintList_isEmpty(e) ((constraintList_isUndefined((e)) ) ||(( (e)->nelements == 0) ) )
+
+extern constraintList constraintList_single (/*@only@*/ constraint) ;
+
+extern constraintList constraintList_addListFree (/*@returned@*/ constraintList, /*@only@*/ constraintList) ;
+extern constraintList constraintList_preserveCallInfo (/*@returned@*/ constraintList p_c, /*@observer@*/ /*@dependent@*/ exprNode p_fcn) ;