MintPrivate.mesa
Copyright Ó 1986, 1987 by Xerox Corporation. All rights reserved.
Christian Le Cocq August 28, 1987 1:03:19 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 INTALL[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.