File: SetExpr.i3 Last Modified On Thu Sep 9 13:59:20 PDT 1993 By kalsow Modified On Fri Jul 6 23:46:44 1990 By muller
INTERFACESetExpr ; IMPORT Type, Expr; PROCEDURE New (type: Type.T; args: Expr.List): Expr.T; PROCEDURE Is (e: Expr.T): BOOLEAN; PROCEDURE Compare (a, b: Expr.T; VAR s: INTEGER): BOOLEAN; PROCEDURE Union (a, b: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE Intersection (a, b: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE Difference (a, b: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE SymDifference (a, b: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE Include (set, elt: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE Exclude (set, elt: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE Member (set, elt: Expr.T; VAR c: Expr.T): BOOLEAN; PROCEDURE Init (); END SetExpr.