DIRECTORY Core, CoreStructuralComparison, StructuralComparisonDataStructure; StructureFromCore: CEDAR DEFINITIONS = { OPEN CoreStructuralComparison, StructuralComparisonDataStructure; graphIDToRole: ARRAY RealGraphID OF Role ~ [A: A, B: B]; roleToGraphID: ARRAY Role OF RealGraphID ~ [A: A, B: B]; GetGraph: PROC [ttols: TransistorTolerances _ NIL, cct: Core.CellType, internals: BOOL, sts: SubtreeSpec, ms: MergeSpec, SurveyPart: PROC [v: Vertex, core: REF ANY --UNION [Wire, CellInstance]--] _ NIL] RETURNS [sct: CellType]; GetCellType: PROC [sct: CellType] RETURNS [cct: --least recasted--Core.CellType]; ForgetGraph: PROC [sct: CellType]; CanonizeAndGetStructure: PROC [sct: CellType, core: --not necessarily canonical--Descendant] RETURNS [v: Vertex]; GetStructure: PROC [sct: CellType, core: --Canonized--Descendant] RETURNS [v: Vertex]; GetCore: PROC [v: Vertex] RETURNS [core: Element--could be any of the possible aliases--]; }. ŠStructureFromCore.Mesa Mike Spreitzer March 5, 1987 4:08:27 pm PST Last tweaked by Mike Spreitzer on March 24, 1987 2:47:38 pm PST Κ:– "cedar" style˜code™K™+K™?—K˜KšΟk œC˜LK˜šΠbxœœ œ˜(K˜Kšœ=˜AK˜Kš œœ œ ΟnœŸœ˜8Kš œœœŸœŸœ˜8K˜KšŸœœ œ!œ#Ÿ œœœœΟcœœœ˜γKšŸ œœœ œ˜QKšŸ œœ˜"K˜KšŸœœ œ œ ˜qKšŸ œœ  œ œ ˜VKšŸœœ œ (œ˜ZK˜K˜——…—²v