MintPrivate.mesa
Copyright Ó 1986, 1987 by Xerox Corporation. All rights reserved.
Christian Le Cocq July 6, 1987 1:00:53 pm PDT
DIRECTORY
CoreClasses, LinearSystem, Rope;
MintPrivate: CEDAR DEFINITIONS
~ BEGIN
Info: TYPE = REF InfoRec;
InfoRec: TYPE = RECORD [
totalNodes: INT ← 0,
eachWireCapa: REAL ← 0.0,
totalFets: ARRAY CoreClasses.TransistorType OF INT ← ALL[0],
nbOfSimulations: INT ← 0,
tStart: REAL ← 0.0,
tStop: REAL ← 1.0e5
];
MintPrivateData: PUBLIC TYPE = REF MintPrivateDataRec;
MintPrivateDataRec: TYPE = RECORD[
matrix: LinearSystem.MatrixN,
cstTerm: LinearSystem.ColumnN,
vInit: LinearSystem.ColumnN,
tau: LinearSystem.ColumnN,
copyMatrix: LinearSystem.MatrixN,
subMatrix: LinearSystem.MatrixN
fetSeqPool: ARRAY [1..128] OF LIST OF FetSeq ← ALL[NIL]
];
CreatePrivate: PROC RETURNS [private: MintPrivateData];
END.