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. TNT.mesa Copyright Σ 1985, 1987 by Xerox Corporation. All rights reserved. Giordano Bruno Beretta, October 17, 1985 4:37:14 pm PDT gbb March 28, 1987 6:19:22 pm PST Defines The Neighbourhood Table for Genista. Gli uomini vollero piuttosto le tenebre che la luce (Giovanni, III, 19.) The neighbourhood table To be called for each design rule check. To be called after each design rule check. Puts the two objects in the neighbourhood table. Asserts that a combination of two cells was already checked. Asserts that a combination of two cells was already checked. The new combination is remembered. If the neighbourhood table is almost full and sufficient time has elapsed, the entries never accessed are removed from the table. To be called periodically by the main Core traversal mechanism. Κ˜codešœ™KšœB™BKšœ7™7K™!—Icode2™,IquotešΟsH™HšΟk ˜ Kšžœžœ˜"Kšœžœ˜Kšœžœ˜—LšΠblœžœž ˜Lšœž˜head™Lšžœžœžœ Οc˜3Kšœžœ˜ šΟnœžœžœžœ˜K™(—š‘œžœžœ˜K™*—š ‘ œžœžœ žœžœ$˜\Kšœ0™0—š‘œžœžœ žœžœ$žœžœ˜eK™<—š‘ œžœžœžœ žœžœ$žœ žœ˜zK™_—š‘œžœžœ˜KšœΑ™Α——Lšžœ˜J˜—…—Nν