DIRECTORY ImagerColor USING [RGB], MultiPolynomial USING [Ref], Rope USING [ROPE], Geometry3dVector USING [Triple]; CADTypes: CEDAR DEFINITIONS ~ BEGIN Scad: TYPE ~ RECORD [ surface: MultiPolynomial.Ref, named: BOOLEAN, name: Rope.ROPE, color: ImagerColor.RGB, cells: REF CellSequence]; ScadSequence: TYPE ~ RECORD [ scads: SEQUENCE length: NAT OF Scad]; VisibleMask: TYPE ~ RECORD [ cellIsVisible: SEQUENCE length: NAT OF BOOLEAN]; VisibleMaskSequence: TYPE ~ RECORD [ masks: SEQUENCE length: NAT OF REF VisibleMask]; VariableRec: TYPE ~ RECORD [ x: ATOM, y: ATOM, z: ATOM]; CellSequence: TYPE ~ RECORD [ cells: SEQUENCE nCells: NAT OF CellRec]; CellRec: TYPE ~ RECORD [ indexX: INT, indexY: INT, indexZ: INT, dimension: CARDINAL, vertices: REF VertexSequence, polygons: REF TriangleSequence, definingFormula: QuantifierFreeFormula]; VertexSequence: TYPE ~ RECORD [ vertices: SEQUENCE nVertices: NAT OF Geometry3dVector.Triple]; TriangleSequence: TYPE ~ RECORD [ triangles: SEQUENCE nTriangles: NAT OF Triangle]; Triangle: TYPE ~ RECORD [ firstVertex: NAT, secondVertex: NAT, thirdVertex: NAT]; QuantifierFreeFormula: TYPE ~ RECORD [ isCompound: BOOLEAN, compoundOperator: CompoundOperator, compoundArguments: REF QuantifierFreeFormulaSequence, simpleOperator: SimpleOperator, simpleArgument: MultiPolynomial.Ref]; QuantifierFreeFormulaSequence: TYPE ~ RECORD [ formulas: SEQUENCE length: NAT OF QuantifierFreeFormula]; CompoundOperator: TYPE ~ {and, or, none}; SimpleOperator: TYPE ~ {isPositive, isZero, isNegative, none}; END. ΖCADTypes.mesa James Rauen, August 25, 1986 12:27:43 pm PDT Last edited by: James Rauen January 13, 1988 4:07:00 pm PST Information needed by the surface viewer. Defining formula of a cell. Κ˜™ J™,Icode™;J™—šΟk ˜ Kšœ œœ˜Kšœœ˜Kšœœœ˜Kšœœ ˜ —K˜K˜šΠlnœœ œ˜#K˜šœœœ˜Kšœ˜Kšœœ˜Kšœ œ˜Kšœœ˜Kšœœ˜K˜—šœœœ˜Kšœœ œœ˜%K˜—šœ œœ˜Kš œœ œœœ˜0K˜—šœœœ˜$Kš œœ œœœ˜0K˜—šœ œœ˜Kšœœ˜Kšœœ˜Kšœœ˜ K˜—šœœœ˜Kšœœ œœ ˜(K˜—šœ œœ˜Kšœœ˜ Kšœœ˜ Kšœœ˜ Kšœ œ˜Kšœ œ˜Kšœ œ˜Kšœ(˜(K˜—™)K˜šœœœ˜Kšœ œ œœ˜>K˜—šœœœ˜!Kšœ œ œœ ˜1K˜—šœ œœ˜Kšœ œ˜Kšœœ˜Kšœ œ˜—K˜—™K™šœœœ˜&Kšœ ˜K˜#Kšœœ˜5K˜K˜%K˜—šœ˜.Kšœ œ œœ˜9K˜—Kšœœ˜)K˜šœœ*˜>K˜——Kšœ˜——…— Υ