X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/93307a76942c3d0e463af62442eef5a542ebdfb2..34f0c5e711b8f61f6376414948f4c116f1c5a22c:/src/Headers/constraint.h

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index d8e1b50..e8436fa 100644
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -86,6 +86,15 @@ constraint constraint_doSRefFixBaseParam (constraint precondition,
 
 cstring  constraint_printDetailed (constraint c);
 
+constraint constraint_makeEnsureLessThan (exprNode e1, exprNode e2, fileloc sequencePoint);
+
+constraint constraint_makeEnsureLessThanEqual (exprNode e1, exprNode e2, fileloc sequencePoint);
+constraint constraint_makeEnsureGreaterThan (exprNode e1, exprNode e2, fileloc sequencePoint);
+constraint constraint_makeEnsureGreaterThanEqual (exprNode e1, exprNode e2, fileloc sequencePoint);
+
+/*drl add 11/28/2000 */
+constraint constraint_makeSRefWriteSafeInt (sRef s, int ind);
+
 /*@=czechfcns*/
 #warning take this out
 #include "constraintList.h"