[Indigo]<Dragon>Cache>Rosemary>Cache.df=>CacheDecoder.Mesa
Last Edited by: Barth, March 13, 1984 7:45:54 pm PST
DIRECTORY CacheMicroMachine;
CacheDecoder: CEDAR DEFINITIONS =
BEGIN
MCtlMachineState:
TYPE =
RECORD[
SeqMaster, SeqSlave: BOOL,
Sequence: CacheMicroMachine.SequenceNumber,
SeqState: CacheMicroMachine.CycleNumber];
Decode: PROC[state: MCtlMachineState, decode: ATOM] RETURNS [conducts: BOOL];
END.