DIRECTORY Core, IFUTop, Rosemary, EU; IFUTest: CEDAR DEFINITIONS = BEGIN ROPE: TYPE = Core.ROPE; QPh: TYPE = IFUTop.QPh; StateSeq: TYPE = REF StateSeqRec; StateSeqRec: TYPE = RECORD[seq: SEQUENCE size: CARDINAL OF IFUState]; IFUState: TYPE = IFUTop.IFUState; ShowCluster: 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. °IFUTest.mesa Copyright c 1986 by Xerox Corporation. All rights reserved. Last Edited by Curry, October 16, 1986 5:35:34 pm PDT Don Curry March 31, 1987 8:11:03 pm PST Κœ˜šœ ™ Jšœ<™