<> <> <> <> <<>> <> <<>> DIRECTORY Core USING [CellType, Wire], CoreOps USING [EachWirePairProc]; WriteCapa: CEDAR DEFINITIONS ~ BEGIN pfs: TYPE = REAL; GetRootCap: PROC [wire: Core.Wire] RETURNS [cap: pfs]; <> <<>> GetCap: PROC [wire: Core.Wire] RETURNS [cap: pfs]; <> AddRootCap: CoreOps.EachWirePairProc; <> <> <<>> WriteWireCapa: PROC [coreCell: Core.CellType, technology: ATOM _ $cmosB]; <> END.