<> <> <> DIRECTORY Core, CoreStructuralComparison, RefTab, 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]; DroppedConnection: SIGNAL [subroot: Core.CellType, public, actual: DescendantWire]; BogusMerge: SIGNAL [subroot: Core.CellType, w1, w2: DescendantWire, from: DescendantCellInstance]; GetGraph: PROC [ttols: TransistorTolerances _ NIL, cct: Core.CellType, internals: BOOL, specData: REF ANY, sts: SubtreeSpec, ms: MergeSpec, SurveyPart: PROC [v: Vertex, core: REF ANY --UNION [Wire, CellInstance]--] _ NIL, vs: ViewStats _ NIL] RETURNS [sct: CellType]; GetCellType: PROC [sct: CellType] RETURNS [cct: --least recasted--Core.CellType]; ForgetGraph: PROC [sct: CellType]; CanonizeAndGetStructure: PROC [sct: CellType, insert: DescendantCellInstancePrivate, 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--]; GetCommonalityConstraints: PROC [subroot: Core.CellType] RETURNS [RefTab.Ref]; <> }.