DIRECTORY LichenDataStructure, SetBasics; LichenArrayPrivate: CEDAR DEFINITIONS = { OPEN LichenDataStructure; DWContains: SetBasics.TestProc; DWPrint: SetBasics.PrintProc; SVContains: SetBasics.TestProc; ScanStatEdgesFrom: PROC [sr: StatRep, from: StatVertex, start: ARRAY BOOL OF BOOL, Test: PROC [se: StatEdge, ob: BOOL] RETURNS [BOOL]] RETURNS [found: BOOL _ FALSE, se: StatEdge _ NIL, ob: BOOL _ FALSE]; RedundantEdge: PROC [act: CellType, avoid: StatEdge, a: Array, sep: StatEdgeSpec] RETURNS [BOOL]; RemStatEdge: PROC [d: Design, sr: StatRep, sep: StatEdgeSpec]; GetDumbWires: PROC [a: Array, ep: Port, mayAdd: BOOL] RETURNS [dws: RefBiRel--cai _ DumbWire--]; GetDumbChild: PROC [act: CellType, ep: Port, pdw: DumbWire, idx: LNAT] RETURNS [ChildDumbWire]; EnsureStatEdge: PROC [d: Design, sr: StatRep, sep: StatEdgeSpec, mayHaveParent, mayHaventParent, close: BOOL] RETURNS [StatEdge]; FindStatEdge: PROC [sr: StatRep, sep: StatEdgeSpec, careAboutOthers: BOOL] RETURNS [fse: StatEdge _ NIL, others: BOOL _ FALSE]; AddStatEdge: PROC [d: Design, sr: StatRep, sep: StatEdgeSpec] RETURNS [se: StatEdge]; DumbifyStatEdge: PROC [act: CellType, se: StatEdge, supering: BOOL]; ParentSEP: PROC [d: Design, sep: StatEdgeSpec] RETURNS [StatEdgeSpec]; ChildSEP: PROC [d: Design, sep: StatEdgeSpec, i: NATURAL] RETURNS [StatEdgeSpec]; }. `LichenArrayPrivate.Mesa Last tweaked by Mike Spreitzer on August 22, 1988 2:51:18 pm PDT ΚΉ– "cedar" style˜code™K™@—K˜KšΟk œ ˜)K˜šΟnœœ ˜%Kšœ˜Kšœ˜K˜Kšž œ˜Kšžœ˜Kšž œ˜K˜Kš"žœœ(œœœœžœœœœœœ œœœœœ˜ΛKšž œœ?œœ˜aKšž œœ-˜>K˜Kš ž œœœœΟcΠcmŸ œ˜`Kšž œœ/œœ˜_K˜KšžœœTœœ ˜K˜Kšž œœ3œœœ œœ˜Kšž œœ-œ˜UKšžœœ)œ˜DK˜Kšž œœ œ˜FKšžœœ#œœ˜QK˜K˜——…—>W