<> <> <> <> <SoS>SoSTNT.mesa _ SoSTNT.mesa>> <> <> DIRECTORY CD USING [Instance], Core USING [Wire], PrincOpsUtils USING []; SoSTNT: 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, inst1, inst2: CD.Instance, actual1, actual2: Core.Wire]; <> InTNT: PROC [t: TNT, inst1, inst2: CD.Instance, actual1, actual2: Core.Wire] RETURNS [BOOL]; <> SweepTNT: PROC [t: TNT] <> END.