If checking mostly works. Boolean expression are handled.

[splint.git] / src / Headers / constraintTerm.h

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 9eaf7e874b30e588a0497ff9d7c89d5a8b4408d2..95ab19af7a2476af567417cd923272ebb24c1593 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -39,6 +39,12 @@ bool constraintTerm_isIntLiteral (constraintTerm term);
 
 cstring constraintTerm_print (constraintTerm term);
 
+constraintTerm constraintTerm_makesRef  (/*@only@*/ sRef s);
+
+bool constraintTerm_probSame (constraintTerm term1, constraintTerm term2);
+
+
+constraintTerm constraintTerm_doSRefFixBaseParam (constraintTerm term, exprNodeList arglist);
 #endif