LichenFlatPrivate.Mesa
Last tweaked by Mike Spreitzer on November 3, 1988 3:34:27 pm PST
DIRECTORY IO, AbSets, LichenDataStructure;
LichenFlatPrivate: CEDAR DEFINITIONS
=
BEGIN OPEN Sets:AbSets, LichenDataStructure;
Status: TYPE ~ RECORD [expansions: INT ← 0, inst, type: ROPE ← NIL];
status: READONLY REF Status;
GroupInstancesToNewCT: PROC [d: Design, cis: Set, iName, tName: ROPE] RETURNS [newCT: CellType, newCI: CellInstance];
ExpandDesign: PROC [d: Design, cts: Set--of CellType-- ← nilSet];
RaiseGCs: PROC [d: Design, gcs: Set--of CellInstance--] RETURNS [newCis: Set--of CellInstance--];
SplitUnorganized: PROC [d: Design, take: Set--of CellInstance--] RETURNS [from, to: CellType];
CopyPWStructure: PROC [fromCT, toCT: CellType, class: PWClass, olds, cins: Set] RETURNS [was: OneToOne];
CopyInstStructure: PROC [fromCT, toCT: CellType, oldCis, cins: Set, ageWire: BiRel, xf: Transform, ofst: Int2] RETURNS [ciWas: OneToOne];
CopyCellType: PROC [oct: CellType] RETURNS [nct: CellType, portInv: OneToOne];
END.