void constraintTermValue_copy (/*@out@*/ constraintTermValue src, constraintTermValue dst);
+/*@-macroassign*/
+
#define constraintTermValue_copy(dst, src) ((dst) = (src))
+/*@=macroassign*/
+
typedef enum
{
ERRORBADCONSTRAINTTERMTYPE,
extern /*@falsenull@*/ bool constraintTerm_isDefined (constraintTerm p_e) /*@*/;
extern /*@unused@*/ /*@truenull@*/ bool constraintTerm_isUndefined (constraintTerm p_e) /*@*/ ;
-extern /*@truenull@*/ bool constraintTerm_isError (constraintTerm p_e) /*@*/ ;
+extern /*@unused@*/ /*@truenull@*/ bool constraintTerm_isError (constraintTerm p_e) /*@*/ ;
+/*@constant null constraintTerm constraintTerm_undefined; @*/
# define constraintTerm_undefined ((constraintTerm)NULL)
constraintTerm constraintTerm_copy (constraintTerm term) /*@*/;
-constraintTerm exprNode_makeConstraintTerm ( exprNode e) /*@*/;
+//constraintTerm exprNode_makeConstraintTerm ( exprNode e) /*@*/;
bool constraintTerm_same (constraintTerm term1, constraintTerm term2) /*@*/;
fileloc constraintTerm_getFileloc (constraintTerm t) /*@*/;
-constraintTerm constraintTerm_makeMaxSetexpr (exprNode e) /*@*/;
+//constraintTerm constraintTerm_makeMaxSetexpr (exprNode e) /*@*/;
-constraintTerm constraintTerm_makeMinSetexpr (exprNode e) /*@*/;
+//constraintTerm constraintTerm_makeMinSetexpr (exprNode e) /*@*/;
-constraintTerm constraintTerm_makeMaxReadexpr (exprNode e) /*@*/;
+//constraintTerm constraintTerm_makeMaxReadexpr (exprNode e) /*@*/;
-constraintTerm constraintTerm_makeMinReadexpr (exprNode e) /*@*/;
+//constraintTerm constraintTerm_makeMinReadexpr (exprNode e) /*@*/;
-constraintTerm constraintTerm_makeValueexpr (exprNode e) /*@*/;
+//constraintTerm constraintTerm_makeValueexpr (exprNode e) /*@*/;
-constraintTerm intLit_makeConstraintTerm (int i) /*@*/;
+//constraintTerm intLit_makeConstraintTerm (int i) /*@*/;
-constraintTerm constraintTerm_makeIntLitValue (int i) /*@*/;
+//constraintTerm constraintTerm_makeIntLitValue (int i) /*@*/;
bool constraintTerm_isIntLiteral (constraintTerm term) /*@*/;