
DIRECTORY G3dBasic, G3dOctree, G3dShape, G3dSpline, Imager, Real, Rope, ViewerClasses;

ImplicitDefs: CEDAR DEFINITIONS ~ BEGIN
Octree:					TYPE ~ G3dOctree.Octree;
Cube:						TYPE ~ G3dOctree.Cube;
Corner:					TYPE ~ G3dOctree.Corner;
CrossSequence:			TYPE ~ G3dOctree.CrossSequence;
NatSequence:				TYPE ~ G3dBasic.NatSequence;
NatSequenceRep:			TYPE ~ G3dBasic.NatSequenceRep;
Pair:						TYPE ~ G3dBasic.Pair;
Triple: 					TYPE ~ G3dBasic.Triple;
TripleSequence:			TYPE ~ G3dBasic.TripleSequence;
TripleSequenceRep:		TYPE ~ G3dBasic.TripleSequenceRep;
ScreenSequence:			TYPE ~ G3dShape.ScreenSequence;
Validity:					TYPE ~ G3dShape.Validity;
SplineSequence:			TYPE ~ G3dSpline.SplineSequence;
ROPE:						TYPE ~ Rope.ROPE;
Context:					TYPE ~ Imager.Context;
Viewer:					TYPE ~ ViewerClasses.Viewer;
Use:						TYPE ~ {unknown, animateClient, animateSurface};

EdgeMode:				TYPE ~ {
regulaFalsi,														-- methods of converging
binarySectioning												-- along a segment
};

DistanceMode:			TYPE ~ {
inverse,															-- value a inverse dist. to p
inverseSqrd,														-- a inverse distance-squared
wtInverse,														-- value a inverse weighted d
wtInverseSqrd													-- a inverse weighted d2
};
ConnectProc:			TYPE ~ PROC [p0, p1: Triple];
ValueProc:				TYPE ~ PROC [
									point: Triple,
									clientData: REF ANY м NIL,
									corner: Corner м NIL]
									RETURNS [value: REAL м 0.0];
StartProc:				TYPE ~ PROC [
									clientData: REF ANY м NIL,
									use: Use м unknown,
									frame, nFrames: NAT м 0]
									RETURNS [point: Triple];
CubeOkProc:			TYPE ~ PROC [cube: Cube, clientData: REF ANY м NIL]
									RETURNS [ok: BOOL];
VertexOkProc:			TYPE ~ PROC [point: Triple, clientData: REF ANY м NIL]
									RETURNS [ok: BOOL];
PolygonOkProc:		TYPE ~ PROC [points: TripleSequence, clientData: REF ANY м NIL]
									RETURNS [ok: BOOL];
NormalProc:			TYPE ~ PROC [
									point: Triple,
									value: REAL м 0.0,
									clientData: REF ANY м NIL]
									RETURNS [normal: Triple м [0.0, 0.0, 0.0]];

ColorProc:				TYPE ~ PROC [vertex: Vertex, clientData: REF ANY м NIL]
									RETURNS [color: Triple м [1.0, 1.0, 1.0]];
TextureProc:			TYPE ~ PROC [vertex: Vertex, clientData: REF ANY м NIL]
									RETURNS [texture: Pair м [0.0, 0.0]];
StatusProc:				TYPE ~ PROC [ref: REF м NIL] RETURNS [atom: ATOM м $Continue];
SurfaceProc:			TYPE ~ PROC [cube: Cube] RETURNS [intersects: BOOL];
DocProc:					TYPE ~ PROC [clientData: REF ANY] RETURNS [doc: ROPE];
DiagramProc:			TYPE ~ PROC [
context:							Context,
point:								Triple,
clientData:						REF ANY м NIL,
whatChanged:					REF ANY м NIL,
viewer:							Viewer м NIL];
Vertex:					TYPE ~ G3dShape.Vertex;
VertexSequence:			TYPE ~ G3dShape.VertexSequence;
VertexSequenceRep:		TYPE ~ G3dShape.VertexSequenceRep;

