Mike Spreitzer March 5, 1987 4:08:27 pm PST

Last tweaked by Mike Spreitzer on March 24, 1987 2:47:38 pm PST

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--];

}.