<> <> <> <> DIRECTORY Core, CoreFlat; Static: CEDAR DEFINITIONS = BEGIN <> <> <> staticCutSetProp: ATOM; -- $StaticCutSet UnconnectedOK: PROC [wire: Core.Wire] RETURNS [same: Core.Wire]; <> <<>> <> ConnectionCheckProc: TYPE = PROC [root: Core.CellType, flatWire: CoreFlat.FlatWireRec, count: INT, unconnectedOK: BOOL] RETURNS [quit: BOOL _ FALSE]; <<>> ConnectionCheck: ConnectionCheckProc; <> CountFlatConnections: PROC [root: Core.CellType, eachWireCount: ConnectionCheckProc, cutSet: CoreFlat.CutSet _ NIL] RETURNS [quit: BOOL _ FALSE]; <> <<>> CountHierarchicalConnections: PROC [root: Core.CellType, eachWireCount: ConnectionCheckProc, cutSet: CoreFlat.CutSet _ NIL] RETURNS [quit: BOOL _ FALSE]; <> <<>> <> ConnectionCountProc: TYPE = PROC [count: INT, wireRoot: Core.Wire, wire: Core.Wire, public: BOOL, cellType: Core.CellType, unconnectedOK: BOOL]; <> <> <> <> <<>> 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.