File: BerkeleyConvert.mesa   
Copyright © 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.
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.