DIRECTORY Rope, IO, AlgebraClasses, Ints, BigRats, RatIntervals, Variables, Polynomials, AlgebraicNumbers, Points, Sequences; CoveringSets: CEDAR DEFINITIONS ~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, VARS: Variables, AN: AlgebraicNumbers, PTS: Points, POL: Polynomials, SEQ: Sequences; CoveringSet: TYPE = AC.Object; bigRatZero: BR.BigRat; intZero: Ints.Int; CoveringSetData: TYPE = REF CoveringSetDataRec; CoveringSetDataRec: TYPE = RECORD [ cell: AC.Object _ NIL, -- cell to which this sample dataPoints belongs stepSize: BR.BigRat _ NIL, numDecimalPlaces: Ints.Int _ NIL, reach: Ints.Int _ NIL, boundingBox: PTS.Point _ NIL, dataPoints: SEQ.Sequence _ NIL -- of Sequences of PTS.Point's ]; coveringSetStructureClass: AC.StructureClass; CoveringSetStructureData: TYPE = REF CoveringSetStructureDataRec; CoveringSetStructureDataRec: TYPE = RECORD [ ambientSpaceDimension: NAT ]; CoveringSetOps: TYPE = REF CoveringSetOpsRec; -- prop key is $CoveringSetStructure. CoveringSetOpsRec: TYPE = RECORD [ cell: AC.UnaryOp, stepSize: AC.UnaryOp, numDecimalPlaces: AC.UnaryOp, reach: AC.UnaryOp, boundingBox: AC.UnaryOp, dataPoints: AC.UnaryOp ]; MakeCoveringSetStructure: PROC [ambientSpaceDimension: CARDINAL] RETURNS [coveringSetStructure: AC.Structure]; IsCoveringSetStructure: PROC [structure: AC.Structure] RETURNS [BOOL]; Cell: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; StepSize: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; NumDecimalPlaces: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; Reach: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; BoundingBox: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; DataPoints: PROC [structure: AC.Structure] RETURNS [AC.UnaryOp]; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; SetCell: PROC [coveringSet, cell: AC.Object]; Cll: AC.UnaryOp; StepSz: AC.UnaryOp; NumDecPlc: AC.UnaryOp; Rch: AC.UnaryOp; BoundBox: AC.UnaryOp; DataPts: AC.UnaryOp; END. าCoveringSets.mesa Last Edited by: Arnon, May 3, 1986 3:53:47 pm PDT Algebraic points as they occur as cad sample points. CoveringSet Representation Class for CoveringSet Structures Instance Data for CoveringSet Structures Operations Unique to CoveringSet Structures CoveringSet Structure Constructor Extract CoveringSet Operations from Class Property Lists Format is [minX, maxX, minY, maxY, ...], each element is a Reals.Real Conversion and IO Operations ส˜Jšœ™J™1J˜J˜Jšœ4™4J™šฯk ˜ Icodešœ˜Kšœ˜J˜J˜Jšœ˜J˜ Jšœ ˜ J˜ Jšœ˜Jšœ˜J˜ —head2šฯn œœ ˜J˜—Jšœœœœœ œœ œœ œœ ˜–headšž™Jšœ œœ˜J˜Jšœ œ˜Jšœ˜J˜Jšœœœ˜/šœœœ˜#Jšœœ œฯc/˜FJšœ œ œ˜Jšœœ˜!Jšœœ˜Jšœ œ œ˜Jšœ œ œŸ˜=Jšœ˜——šœ ™ Kšœœ˜-—šœ(™(Kšœœœ˜Ašœœœ˜,Jšœ˜K˜——šœ+™+KšœœœŸ%˜Sšœœœ˜"Kšœœ ˜Kšœ œ ˜Kšœœ ˜Kšœœ ˜Kšœ œ ˜Kšœ œ˜K˜——šœ!™!š žœœœœœ ˜nJ™——šœ8™8š žœœ œ œœ˜FK™—š žœœ œ œœ ˜:K˜—š žœœ œ œœ ˜>K˜—š žœœ œ œœ ˜FK˜—š žœœ œ œœ ˜;K˜—š ž œœ œ œœ ˜AKšœE™EK˜—š ž œœ œ œœ ˜@K˜——šœ™šžœœ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—Jšžœ ˜J˜—™ Jšžœœœ ˜-J˜šžœœ ˜J˜—šžœœ ˜J˜—šž œœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—J˜J˜J˜—Jšœ˜—…—ุ ซ