<> <> <> <> DIRECTORY Core, CoreFlat; Static: CEDAR DEFINITIONS = BEGIN <> <> <> ROPE: TYPE = Core.ROPE; ConnectionCountProc: TYPE = PROC [count: INT, wireRoot: Core.Wire, wire: Core.Wire, public: BOOL, cellType: Core.CellType, unconnectedOK: BOOL]; <> <> <> <> <<>> staticCutSetProp: ATOM; -- $StaticCutSet UnconnectedOK: PROC [wire: Core.Wire] RETURNS [same: Core.Wire]; <> <<>> CheckCount: ConnectionCountProc; <> CountLeafConnections: PROC [root: Core.CellType, eachWireCount: ConnectionCountProc, cutSet: CoreFlat.CutSet _ NIL]; <> <<>> CountDirectConnections: PROC [root: Core.CellType, eachWireCount: ConnectionCountProc, cutSet: CoreFlat.CutSet _ NIL]; <> <<>> END.