<> <> <> <<>> DIRECTORY Rope, IO, AlgebraClasses; ASPowerSetStructure: CEDAR DEFINITIONS ~ BEGIN OPEN Rope, AC: AlgebraClasses; <> Set: TYPE = AC.Object; SetData: TYPE = LIST OF AC.Object; <> <> <> PowerSetStructureData: TYPE = REF PowerSetStructureDataRec; PowerSetStructureDataRec: TYPE = RECORD [ universe: AC.Object -- the elements of the Structure are the subsets of universe ]; <> MakePowerSetStructure: AC.SequenceStructureConstructor; <> <> PrintName: AC.ToRopeOp; ShortPrintName: AC.ToRopeOp; IsPowerSetStructure: AC.UnaryPredicate; Universe: AC.UnaryOp; <> <> Recast: AC.BinaryOp; CanRecast: AC.BinaryPredicate; ToExpr: AC.ToExprOp; LegalFirstChar: AC.LegalFirstCharOp; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; <> MakeSet: AC.ListImbedOp; <> <> <> < empty set.>> <> IsElement: AC.BinaryPredicate; <> <<>> IsSubset: AC.BinaryPredicate; <> <> Cardinality: AC.ElementRankOp; Equal: AC.BinaryPredicate; Union: AC.BinaryOp; Intersection: AC.BinaryOp; Difference: AC.BinaryOp; MapUnaryElementOp: AC.BinaryMixedOp; <> <> END.