<> <> <> <> DIRECTORY Core, CoreFlatten; RoseControl: CEDAR DEFINITIONS = BEGIN <> <> <> <> <> ROPE: TYPE = Core.ROPE; Simulation: TYPE = REF SimulationRec; SimulationRec: TYPE; Instantiate: PROC [cellType: Core.CellType, expansionControl: CoreFlatten.FlattenControl] RETURNS [simulation: Simulation]; flattenToBehavior: CoreFlatten.FlattenControl; FlattenStructure: PROC [from: Core.CellType] RETURNS [CoreFlatten.FlattenControl]; Test: PROC [simulation: Simulation, testProc: TestProc, testData: REF ANY _ NIL, stateToo: BOOL _ FALSE, steady: BOOL _ TRUE]; TestProc: TYPE = PROC [ testeeType: Core.CellType, testData, switchInstructions, simpleInstructions, driveInstructions, stateAny: REF ANY, Eval: PROC ]; END.