DIRECTORY BoolOps USING [TTToStream, StreamToTT, BerkeleyTTToStream, BerkeleyStreamToTT], Commander USING [CommandProc, Register]; BerkeleyConvert: CEDAR PROGRAM IMPORTS Commander, BoolOps = BEGIN XeroxToBerkeley: Commander.CommandProc = BEGIN BoolOps.BerkeleyTTToStream[BoolOps.StreamToTT[cmd.in], cmd.out]; END; BerkeleyToXerox: Commander.CommandProc = BEGIN BoolOps.TTToStream[BoolOps.BerkeleyStreamToTT[cmd.in], cmd.out]; END; Commander.Register[key: "XeroxToBerkeley", proc: XeroxToBerkeley, doc: "Convert truth table formats"]; Commander.Register[key: "BerkeleyToXerox", proc: BerkeleyToXerox, doc: "Convert truth table formats"]; END. όFile: BerkeleyConvert.mesa Copyright c 1984 by Xerox Corporation. All rights reserved. Created by: Bob July 30, 1984 11:36:59 am PDT PDT Last Edited by: Mayo, August 24, 1984 12:38:47 pm PDT Convert to and from Berkeley Truth Table format. Κς˜– "Cedar" stylešœ™Jšœ Οmœ1™