
    <<LichenTransforms.Mesa>>
    <<Last Edited by: Spreitzer, March 20, 1986 7:47:33 pm PST>>

    DIRECTORY LichenDataStructure, LichenSetTheory, IO;

    LichenTransforms: CEDAR DEFINITIONS =

        BEGIN OPEN LichenDataStructure, LichenSetTheory;

        Differentiate: PROC [design: Design, instances: RefSeq--of Vertex--] RETURNS [newCT: CellType];
        Undifferentiate: PROC [design: Design, toType: CellType, fromTypes: RefSeq--of CellType--] RETURNS [changed: RefSeq--of Vertex--];

        LowerChildren: PROC [design: Design, childType: CellType, sibber: Mapper--child         RefSeq--role 
        RaiseGrandchildren: PROC [design: Design, gcs: Set--of Vertex--] RETURNS [childType: CellType, sibber: Mapper--child         

        ExpandVertex: PROC [design: Design, child: Vertex];
        ExpandChildren: PROC [design: Design, parent: CellType, flatten: BOOL _ FALSE];
        Group: PROC [design: Design, parent: CellType, children: RefSeq--of Vertex--] RETURNS [newChild: Vertex, newType: CellType];

        END.