-typedef struct constraintExprBinaryOp_
-{
- constraintExpr expr1;
- constraintExprBinaryOpKind binaryOp;
- constraintExpr expr2;
-} constraintExprBinaryOp;
-
-
-typedef struct constraintExprUnaryOp_
-{
- constraintExpr expr;
- constraintExprUnaryOpKind unaryOp;
-} constraintExprUnaryOp;
-
-
-typedef union constraintExprData_
-{
- constraintExprBinaryOp binaryOp;
- constraintExprUnaryOp unaryOp;
- constraintTerm term;
-} *constraintExprData;
-
-
-struct constraintExpr_ {