DIRECTORYIO, Rope;AlpsBool: CEDAR DEFINITIONS = BEGINROPE: TYPE = Rope.ROPE;VarNb: TYPE = [0..999);CompClass: TYPE = {case11, case10, caseX1, caseX0, case1X, case0X, caseXNotX, caseXY};RopeFromCompClass: PROC [case: CompClass] RETURNS [rope: ROPE];Expression: TYPE = REF ExpressionRec;ExpressionRec: TYPE = MACHINE DEPENDENT RECORD [varNb: VarNb,				-- variable corresponding to this level of currificationnorm: BOOL _ TRUE, 		-- says whether the record represents the information (TRUE) or its complement (FALSE)case: CompClass,				-- Class of the compositionspare: [0..4) _ 0,subexpr1, subexpr2: Expression			-- they are not always useful, but that's the cheapest way to have them];TableOfVariables: TYPE = REF TableOfVariablesRec;TableOfVariablesRec: TYPE = RECORD [outputs: LIST OF OutputRef _ NIL,inputs: SEQUENCE size: VarNb OF RECORD [name: ROPE _ NIL, fromOutput: OutputRef _ NIL		-- the corresponding output for latches or auxiliary variables]];OutputRef: TYPE = REF OutputRec;OutputRec: TYPE = RECORD [name: ROPE _ NIL, type: OutputType _ output,expr: Expression,fedBackInput: VarNb _ 0			-- the corresponding input for latches or auxiliary variables];OutputType: TYPE = {output, aux, latch};true: READONLY Expression; false: READONLY Expression;And: PROC [table: TableOfVariables, expr1, expr2, expr3, expr4, expr5, expr6: Expression _ true] RETURNS [Expression];AndList: PROC [table: TableOfVariables, exprs: LIST OF Expression] RETURNS [Expression];AndTwo: PROC [table: TableOfVariables, expr1, expr2: Expression, norm1, norm2: BOOL _ TRUE] RETURNS [Expression];Or: PROC [table: TableOfVariables, expr1, expr2, expr3, expr4, expr5, expr6: Expression _ false] RETURNS [Expression];OrList: PROC [table: TableOfVariables, exprs: LIST OF Expression] RETURNS [Expression];OrTwo: PROC [table: TableOfVariables, expr1, expr2: Expression, norm1, norm2: BOOL _ TRUE] RETURNS [result: Expression];Nor: PROC [table: TableOfVariables, expr1, expr2, expr3, expr4, expr5, expr6: Expression _ false] RETURNS [Expression];NorList: PROC [table: TableOfVariables, exprs: LIST OF Expression] RETURNS [Expression];NorTwo: PROC [table: TableOfVariables, expr1, expr2: Expression, norm1, norm2: BOOL _ TRUE] RETURNS [Expression];Not: PROC [expr: Expression] RETURNS [Expression];Norm: PROC [expr: Expression, norm: BOOL] RETURNS [Expression];Xor: PROC [table: TableOfVariables, expr1, expr2: Expression] RETURNS [expr: Expression];If: PROC [table: TableOfVariables, expr, exprTrue, exprFalse: Expression, norm: BOOL _ TRUE] RETURNS [Expression];Var, ExprFromVarNb: PROC [varNb: VarNb, norm: BOOL _ TRUE] RETURNS [Expression];MakeComp: PROC [case: CompClass, varNb: VarNb, subexpr1, subexpr2: Expression, norm: BOOL _ TRUE] RETURNS [Expression];Comp: PROC [table: TableOfVariables, varNb: VarNb, whenTrue, whenFalse: Expression, norm: BOOL _ TRUE] RETURNS [Expression];WhenTrue: PROC [expr: Expression] RETURNS [Expression];WhenFalse: PROC [expr: Expression] RETURNS [Expression];ExpandAux: PROC [table: TableOfVariables, expr: Expression] RETURNS [Expression];-- Expanses expr by replacing all occurences of auxVarNb by auxExprExpanseAux: PROC [table: TableOfVariables, expr, auxExpr: Expression, auxVarNb: VarNb] RETURNS [Expression];Equal: PROC [table: TableOfVariables, expr1, expr2: Expression, norm: BOOL _ TRUE] RETURNS [BOOL];FullEqual: PROC [table: TableOfVariables, expr1, expr2: Expression, norm: BOOL _ TRUE] RETURNS [BOOL];RopeFromExpression: PROC [table: TableOfVariables, expr: Expression, norm: BOOL _ TRUE, deep: INT _ 4] RETURNS [ROPE];AlpsRopeFromExpr: PROC [table: TableOfVariables, expr: Expression] RETURNS [rope: ROPE];NewName: PROC [rope: ROPE _ NIL] RETURNS [ROPE];InitTableOfVariables: PROC [size: INT] RETURNS [table: TableOfVariables];AddOutput: PUBLIC PROC [table: TableOfVariables, output: OutputRef];VarNbFromRope: PROC [table: TableOfVariables, name: ROPE] RETURNS [varNb: VarNb];RopeFromVarNb: PROC [table: TableOfVariables, varNb: VarNb] RETURNS [name: ROPE _ NIL];Input: PROC [text: ROPE] RETURNS [ROPE];Output: PROC [t1, t2, t3, t4, t5: ROPE _ NIL];ReadPLAFile: PROC [fileName: ROPE, inputs, outputs: LIST OF ROPE _ NIL] RETURNS [table: TableOfVariables];DumpTT: PROC [table: TableOfVariables, stream: IO.STREAM];DumpAlps: PROC [table: TableOfVariables, name: ROPE, stream: IO.STREAM];EachNodeProc: TYPE = PROC [expr: Expression] RETURNS [quit: BOOL _ FALSE];Enumerate: PROC [expr: Expression, eachNodeProc: EachNodeProc];EachBranchProc: TYPE = PROC [expr: Expression] RETURNS [newExpr: Expression];CopyTree: PROC [table: TableOfVariables, expr: Expression, eachBranchProc: EachBranchProc] RETURNS [newExpr: Expression];Size: PROC [table: TableOfVariables, expr: Expression, varNb: VarNb] RETURNS [size: INT _ 0];NbOfCaseXY: PROC [table: TableOfVariables, expr: Expression] RETURNS [nbCaseXY: INT _ 0];NbOfCaseXNotX: PROC [table: TableOfVariables, expr: Expression] RETURNS [nbCaseXNotX: INT _ 0];NbOfCasesArray: TYPE = ARRAY CompClass OF INT _ ALL[0];MaxWidth: PROC [table: TableOfVariables, expr: Expression] RETURNS [INT];MinWidth: PROC [table: TableOfVariables] RETURNS [minWidth: INT _ 0];UsedVarsSequence: TYPE = REF UsedVarsSequenceRec;UsedVarsSequenceRec: TYPE = RECORD [contents: PACKED SEQUENCE size: VarNb OF BOOL];NoUsedVarsSequence: PROC [table: TableOfVariables] RETURNS [allFalseUsedVarSequence: UsedVarsSequence];-- Adds to usedVars all the vars used in thes Expression exprExprAddUsedVars: PROC [expr: Expression, usedVars: UsedVarsSequence];NbVars: PROC [table: TableOfVariables, expr: Expression] RETURNS [nb: INT _ 0];NbUsedVar: PROC [expr: Expression, varNb: VarNb] RETURNS [nbUsedVar: INT _ 0];Deep: PROC [table: TableOfVariables, expr: Expression] RETURNS [INT];NbOfVars: PROC [table: TableOfVariables] RETURNS [input, aux, output, latch: VarNb _ 0];PrintExpression: PROC [table: TableOfVariables, output: OutputRef, printLevel: INT _ 4] RETURNS [size, nbOfCaseXY, maxWidth, deep: INT];TableStatistics: PROC [table: TableOfVariables, print: BOOL _ FALSE] RETURNS [area, sigmaSize, sigmaNbOfCaseXY, sigmaMaxWidth, maxDeep: INT _ 0];PrintTable: PROC [table: TableOfVariables, printLevel: INT _ 4];RenumProc: TYPE = PROC [oldVarNb: VarNb] RETURNS [newVarNb: VarNb];IdentityRenum: RenumProc;ChangeVars: PROC [table: TableOfVariables, expr: Expression, renumProc: RenumProc] RETURNS [Expression];Factorize: PROC [table: TableOfVariables, expr, aux: Expression, auxVar: VarNb] RETURNS [Expression];Permute2Vars: PROC [table: TableOfVariables, varNb1, varNb2: VarNb] RETURNS [newTable: TableOfVariables];ExprWhenVarIs: PROC [table: TableOfVariables, expr: Expression, varNb: VarNb, varNbNorm: BOOL _ TRUE] RETURNS [newExpr: Expression];Checksum: PROC [table: TableOfVariables] RETURNS [checksum: INT _ 0];EstimatedArea: PROC [table: TableOfVariables] RETURNS [area: INT _ 0];END.  ~  AlpsBool.mesaCreated by Bertrand Serlet, November 26, 1985 11:51:02 am PSTLast edited by serlet June 15, 1985 1:26:11 pm PDTThis program defines all the data structures for manipulating BoolOps.Types and data structuresConstantsUsual OperatorsThis one is the primitive for the othersReturns (expr AND exprTrue) OR (~expr AND exprFalse)Norm specifies whether or not If should negate both exprTrue and exprFalseCreates an expression from a variableInstanciation of expressionsLow level function for creating Expressions.Creates an expression, setting the case field to the appriopriate value depending on possible simplifications.If comp=FALSE then both whenTrue and whenFalse have in fact opposite valuesDoes NOT take expr.norm into accountExpanses once the expression expr, assuming that its first variable is an auxiliaryProcs operating on expressionsThis Equal follows auxVar for equalityUtilitiesMay raise TerminalIO.UserAbortAlps heartTo create a fresh UsedVarsSequence with contents being ALL[FALSE]printLevel=0 prints nothing and just returns statisticsWith printLevel=0, just final statistics are printedÊÒ  ˜ šœ™J™=J™2—J™ J™FJ™ šÏk	˜	Jšœ˜	—J˜ •StartOfExpansion[]šÏbœœœ˜J˜ Jš˜J˜ ™J˜ JšÐbkœœœ˜J™ Jšžœœ˜J˜ Jšž	œœG˜VJ˜ JšÏnœœœœ˜?J˜ Jšž
œœœ˜%šœœœ˜0JšœÏc8˜IJšœœœ¡V˜kJšœ¡˜/J˜Jšœ!¡G˜hJ˜—J˜ Jšžœœœ˜1šœœœ˜$Jšœ	œœœ˜!šœœœœ˜(Jšœœœ˜Jšœœ¡>˜[Jšœ˜——J˜ Jšž	œœœ˜ šœœœ˜Jšœœœ˜Jšœ˜Jšœ˜Jšœ¡=˜WJ˜J˜ —Jšž
œœ˜(—J˜ šœ	™	J™ Jšžœœ˜Jšžœœ˜—J˜ ™J˜ Jš œœXœ˜vJ˜ Jš
 œœ"œœœ˜XJ˜ Jš
 œœCœœœ˜qJ˜ Jš œœYœ˜vJ˜ Jš
 œœ"œœœ˜WJ˜ Jšœ(™(Jš
 œœCœœœ˜xJ˜ Jš œœYœ˜wJ˜ Jš
Ðbnœœ"œœœ˜XJ˜ Jš
 œœCœœœ˜qJ˜ Jš œœœ˜2J˜ Jš œœœœ˜?J˜ Jš œœ5œ˜YJ˜ Jšœ4™4JšœJ™JJš
 œœHœœœ˜rJ˜ Jšœ%™%Jš
 œœœœœ˜PJ˜ —™J™ Jšœ,™,Jš
 œœGœœœ˜wJ˜ Jšœn™nJšœK™KJš
 œœPœœœ˜|J˜ Jšœ$™$Jš œœœ˜7Jš 	œœœ˜8J˜ JšœS™SJš 	œœ-œ˜QJ˜ Jš¡C˜CJš 
œœGœ˜lJ˜ —™J˜ Jš¢œœ;œœœœ˜bJ™ Jšœ&™&Jš¢	œœ;œœœœ˜fJ˜ Jš œœ3œœœœœ˜vJ˜ Jš œœ-œœ˜X—J˜ ™	J™ Jš œœœœœœ˜0J™ Jš œœœœ˜IJ˜ Jš 	œœ3˜DJ˜ Jš œœ!œœ˜QJ˜ Jš
 œœ)œœœ˜WJ˜ Jšœ™Jš
 œœœœœ˜(Jš œœœœ˜.—J˜ ™
J˜ Jš œœœœœœœœ˜jJ˜ Jš œœ#œœ˜:J˜ Jš
 œœ!œ
œœ˜HJ˜ Jš¢œœœœœœ˜JJš 	œœ0˜?J˜ Jš œœœœ˜MJš œœMœ˜yJ˜ Jš œœ;œœ˜]J˜ Jš 
œœ-œœ˜YJ˜ Jš œœ-œœ˜_J˜ Jšžœœœœœœ˜7J˜ Jš œœ-œœ˜IJ˜ Jš œœœœ˜EJ˜ Jšžœœœ˜1šœœœ˜$Jšœ
œœœ˜-J˜—J˜ Jšœžœ™AJš œœœ-˜gJ˜ Jš¡=˜=Jš œœ0˜EJ˜ Jš œœ-œœ˜OJ˜ Jš¢	œœ"œœ˜NJ˜ Jš œœ-œœ˜EJ˜ Jš œœœ(˜XJ˜ Jšœ7™7Jš
 œœ:œœ$œ˜ˆJ˜ Jš œœ"œœœ<œ˜‘J˜ Jšœ4™4Jš 
œœ'œ˜@J˜ Jš 	œœœœ˜CJšžœ˜J˜ Jš 
œœCœ˜hJ˜ Jš 	œœAœ˜eJ˜ Jš¢œœ2œ˜iJ˜ š
 œœFœœœ˜„J˜ —Jš¢œœœœ˜EJ˜ Jš œœœœ˜F—J˜ Jšœ˜—J˜ J˜ J˜ — …—    T  (¤  