Last tweaked by Mike Spreitzer on August 22, 1988 2:51:18 pm PDT

= {

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

}.