SoSTNT.mesa
Copyright Ó 1985, 1987 by Xerox Corporation. All rights reserved.
Giordano Bruno Beretta, October 17, 1985 4:37:14 pm PDT
gbb January 9, 1987 12:56:14 pm PST
Defines The Neighbourhood Table for SoS.
Gli uomini vollero piuttosto le tenebre che la luce (Giovanni, III, 19.)
DIRECTORY
CD USING [Instance],
Core USING [Wire],
PrincOpsUtils USING [];
SoSTNT: CEDAR DEFINITIONS
~ BEGIN
The neighbourhood table
TNT: TYPE = REF TNTRep; -- The Neighbourhood Table.
TNTRep: TYPE;
InitTNT:
PROC
RETURNS [t:
TNT];
To be called for each design rule check.
BlowTNT:
PROC [t:
TNT];
To be called after each design rule check.
RememberTNT:
PROC [t:
TNT, inst1, inst2:
CD.Instance, actual1, actual2: Core.Wire];
Puts the two objects in the neighbourhood table.
InTNT:
PROC [t:
TNT, inst1, inst2:
CD.Instance, actual1, actual2: Core.Wire]
RETURNS [
BOOL];
Asserts that a combination of two cells was already checked.
SweepTNT:
PROC [t:
TNT]
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.
END.