eaconstraint.n

This file constructs set constraints from the exception flow equations. The syntax of its set expression is as follows:

    type se =
        VAR of var
      | CONST of EaSet.element
      | CUP of se * se
      | CAP of se * string list
      | MINUS of se * string list
      | EMPTY