Surface:					TYPE ~ REF SurfaceRep;
SurfaceRep:				TYPE ~ RECORD [
octree:							Octree м NIL,					-- the octree
vertices:							VertexSequence м NIL,			-- sequence of surface vertices
vertexValidities:					ARRAY Validity OF BOOL м ALL[FALSE],
screens:							ScreenSequence м NIL,			-- screen locations of vertices
nPolygons:						CARDINAL м 0,					-- number of polygons
polygons:							LIST OF NatSequence м NIL,	-- run-encoded vertex indices
faceNormals:						TripleSequence м NIL,			-- normal per polygon
faceCenters:						TripleSequence м NIL,			-- center per polygon
curves:							SplineSequence м NIL,			-- curves connecting vertices
curvesValid:						BOOL м FALSE,					-- true if curves updated
clientData:						REF ANY м NIL					-- client data	
];

MacroPolygons:			TYPE ~ RECORD [
nPolygons:						{none, one, many},
polygon:							CrossSequence
];
Target:					TYPE ~ RECORD [
point:								Triple м origin,
value:								REAL м 0.0,
nTries:							NAT м 0
];
Sample:					TYPE ~ RECORD [
value:								REAL м 0.0,		-- value of point sampled in space						
near:								Triple м origin,	-- nearest point
vector:							Triple м origin,	-- from query point to nearest point
proximity:						REAL м huge,	-- client evaluated (~ ABS[value-threshold])
normalized:						BOOL м FALSE,	-- iff vector normalized
radius:							REAL м 0.0,		-- radius of tube at nearest point
ratio:								REAL м 0.0,		-- (distance-radius)/radius
squareDistance:					REAL м 0.0,		-- distance-squared to nearest point
distance:							REAL м 0.0,		-- distance to nearest point
distanceSet:						BOOL м FALSE,	-- iff distance field is correct
refAny:							REF ANY м NIL	-- probably pointer to nearest surface
];
origin:					Triple ~ G3dBasic.origin;
huge:						REAL ~ Real.LargestNumber;

maxNTriples:				CARDINAL ~ (LAST[CARDINAL]-4-SIZE[TripleSequenceRep[0]])/SIZE[Triple];
maxNNats:				CARDINAL ~ (LAST[CARDINAL]-4-SIZE[NatSequenceRep[0]])/SIZE[NAT];
maxNVertices:			CARDINAL ~ (LAST[CARDINAL]-4-SIZE[VertexSequenceRep[0]])/SIZE[Vertex];

END.

  F  
ImplicitDefs.mesa
Copyright ╙ 1985, 1990 by Xerox Corporation.  All rights reserved.
Bloomenthal, September 15, 1992 6:15 pm PDT
Notes
Triangles should be defined clockwise when viewed from the outside.
Imported Types
Modes 
Proc Definitions

									Return the value at point (> 0 inside, < 0 outside surface).
									corner is available for setting .nearest or .outOfRange.
									corner.outOfRange м TRUE if point out of function range.

									Return a start point for implicit tracking.
									frame and nFrames meaningful if use is an animation.

									Return FALSE to eliminate cube from the octree.

									Return FALSE to eliminate point (and any polygons
									containing it) from the surface.

									Return FALSE to eliminate polygon from the surface.

									Return the surface normal at point, presumably unitized.
									Return the color at vertex.

									Return the u, v texture coordinates at vertex.

									Called when making the surface or the octree.
									ref is usually one of:
									$MakeOctree, $AdaptOctree, $SetCorners, $MakeVertices
									$MakePolygons, $MakeNormals, $MakeTextures, $Done,
									ROPE, or Cube.
								atom = $Abort or $RejectCube is generally recognized.

									True iff surface intersects the cube.

									Get client documentation when, for example, writing to a file.

									Diagram an implicit function relative to given point in space.
The Surface
Format for surface.polygons:
This is a list of nat sequences, thus allowing a practically unlimited number of polygons.
Each list is encoded: the first number is the number of vertices for the first polygon;
the indices to these vertices appear next on the list, followed again by a number
indicating the number of vertices of the next polygon, and so on.

Implicit Tracking 
Implicit Evaluation 
Constants
 Э╩R  ХNewlineDelimiter
