next up previous
Next: eafixpoint.n Up: Implementation Previous: easet.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

Sukyoung Ryu