Updated library headers to include some missing functions.

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

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 11bbc75d2b89752b111b8532be842450609fa04a..f863bd3eaba967d8459573b555ab5fbe89ad2bb4 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -70,6 +70,12 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f);
 
 /*@only@*/ constraintTerm constraintTerm_undump ( FILE *f);
 
+bool constraintTerm_isInitBlock (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
+int constraintTerm_getInitBlockLength (/*@observer@*/ /*@temp@*/ constraintTerm p_c) /*@*/;
+
+bool constraintTerm_isExprNode (/*@observer@*/ /*@temp@*/ constraintTerm c) /*@*/;
+
 /*@=namechecks@*/
 
 #else