+int constraint_compare (/*@observer@*/ /*@temp@*/ const constraint * p_c1, /*@observer@*/ /*@temp@*/ const constraint * p_c2) /*@*/;
+
+bool constraint_isPost (/*@observer@*/ /*@temp@*/ constraint p_c);
+
+bool constraint_tooDeep (/*@observer@*/ /*@temp@*/ constraint p_c);
+
+void exprNode_findValue( exprNode p_e);
+
+/*drl 1/6/2001: I didn't think these functions were solid enough to include in the stable release of splint.*/
+/*drl added 12/30/01 */
+/* extern / *@only@* / constraint constraint_doSRefFixInvarConstraint(constraint p_invar, sRef p_s, ctype p_ct ); */
+
+/*drl added 12/19 */
+bool constraint_isConstantOnly (constraint p_c);