Щ ЩJЪЬBЩBJЩ+JШ JЪ╧k	ЬMШVJШ ЧJЪ╨blЬЭЬЭШ'IheadЪ╧lЩIindentЩCЪЯЩJЪЬЭЬШ$JЪЬ	ЭЬШ!JЪЬЭЬШ$JЪЬЭЬШ0JЪЬЭЬШ,JЪЬЭЬШ1JЪЬЭ
ЬШ JЪЬЭЬШ$JЪЬЭЬШ1JЪЬЭЬШ6JЪЬЭЬШ1JЪЬЭЬШ'JЪЬЭЬШ2JЪЭЬЭ
ЬЭЬШJЪЬЭЬШ#JЪЬ
ЭЬШ(ЧЪЯЩЪЬ
ЭЬ,Ш:JШ ЧЪЬЭЬШJЪЬ╧cШ2JЪЬаШ.JШJШ ЧЪЬЭЬШJЪЬа	╤cglаШ4JЪЬабаШ7JЪЬа	баШ5JЪЬаба╨cuШ2JШЧЧЪЯЩЪ╧bЬЭЬЭЬШ,JЩ ЧЪг	ЬЭЬЭЬШJШJЪЬЭЬЭЬЭЬШ#JЪЬЭЬШJЪЭЬЭЬШ%JЩEJЪЬAЩAJЪЬ╧sЬ ЩAJЩ ЧЪг	ЬЭЬЭЬШJЪЬЭЬЭЬЭЬШ#JШJЪЬЭЬШ!JЪЬ	ЭЬШ!JЩ4JЩ=JЩ ЧЪг
ЬЭЬЭЬЭЬЭЬЭЬШAJЪЬЭ	ЬЭЬШJЪЬ╨ksЬ#Щ8JЩ ЧЪгЬЭЬЭЬЭЬЭЬЭЬШFJЪЬЭ	ЬЭЬШJЪЬеЬ%Щ:JЩ)JЩ ЧЪгЬЭЬЭЬ&ЭЬЭЬЭЬШOJЪЬЭ	ЬЭЬШJЪЬдЬ'Щ<JЩ ЧЪг
ЬЭЬЭЬШJШJЪЬЭЬШJЪЬЭЬЭЬЭЬШ#JЪЬЭ	Ь$Ш4JЩAJШ ЧЪггЬЭЬЭЬЭЬЭЬЭЬШEJЪЬЭ	Ь#Ш3JЩ$JЩ ЧЪгЬЭЬЭЬЭЬЭЬЭЬШFJЪЬЭ	ЬШ.JЩ7JЩ ЧЪг
ЬЭЬЭЬЭЬЭЬЭЬЭЬШMJЩ6ЩJЩ>JЩ;JЪЬ	дЬ
ЩJЩ=ЧJЩ ЧЪ
гЬЭЬЭЬЭЬЭЬШCJЩ.JЩ ЧЪгЬЭЬЭЬЭЬЭЬЭЬЭЬШCJЩGJЩ ЧЪгЬЭЬЭЬШJШJШJЪЬЭ	ЬЭЬЭЬШJЪЬЭЬЭЬЭЬШJЪЬЭЬШJЩGЧЧЪЯЩJЪЬЭЬШ#JЪЬЭЬШ1ЪЬЭЬШ6JШ ЧЩJЩZJЩWJЩQJЩAJЩ ЧJЪЬЭЬЭЬШ#ЪЬЭЬЭЬШJЪЬЭЬаШ-JЪЬ!ЭЬаШGJЪЬЭЬ
ЭЬЭЬЭЬЭЬШ:JЪЬ ЭЬаШFJЪЬЭЬ
аШ7JЪЬЭЬЭЬЭЬаШHJЪЬ#ЭЬаШ?JЪЬ#ЭЬаШ?JЪЬЭЬаШCJЪЬЭЬЭЬаШ=JЪЬЭЬЭЬЭЬаШ2JШJШ ЧЪЬЭЬЭЬШ JШ"JЪЬ
ЭЬШJШЧЧЪЯЩЪЬЭ	ЬЭЬШJШJЪЬЭЬШJЪЬЭ
ЬШJШЧЧЪЯЩЪЬЭЬЭЬШJЪЬЭЬ	а(ШCJЪЬаШ.JЪЬа$ШCJЪЬЭЬ	а╨csаШIJЪЬЭЬЭЬаШ7JЪЬЭЬ	а"Ш=JЪЬЭЬ	аШ6JЪЬЭЬ	а$ШEJЪЬЭЬ	аШ9JЪЬЭЬЭЬа Ш@JЪЬЭЬЭЬЭЬа&ШBJШЧЧЪЯ	Щ	JШ%ЪЬЭЬШ%JШ ЧJЪЬЭЬЭЬеЬдЬЭЬдедЬШVJЪЬ	ЭЬЭЬеЬдЬЭЬдеЬеЬШMJЪЬедедедедед	ШVЧJШ JЪЭЬШJШ Ч ЕЧ    Ў  !О  