<> <> <> <> <> <> DIRECTORY CD USING [Object, Transformation], Core USING [Wire], PrincOpsUtils USING []; TNT: CEDAR DEFINITIONS ~ BEGIN <> TNT: TYPE = REF TNTRep; -- The Neighbourhood Table. TNTRep: TYPE; InitTNT: PROC RETURNS [t: TNT]; <> BlowTNT: PROC [t: TNT]; <> RememberTNT: PROC [t: TNT, o1, o2: CD.Object, t1, t2: CD.Transformation, a1, a2: Core.Wire]; <> InTNT: PROC [t: TNT, o1, o2: CD.Object, t1, t2: CD.Transformation, a1, a2: Core.Wire] RETURNS [BOOL]; <> UpdateTNT: PUBLIC PROC [t: TNT, o1, o2: CD.Object, t1, t2: CD.Transformation, a1, a2: Core.Wire] RETURNS [wasThere: BOOL]; <> SweepTNT: PROC [t: TNT] <> END.