| /dports/math/linbox/linbox-1.6.3/linbox/algorithms/ |
| H A D | rational-cra-var-prec.h | 130 Integer Mint ; Builder_.getModulus(Mint); in operator() local
134 int k ; Builder_.getThreshold(k); in operator() local
266 Integer Mint ; Builder_.getModulus(Mint); in operator() local
279 int k ; in operator() local
303 int k; Builder_.getThreshold(k); in operator() local
362 Integer Mint ; Builder_.getModulus(Mint); in operator() local
375 int k ; in operator() local
399 int k; Builder_.getThreshold(k); in operator() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
| H A D | plaMan.c | 46 int i, k, Count, nMints = ( 1 << nVars ); in Pla_GenSorter() local
116 int i, k, Lit, Mint; in Pla_GenFromMinterms() local
152 int Mint, Count = 0; in Pla_GenRandom() local
172 int i, k, Count; in Pla_ManGenerate() local
224 word * pCube; int i, k, Lit, Count; in Pla_ManConvertFromBits() local
253 Vec_Int_t * vCube; int i, k, Lit; in Pla_ManConvertToBits() local
275 int i, k, Dist, Count = 0; in Pla_ManDist1Num() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/ |
| H A D | mfsSat.c | 48 int RetValue, nBTLimit, iVar, b, Mint; in Abc_NtkMfsSolveSat_iter() local
158 int i, k, Lits[2]; in Abc_NtkAddOneHotness() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/ |
| H A D | abcSop.c | 381 int nMints, Counter, i, k; in Abc_SopCreateFromTruth() local
422 int i, k, Entry, Literal; in Abc_SopCreateFromIsop() local
500 int k, nVars, Entry; in Abc_SopToIsop() local
925 int nTruthSize, nVars, Digit, Length, Mint, i, b; in Abc_SopFromTruthBin() local
994 int nTruthSize, nVars, Digit, Length, Mint, i, b; in Abc_SopFromTruthHex() local
1140 int i, k; in Abc_SopDecoderPos() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
| H A D | sbdSat.c | 69 int i, k, d, v, n, iVar = 0; in Sbd_ProblemSetup() local
146 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad1() local
174 int pLits[8], nLits, i, k, iLit, RetValue; in Sbd_ProblemLoad2() local
225 int RetValue, n, i, j, j2, k, k2, d, Count, nVars = 0; in Sbd_SolverTopo() local
372 int n, i, k; in Sbd_SolverTopoPrint() local
527 int i, k, v, nLutPars = (1 << K) - 1; in Sbd_SolverTruth() local
534 word Truth = 0, Mint; in Sbd_SolverTruth() local
550 int i, k, v, nLutPars = (1 << K) - 1; in Sbd_SolverTruthWord() local
598 int i, k, m, status, iMint, Iter, fCompl = (int)(pTruthInit[0] & 1); in Sbd_SolverFunc() local
768 int Res, i, k, nLutPars = (1 << K) - 1; in Sbd_SolverFuncTest() local
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTune.c | 143 int i, k; in Ifn_NtkPrint() local
380 int i, k, n, f, nFans, iFan; in Ifn_NtkParseInt2() local
425 int i, k; in Ifn_NtkParseConstraints() local
491 int i, k, iLit, * pVarMap = ABC_FALLOC( int, p->nParsVIni ); in Ifn_ManStrFindModel() local
745 int i, k, iLit, iVar = 0, nVarsNew, pVarMap[1000]; in If_ManSatDeriveGiaFromBits() local
834 int k, i, iLut, iVar; in If_ManDeriveGiaFromCells() local
1035 int RetValue, k, c, Cube, Literal, nLits, pLits[IFN_INS]; in Ifn_NtkAddConstrOne() local
1061 int i, k, pVars[IFN_INS]; in Ifn_NtkAddConstraints() local
1077 int i, k, RetValue, pVars[2*IFN_INS]; in Ifn_NtkAddConstraints() local
1294 int i, v, Mint; in Ifn_NtkMatchCollectPerm() local
[all …]
|
| /dports/science/mbdyn/mbdyn-1.7.3/modules/module-wheel4/ |
| H A D | module-wheel4.h | 147 Vec3 Mint; // viscoelastic element moment between ring and patch variable
189 Vec3 k; // unit vector in z-dir variable
|