| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/dsd/ |
| H A D | dsdCheck.c | 133 int Dsd_CheckRootFunctionIdentity( DdManager * dd, DdNode * bF1, DdNode * bF2, DdNode * bC1, DdNode… in Dsd_CheckRootFunctionIdentity() argument
138 RetValue = Dsd_CheckRootFunctionIdentity_rec(dd, bF1, bF2, bC1, bC2); in Dsd_CheckRootFunctionIdentity()
154 int Dsd_CheckRootFunctionIdentity_rec( DdManager * dd, DdNode * bF1, DdNode * bF2, DdNode * bC1, Dd… in Dsd_CheckRootFunctionIdentity_rec() argument
164 if ( bC1 == b1 && bC2 == b1 ) return (int)( bF1 == bF2 ); in Dsd_CheckRootFunctionIdentity_rec()
166 if ( bF1 == b0 ) in Dsd_CheckRootFunctionIdentity_rec()
169 if ( bF1 == b1 ) in Dsd_CheckRootFunctionIdentity_rec()
173 return Cudd_bddLeq( dd, bC1, Cudd_Not(bF1) ); in Dsd_CheckRootFunctionIdentity_rec()
176 return Cudd_bddLeq( dd, bC1, bF1 ); in Dsd_CheckRootFunctionIdentity_rec()
182 HKey = hashKey4( bF1, bF2, bC1, bC2, pCache->nTableSize ); in Dsd_CheckRootFunctionIdentity_rec()
183 if ( pCache->pTable[HKey].bX[0] == bF1 && in Dsd_CheckRootFunctionIdentity_rec()
[all …]
|
| H A D | dsdLocal.c | 149 DdNode * bFR, * bF0, * bF1; in Extra_dsdRemap() local
169 bF1 = Extra_bddNodePointedByCube( dd, bF, pbCube1[iForm] ); in Extra_dsdRemap()
173 …bRes1 = Extra_dsdRemap( dd, bF1, pCache, pVar2Form, pForm2Var, pbCube0, pbCube1 ); Cudd_Ref( bRes1… in Extra_dsdRemap()
201 DdNode * bF0, * bF1; in Extra_bddNodePointedByCube() local
229 bF1 = Cudd_Not( cuddT(bFR) ); in Extra_bddNodePointedByCube()
234 bF1 = cuddT(bFR); in Extra_bddNodePointedByCube()
239 bF0 = bF1 = bF; in Extra_bddNodePointedByCube()
262 return Extra_bddNodePointedByCube( dd, bF1, bC1 ); in Extra_bddNodePointedByCube()
|
| H A D | dsdInt.h | 83 extern int Dsd_CheckRootFunctionIdentity( DdManager * dd, DdNode * bF1, DdNode * bF2, DdNo…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/extrab/ |
| H A D | extraBddAuto.c | 589 DdNode * bF0, * bF1; in extraBddSpaceFromFunction() local
615 bF0 = bF1 = bF; in extraBddSpaceFromFunction()
764 bF1 = cuddT(bFR); in extraBddSpaceFromFunctionPos()
895 bF1 = cuddT(bFR); in extraBddSpaceFromFunctionNeg()
1013 DdNode * bF0, * bF1; in extraBddSpaceCanonVars() local
1024 bF1 = cuddT(bFR); in extraBddSpaceCanonVars()
1033 else if ( bF1 == b0 ) in extraBddSpaceCanonVars()
1098 bF1 = cuddT(bFR); in extraBddSpaceEquationsPos()
1117 else if ( bF1 == b0 ) in extraBddSpaceEquationsPos()
1228 bF1 = cuddT(bFR); in extraBddSpaceEquationsNeg()
[all …]
|
| H A D | extraBddSymm.c | 615 DdNode * bF0, * bF1; in extraZddSymmPairsCompute() local
634 bF1 = Cudd_Not( cuddT(bFR) ); in extraZddSymmPairsCompute()
639 bF1 = cuddT(bFR); in extraZddSymmPairsCompute()
829 DdNode * bF0, * bF1; in extraZddGetSymmetricVars() local
861 bF1 = cuddT(bFR); in extraZddGetSymmetricVars()
865 bF0 = bF1 = bF; in extraZddGetSymmetricVars()
1077 DdNode * bF0, * bF1; in extraBddReduceVarSet() local
1094 bF1 = Cudd_Not( cuddT(bFR) ); in extraBddReduceVarSet()
1099 bF1 = cuddT(bFR); in extraBddReduceVarSet()
1230 bF1 = cuddT(bFR); in extraBddCheckVarsSymmetric()
[all …]
|
| H A D | extraBddUnate.c | 407 DdNode * bF0, * bF1; in extraZddUnateInfoCompute() local
427 bF1 = Cudd_Not( cuddT(bFR) ); in extraZddUnateInfoCompute()
432 bF1 = cuddT(bFR); in extraZddUnateInfoCompute()
447 zRes1 = extraZddUnateInfoCompute( dd, bF1, cuddT(bVarsNew) ); in extraZddUnateInfoCompute()
472 if ( Cudd_bddLeq( dd, bF0, bF1 ) ) // pos in extraZddUnateInfoCompute()
474 else if ( Cudd_bddLeq( dd, bF1, bF0 ) ) // neg in extraZddUnateInfoCompute()
|
| H A D | extraBddMisc.c | 1143 DdNode * bF0, * bF1; in extraBddMove() local
1157 bF1 = Cudd_Not( cuddT(bFR) ); in extraBddMove()
1162 bF1 = cuddT(bFR); in extraBddMove()
1170 bRes1 = extraBddMove( dd, bF1, bDist ); in extraBddMove()
1821 DdNode * bF1 = Cudd_NotCond( Cudd_T( F ), fIsComp ); in extraZddPrimes() local
1824 bF01 = cuddBddAndRecur( dd, bF0, bF1 ); in extraZddPrimes()
1837 zP1 = extraZddPrimes( dd, bF1 ); in extraZddPrimes()
1868 else if ( bF01 == bF1 ) /* unate decreasing */ in extraZddPrimes()
2066 DdNode * bF0, * bF1; in extraBddChangePolarity() local
2073 bF1 = Cudd_Not( cuddT(bFR) ); in extraBddChangePolarity()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitBdd.c | 148 DdNode * bF0, * bF1, * bF; in Kit_TruthToBdd_rec() local
164 …bF1 = Kit_TruthToBdd_rec( dd, pTruth, iBit+(1<<(nVars-1)), nVars-1, nVarsTotal, fMSBonTop ); Cudd… in Kit_TruthToBdd_rec()
165 bF = Cudd_bddIte( dd, dd->vars[Var], bF1, bF0 ); Cudd_Ref( bF ); in Kit_TruthToBdd_rec()
167 Cudd_RecursiveDeref( dd, bF1 ); in Kit_TruthToBdd_rec()
|
| /dports/mail/smtpfeed/smtpfeed-1.23/ |
| H A D | README.j | 18 $B$$$^$9!#<!$NCJ3,$G$O!"$3$l$i$bF1;~$K=hM}$7!"(BDNS $B$,0z$1$?$H$3$m$+$i(B SMTP
|
| /dports/graphics/gifsicle/gifsicle-1.93/test/ |
| H A D | 004-careful.testie | 157 8LAKrSzO9QIdQRYCDGAkCZOzqP1EWnFElKYKP/bF1+zZuWfP5EEQtYAEMJAWx2umJUzTlNYg4rOk
|
| /dports/games/oneko-sakura/oneko-1.2.sakura.5/ |
| H A D | README | 88 $@$G$bF1$8$G$9!#(J
|
| /dports/japanese/ne/ne/old_doc/ |
| H A D | ne.cat | 267 'A', '^A' $@$O$I$l$bF1$80UL#$G!"A`:n>e$N6hJL$,$5$l$^$;$s!#(J
|
| /dports/irc/keitairc2/keitairc-2.0/ |
| H A D | ChangeLog | 389 - 2.0$B7OMQ$N(B dot.keitairc $B$bF1:-(B
|
| /dports/math/openturns/openturns-1.18/validation/src/ |
| H A D | ValidCovarianceGauss.mws | 371 \"y'FQ7$Fe\\l$\"3$RY`bF1?#pFQFi\\l-F$6$7S7$F($\"3%>b88\\g[h$Feu7$F/$\"
|
| /dports/editors/joe/joe-4.6/rc/ |
| H A D | joerc.in | 561 …\|\b^K 0-9\b Play \|\b^]\b Line \b^Q\b Ctrl \|\bF1-F4\b Term emulator \|\b^F\b Right \|\b^K…
|
| /dports/japanese/kinput2/kinput2-v3.1/doc/ |
| H A D | sj3def | 1387 (sj3 $B%3%^%s%I$H$N8_49@-$N$?$a(B .server $B$G$bF1$8$G$9(B)
1904 $B$N%-!<!&%P%$%s%I$H=E$J$k$H$-$K%U%!%s%/%7%g%s$NA`:n$bF1;~$K(B
1922 $B$H$-$K%U%!%s%/%7%g%s$NA`:n$bF1;~$K(B
|
| /dports/graphics/tachyon/tachyon/scenes/imaps/ |
| H A D | dirt2.ppm | 6 …hUDS;*|\F�qU��`uW;�mRK4!9%N6'jTAcH4��pZD0E0 ��m��llN7`I1K6#�yXY<&yT7��w�|bF1"`I5P;'aI57&`K9oW@X…
11 … &!*# ,% -#hL6�b�~bx_GkU?��iI5%fUCC3$n]H\E3�w\�nO�bC�|];() %�}gF. bF1�qU}T:��rgI2Y=)�`D�c…
12 …&�jRmVAbN9XD3dK9bH{^C{`HbL;;* ]G4kQ=�jP�jPyX@à�oN7�gO2%F2"�nN�fG~Z?tU=U<(bF1�iO^CJ3"�\B��w\AV7…
17 …uX@aF1�tW�uZ��g�v^r[DrXCjT>[I6eQ<zcJ�pS��k��fxQ:�eO�oW�jR��tjR=oWBy]Fu[C�y`bF1}aJ�t[�dM_G2`M:�y`Q9…
|
| /dports/biology/bbmap/bbmap/resources/ |
| H A D | blacklist_silva_merged.sketch | 19993 V6PW?bF1
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/openh264/src/res/ |
| H A D | Cisco_Absolute_Power_1280x720_30fps.yuv | 2311 …���������������������������������������������������������������������������bF1./.-*,,*,../.,)++*.-…
|
| /dports/multimedia/openh264/openh264-2.1.1/res/ |
| H A D | Cisco_Absolute_Power_1280x720_30fps.yuv | 2311 …���������������������������������������������������������������������������bF1./.-*,,*,../.,)++*.-…
|
| /dports/security/hashcat-legacy/hashcat-legacy-2.00/salts/ |
| H A D | brute-vbulletin.salt | 599278 bF1
|
| /dports/databases/py-mysql-connector-python/mysql-connector-python-8.0.27/tests/data/ |
| H A D | random_big_bin.csv | 41855 … d�� ̈́pKU;1�����n�S!�DSUX N0�P�v�`#���tUU^��u������XS��%���tȦQU���8n�¼��JAE&����P���bF1�μ
|
| /dports/math/py-heyoka/heyoka.py-0.16.0/doc/notebooks/ |
| H A D | The Maxwell-Boltzmann distribution.ipynb | 450432 "b9789mvkcjlaN2+ArA42qF/bF1+/fv3X1w8ZNgK9hy/AbXU7zFm8Cc2aNfvtHImJiRg+pD+qV/bC\\\n",
|
| H A D | tides_spokes.ipynb | 404525 "27EGqpdCF5dvNEfWRPT730+bF1+ky7D4t6QnFCrd1qxZk/vxDPGBgpG3Q0UfePpq2L0l6YmknGNA\\\n",
|