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: ROPE, tNames: Set] RETURNS [newCT: CellType, newCI: CellInstance]; ExpandDesign: PROC [d: Design, cts: Set--of CellType-- _ nilSet, except: CellType _ NIL]; RaiseGCs: PROC [d: Design, gcs: Set--of CellInstance--] RETURNS [newCis: Set--of CellInstance--]; LowerKidsOnce: PROC [d: Design, kids: Set--of CellInstance--, sib: CellInstance] RETURNS [loweredCis: Set--of CellInstance--]; SplitUnorganized: PROC [d: Design, take: Set--of CellInstance--] RETURNS [from, to: CellType]; MergeUnorganized: PROC [a, b: CellType, iAssoc: OneToOne--instance of a f instance of b--] RETURNS [kept, lost: CellType, ciWas: OneToOne--kept f lost--]; GuessIAssoc: PROC [a, b: CellType] RETURNS [tAssoc: OneToOne]; CopyPWStructure: PROC [fromCT, toCT: CellType, class: PWClass, olds, cins: Set] RETURNS [was: OneToOne--wire in toCT f wire in fromCT--]; CopyInstStructure: PROC [fromCT, toCT: CellType, oldCis, cins: Set, ageWire: InvFn--wire in toCT _ wire in fromCT--, xf: Transform, ofst: Int2] RETURNS [ciWas: OneToOne--ci in toCT f ci in fromCT--]; CopyCellType: PROC [oct: CellType] RETURNS [nct: CellType, portInv: OneToOne]; END. ^LichenFlatPrivate.Mesa Last tweaked by Mike Spreitzer on April 17, 1989 11:26:10 am PDT ΚΕ– "cedar" style˜code™Kšœ@™@—K˜KšΟk œœ˜*K˜KšΡbnxœœ ˜$Kšœ˜K˜KšœœΟnœ˜,K˜Kš œœœœœœ˜DK˜Kšœœœ˜K˜KšŸœœœœ(˜{K˜KšŸ œœΟcœœ˜YK˜Kš Ÿœœ œœ  œ˜aK˜Kš Ÿ œœ œœ œ˜~K˜KšŸœœ œœ˜^K˜KšŸœœ" Πcm œœ' ‘ œ˜šK˜KšŸ œœœ˜>K˜Kš Ÿœœ;œ ‘ œ˜‰K˜Kš Ÿœœ; !œœ  ‘ œ˜ΗK˜KšŸ œœœ$˜NK˜Kšœ˜—…—ˆ«