DIRECTORY Rope, IO, AlgebraClasses, Ints, BigRats, RatIntervals, Variables, Polynomials, AlgebraicNumbers, Vectors, Sequences; CoveringSets: CEDAR DEFINITIONS ~ BEGIN OPEN AC: AlgebraClasses, BR: BigRats, RI: RatIntervals, VARS: Variables, AN: AlgebraicNumbers, 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: Vectors.Vector _ NIL, dataPoints: SEQ.Sequence _ NIL -- of Sequences of PTS.Point's ]; CoveringSetStructureData: TYPE = REF CoveringSetStructureDataRec; CoveringSetStructureDataRec: TYPE = RECORD [ ambientSpaceDimension: NAT ]; MakeCoveringSetStructure: PROC [ambientSpaceDimension: CARDINAL] RETURNS [coveringSetStructure: AC.Object]; IsCoveringSetStructure: PROC [structure: AC.Object] RETURNS [BOOL]; Read: AC.ReadOp; FromRope: AC.FromRopeOp; ToRope: AC.ToRopeOp; Write: AC.WriteOp; SetCell: PROC [coveringSet, cell: AC.Object]; Cell: AC.UnaryOp; StepSize: AC.UnaryOp; NumDecimalPlaces: AC.UnaryOp; Reach: AC.UnaryOp; BoundingBox: AC.UnaryOp; DataPoints: 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 Instance Data for CoveringSet Structures CoveringSet Structure Ops 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šœœœ˜Ašœœœ˜,Jšœ˜K˜——šœ™š žœœœœœ ˜kJ™—š žœœ œ œœ˜CK™——šœ™šžœœ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—Jšžœ ˜J˜—™ Jšžœœœ ˜-J˜šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šžœœ ˜J˜—šž œœ ˜J˜—šž œœ ˜J˜—J˜J˜J˜—Jšœ˜—…—&ί