<> <> <> <<>> DIRECTORY Core, IFU2, Rosemary, EU2; IFUTest: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Core.ROPE; QPh: TYPE = IFU2.QPh; StateSeq: TYPE = REF StateSeqRec; StateSeqRec: TYPE = RECORD[seq: SEQUENCE size: CARDINAL OF IFUState]; IFUState: TYPE = IFU2.IFUState; ShowCluster2: PROC; ShowComplete: PROC[states: IFUTest.StateSeq]; InitStates: PROC[sim: Rosemary.Simulation, size: CARDINAL] RETURNS[states: StateSeq]; UpdateStates: PROC[sim: Rosemary.Simulation, states: StateSeq, pass: INT, qph: QPh]; UpdateState: UpdateProc; ifuUpdateProc: ATOM; UpdateProc: TYPE = PROC[sim: Rosemary.Simulation, state: IFUState, pass: INT, qph: QPh]; Library: PROC; Adder: PROC [size: INT]; Formality: PROC; RestructuredCell: PROC[public: Core.Wire, cell: Core.CellType] RETURNS[new: Core.CellType]; PLATestIn: TYPE = RECORD[state: INT[0..16) _ 0]; PLATestOut: TYPE = RECORD[next: INT[0..16) _ 0]; END.