typedef enum
{
+ ERRORBADCONSTRAINTTERMTYPE,
EXPRNODE, SREF,
INTLITERAL
} constraintTermType;
{
binaryexpr,
unaryExpr,
- term,
+ term
}
constraintExprKind;
/*@out@*/ bool * propagate,
/*@out@*/ int *literal);
+constraintExpr constraintExpr_makeSRefMaxRead(sRef s);
+
#endif