| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddAddIte.c | 166 DdNode *Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*r,*t,*e; in cuddAddScalarInverseRecur()
218 Hv = cuddT(h); Hnv = cuddE(h); in cuddAddScalarInverseRecur()
220 Hv = Hnv = h; in cuddAddScalarInverseRecur()
229 e = Cudd_addIteConstant(dd,Fnv,Gnv,Hnv); in cuddAddScalarInverseRecur()
448 DdNode *r,*Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*t,*e;
512 Hv = cuddT(h); Hnv = cuddE(h);
514 Hv = Hnv = h;
522 e = cuddAddIteRecur(dd,Fnv,Gnv,Hnv);
|
| H A D | cuddBddIte.c | 216 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in Cudd_bddIteConstant() local
276 Hv = cuddT(H); Hnv = cuddE(H); in Cudd_bddIteConstant()
279 Hnv = Cudd_Not(Hnv); in Cudd_bddIteConstant()
282 Hv = Hnv = h; in Cudd_bddIteConstant()
291 e = Cudd_bddIteConstant(dd, Fnv, Gnv, Hnv); in Cudd_bddIteConstant()
749 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in cuddBddIteRecur() local
832 Hv = cuddT(H); Hnv = cuddE(H); in cuddBddIteRecur()
835 Hnv = Cudd_Not(Hnv); in cuddBddIteRecur()
838 Hv = Hnv = h; in cuddBddIteRecur()
846 e = cuddBddIteRecur(dd,Fnv,Gnv,Hnv); in cuddBddIteRecur()
|
| H A D | cuddDecomp.c | 1453 DdNode *Hv, *Hnv; in ZeroCase() local
1566 Hnv = cuddE(H); in ZeroCase()
1568 Hnv = Cudd_NotCond(Hnv, Cudd_IsComplement(node)); in ZeroCase()
1570 if ((Hv == zero) || (Hnv == zero)) { in ZeroCase()
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddAddIte.c | 147 DdNode *Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*r,*t,*e; in Cudd_addIteConstant() local
199 Hv = cuddT(h); Hnv = cuddE(h); in Cudd_addIteConstant()
201 Hv = Hnv = h; in Cudd_addIteConstant()
210 e = Cudd_addIteConstant(dd,Fnv,Gnv,Hnv); in Cudd_addIteConstant()
430 DdNode *r,*Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*t,*e; in cuddAddIteRecur() local
496 Hv = cuddT(h); Hnv = cuddE(h); in cuddAddIteRecur()
498 Hv = Hnv = h; in cuddAddIteRecur()
506 e = cuddAddIteRecur(dd,Fnv,Gnv,Hnv); in cuddAddIteRecur()
|
| H A D | cuddBddIte.c | 181 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in Cudd_bddIteConstant() local
241 Hv = cuddT(H); Hnv = cuddE(H); in Cudd_bddIteConstant()
244 Hnv = Cudd_Not(Hnv); in Cudd_bddIteConstant()
247 Hv = Hnv = h; in Cudd_bddIteConstant()
256 e = Cudd_bddIteConstant(dd, Fnv, Gnv, Hnv); in Cudd_bddIteConstant()
723 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in cuddBddIteRecur() local
808 Hv = cuddT(H); Hnv = cuddE(H); in cuddBddIteRecur()
811 Hnv = Cudd_Not(Hnv); in cuddBddIteRecur()
814 Hv = Hnv = h; in cuddBddIteRecur()
822 e = cuddBddIteRecur(dd,Fnv,Gnv,Hnv); in cuddBddIteRecur()
|
| H A D | cuddDecomp.c | 1408 DdNode *Hv, *Hnv; in ZeroCase() local
1522 Hnv = cuddE(H); in ZeroCase()
1524 Hnv = Cudd_NotCond(Hnv, Cudd_IsComplement(node)); in ZeroCase()
1526 if ((Hv == Cudd_Not(DD_ONE(dd))) || (Hnv == Cudd_Not(DD_ONE(dd)))) { in ZeroCase()
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddAddIte.c | 166 DdNode *Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*r,*t,*e; in Cudd_addIteConstant() local
218 Hv = cuddT(h); Hnv = cuddE(h); in Cudd_addIteConstant()
220 Hv = Hnv = h; in Cudd_addIteConstant()
229 e = Cudd_addIteConstant(dd,Fnv,Gnv,Hnv); in Cudd_addIteConstant()
448 DdNode *r,*Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*t,*e; in cuddAddIteRecur() local
512 Hv = cuddT(h); Hnv = cuddE(h); in cuddAddIteRecur()
514 Hv = Hnv = h; in cuddAddIteRecur()
522 e = cuddAddIteRecur(dd,Fnv,Gnv,Hnv); in cuddAddIteRecur()
|
| H A D | cuddBddIte.c | 216 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in Cudd_bddIteConstant() local
276 Hv = cuddT(H); Hnv = cuddE(H); in Cudd_bddIteConstant()
279 Hnv = Cudd_Not(Hnv); in Cudd_bddIteConstant()
282 Hv = Hnv = h; in Cudd_bddIteConstant()
291 e = Cudd_bddIteConstant(dd, Fnv, Gnv, Hnv); in Cudd_bddIteConstant()
749 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in cuddBddIteRecur() local
832 Hv = cuddT(H); Hnv = cuddE(H); in cuddBddIteRecur()
835 Hnv = Cudd_Not(Hnv); in cuddBddIteRecur()
838 Hv = Hnv = h; in cuddBddIteRecur()
846 e = cuddBddIteRecur(dd,Fnv,Gnv,Hnv); in cuddBddIteRecur()
|
| H A D | cuddDecomp.c | 1453 DdNode *Hv, *Hnv; in ZeroCase() local
1566 Hnv = cuddE(H); in ZeroCase()
1568 Hnv = Cudd_NotCond(Hnv, Cudd_IsComplement(node)); in ZeroCase()
1570 if ((Hv == zero) || (Hnv == zero)) { in ZeroCase()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddAddIte.c | 170 DdNode *Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*r,*t,*e; in Cudd_addIteConstant() local
222 Hv = cuddT(h); Hnv = cuddE(h); in Cudd_addIteConstant()
224 Hv = Hnv = h; in Cudd_addIteConstant()
233 e = Cudd_addIteConstant(dd,Fnv,Gnv,Hnv); in Cudd_addIteConstant()
452 DdNode *r,*Fv,*Fnv,*Gv,*Gnv,*Hv,*Hnv,*t,*e; in cuddAddIteRecur() local
516 Hv = cuddT(h); Hnv = cuddE(h); in cuddAddIteRecur()
518 Hv = Hnv = h; in cuddAddIteRecur()
526 e = cuddAddIteRecur(dd,Fnv,Gnv,Hnv); in cuddAddIteRecur()
|
| H A D | cuddBddIte.c | 180 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in Cudd_bddIteConstant() local
240 Hv = cuddT(H); Hnv = cuddE(H); in Cudd_bddIteConstant()
243 Hnv = Cudd_Not(Hnv); in Cudd_bddIteConstant()
246 Hv = Hnv = h; in Cudd_bddIteConstant()
255 e = Cudd_bddIteConstant(dd, Fnv, Gnv, Hnv); in Cudd_bddIteConstant()
640 DdNode *r, *Fv, *Fnv, *Gv, *Gnv, *H, *Hv, *Hnv, *t, *e; in cuddBddIteRecur() local
723 Hv = cuddT(H); Hnv = cuddE(H); in cuddBddIteRecur()
726 Hnv = Cudd_Not(Hnv); in cuddBddIteRecur()
729 Hv = Hnv = h; in cuddBddIteRecur()
737 e = cuddBddIteRecur(dd,Fnv,Gnv,Hnv); in cuddBddIteRecur()
|
| H A D | cuddDecomp.c | 1457 DdNode *Hv, *Hnv; in ZeroCase() local
1570 Hnv = cuddE(H); in ZeroCase()
1572 Hnv = Cudd_NotCond(Hnv, Cudd_IsComplement(node)); in ZeroCase()
1574 if ((Hv == zero) || (Hnv == zero)) { in ZeroCase()
|
| /dports/misc/patchutils/patchutils-0.4.2/tests/lsdiff13/ |
| H A D | run-test | 45 ${LSDIFF} -Hnv diff1 diff2 2>errors >index || exit 1
|
| /dports/textproc/link-grammar/link-grammar-5.8.0/data/ar/words/ |
| H A D | words.IV | 455 Hnv.IV
|
| H A D | words.PV | 2081 Hnv.PV
|
| H A D | words.n | 2921 Hnv.N
|
| /dports/science/py-pyked/PyKED-0.4.1-16-gfcccaf8/docs/ |
| H A D | rcm-example.ipynb | 1132 …iggAIKKFBQAQPAgg5cxs32r5qMQS2ubQEDwLapPLBRIB7uELd2G5uYqN3jLR7WECvb4mv95/Hx+Hnv/nj9vn1x7PgEeyYm2TM2…
|
| /dports/misc/mxnet/incubator-mxnet-1.9.0/example/recommenders/ |
| H A D | demo1-MF.ipynb | 584 …YdUBd01+ZV+E9hNGIh6yo978kfc21JNE6CPMNruvQZ5mOaYwRcRjwL3r7XWEs/+c/ePYbX+6/++Hnv/V9A77ljGUtHf7+B3+Kf…
|
| /dports/misc/py-mxnet/incubator-mxnet-1.9.0/example/recommenders/ |
| H A D | demo1-MF.ipynb | 584 …YdUBd01+ZV+E9hNGIh6yo978kfc21JNE6CPMNruvQZ5mOaYwRcRjwL3r7XWEs/+c/ePYbX+6/++Hnv/V9A77ljGUtHf7+B3+Kf…
|
| /dports/mail/thunderbird/thunderbird-91.8.0/comm/mailnews/mime/jsmime/test/unit/data/ |
| H A D | mime-torture | 5677 dmR9/Hnv+erpe/Z8aHDw9Xb0+vf4cWl68HDxdWbs/nvvdWf+5+3zduLlY2/k9Wjt4eh8ZmF+
|
| /dports/mail/thunderbird/thunderbird-91.8.0/comm/mailnews/test/data/ |
| H A D | mime-torture | 5677 dmR9/Hnv+erpe/Z8aHDw9Xb0+vf4cWl68HDxdWbs/nvvdWf+5+3zduLlY2/k9Wjt4eh8ZmF+
|
| /dports/security/hashcat-legacy/hashcat-legacy-2.00/salts/ |
| H A D | brute-vbulletin.salt | 368497 Hnv
|
| /dports/databases/py-mysql-connector-python/mysql-connector-python-8.0.27/tests/data/ |
| H A D | random_big_bin.csv | 46045 …�k�È�Ros���|�O� �kP�vE�ר7���� $auY�K'�'�PY����T褒�VW�l���i�O�Hnv��FF(�ڢ�?�\n~�a�� h�…
|
| /dports/math/py-heyoka/heyoka.py-0.16.0/doc/notebooks/ |
| H A D | The Maxwell-Boltzmann distribution.ipynb | 11864 "HRQUpDKliur7uX3V89Ummjj+XSemda7vlnyrPDkzqmDebNq6des/Hnv//n21aNpA3UscUcsX9qlh\\\n",
|