<> <> DIRECTORY Rope, Basics, IO, AlgebraClasses, Points; FormulaOperators: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses, PTS: Points; <> Operator: TYPE = AC.Object; OperatorData: TYPE = REF Op; Op: TYPE = {and, or, not, lt, le, gt, ge, eq, ne, dc}; <> Operators: AC.Structure; <> Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; <<>> END.