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

INTERFACE SetExpr;

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.