Home
last modified time | relevance | path

Searched refs:newf1 (Results 1 – 25 of 144) sorted by relevance

123456

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddZddLin.c387 newf1 = f10;
396 if (cuddT(newf1) == f01 && cuddE(newf1) == f10 &&
401 newf1 = newf1->next;
405 if (newf1 == NULL)
407 newf1->index = yindex; newf1->ref = 1;
420 cuddT(f) = newf1;
498 if (cuddT(newf1) == f1 && cuddE(newf1) == empty &&
503 newf1 = newf1->next;
509 newf1->index = yindex; newf1->ref = 1;
510 cuddT(newf1) = f1; cuddE(newf1) = empty;
[all …]
H A DcuddLinear.c491 newf1 = f11; in cuddLinearInPlace()
492 cuddSatInc(newf1->ref); in cuddLinearInPlace()
498 newf1 = *previousP; in cuddLinearInPlace()
501 newf1 = *previousP; in cuddLinearInPlace()
503 while (f11 == cuddT(newf1) && f00 < cuddE(newf1)) { in cuddLinearInPlace()
505 newf1 = *previousP; in cuddLinearInPlace()
507 if (cuddT(newf1) == f11 && cuddE(newf1) == f00) { in cuddLinearInPlace()
511 if (newf1 == NULL) in cuddLinearInPlace()
513 newf1->index = yindex; newf1->ref = 1; in cuddLinearInPlace()
514 cuddT(newf1) = f11; in cuddLinearInPlace()
[all …]
H A DcuddZddReord.c583 newf1 = f01; in cuddZddSwapInPlace()
584 cuddSatInc(newf1->ref); in cuddZddSwapInPlace()
593 newf1 = xlist[posn]; in cuddZddSwapInPlace()
595 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddZddSwapInPlace()
599 newf1 = newf1->next; in cuddZddSwapInPlace()
603 if (newf1 == NULL) in cuddZddSwapInPlace()
605 newf1->index = xindex; newf1->ref = 1; in cuddZddSwapInPlace()
606 cuddT(newf1) = f11; in cuddZddSwapInPlace()
607 cuddE(newf1) = f01; in cuddZddSwapInPlace()
613 xlist[posn] = newf1; in cuddZddSwapInPlace()
[all …]
H A DcuddReorder.c991 newf1 = f11; in cuddSwapInPlace()
992 cuddSatInc(newf1->ref); in cuddSwapInPlace()
998 newf1 = *previousP; in cuddSwapInPlace()
1001 newf1 = *previousP; in cuddSwapInPlace()
1003 while (f11 == cuddT(newf1) && f01 < cuddE(newf1)) { in cuddSwapInPlace()
1005 newf1 = *previousP; in cuddSwapInPlace()
1007 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddSwapInPlace()
1011 if (newf1 == NULL) in cuddSwapInPlace()
1013 newf1->index = xindex; newf1->ref = 1; in cuddSwapInPlace()
1014 cuddT(newf1) = f11; in cuddSwapInPlace()
[all …]
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddZddLin.c355 newf1 = f10; in cuddZddLinearInPlace()
364 if (cuddT(newf1) == f01 && cuddE(newf1) == f10 && in cuddZddLinearInPlace()
369 newf1 = newf1->next; in cuddZddLinearInPlace()
373 if (newf1 == NULL) in cuddZddLinearInPlace()
375 newf1->index = yindex; newf1->ref = 1; in cuddZddLinearInPlace()
388 cuddT(f) = newf1; in cuddZddLinearInPlace()
466 if (cuddT(newf1) == f1 && cuddE(newf1) == empty && in cuddZddLinearInPlace()
471 newf1 = newf1->next; in cuddZddLinearInPlace()
477 newf1->index = yindex; newf1->ref = 1; in cuddZddLinearInPlace()
478 cuddT(newf1) = f1; cuddE(newf1) = empty; in cuddZddLinearInPlace()
[all …]
H A DcuddLinear.c444 newf1 = f11; in cuddLinearInPlace()
445 cuddSatInc(newf1->ref); in cuddLinearInPlace()
451 newf1 = *previousP; in cuddLinearInPlace()
454 newf1 = *previousP; in cuddLinearInPlace()
456 while (f11 == cuddT(newf1) && f00 < cuddE(newf1)) { in cuddLinearInPlace()
458 newf1 = *previousP; in cuddLinearInPlace()
460 if (cuddT(newf1) == f11 && cuddE(newf1) == f00) { in cuddLinearInPlace()
464 if (newf1 == NULL) in cuddLinearInPlace()
466 newf1->index = yindex; newf1->ref = 1; in cuddLinearInPlace()
467 cuddT(newf1) = f11; in cuddLinearInPlace()
[all …]
H A DcuddZddReord.c530 newf1 = f01; in cuddZddSwapInPlace()
531 cuddSatInc(newf1->ref); in cuddZddSwapInPlace()
540 newf1 = xlist[posn]; in cuddZddSwapInPlace()
542 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddZddSwapInPlace()
546 newf1 = newf1->next; in cuddZddSwapInPlace()
550 if (newf1 == NULL) in cuddZddSwapInPlace()
552 newf1->index = xindex; newf1->ref = 1; in cuddZddSwapInPlace()
553 cuddT(newf1) = f11; in cuddZddSwapInPlace()
554 cuddE(newf1) = f01; in cuddZddSwapInPlace()
560 xlist[posn] = newf1; in cuddZddSwapInPlace()
[all …]
H A DcuddReorder.c937 newf1 = f11; in cuddSwapInPlace()
938 cuddSatInc(newf1->ref); in cuddSwapInPlace()
944 newf1 = *previousP; in cuddSwapInPlace()
947 newf1 = *previousP; in cuddSwapInPlace()
949 while (f11 == cuddT(newf1) && f01 < cuddE(newf1)) { in cuddSwapInPlace()
951 newf1 = *previousP; in cuddSwapInPlace()
953 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddSwapInPlace()
957 if (newf1 == NULL) in cuddSwapInPlace()
959 newf1->index = xindex; newf1->ref = 1; in cuddSwapInPlace()
960 cuddT(newf1) = f11; in cuddSwapInPlace()
[all …]
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddZddLin.c387 newf1 = f10; in cuddZddLinearInPlace()
396 if (cuddT(newf1) == f01 && cuddE(newf1) == f10 && in cuddZddLinearInPlace()
401 newf1 = newf1->next; in cuddZddLinearInPlace()
405 if (newf1 == NULL) in cuddZddLinearInPlace()
407 newf1->index = yindex; newf1->ref = 1; in cuddZddLinearInPlace()
420 cuddT(f) = newf1; in cuddZddLinearInPlace()
498 if (cuddT(newf1) == f1 && cuddE(newf1) == empty && in cuddZddLinearInPlace()
503 newf1 = newf1->next; in cuddZddLinearInPlace()
509 newf1->index = yindex; newf1->ref = 1; in cuddZddLinearInPlace()
510 cuddT(newf1) = f1; cuddE(newf1) = empty; in cuddZddLinearInPlace()
[all …]
H A DcuddLinear.c491 newf1 = f11; in cuddLinearInPlace()
492 cuddSatInc(newf1->ref); in cuddLinearInPlace()
498 newf1 = *previousP; in cuddLinearInPlace()
501 newf1 = *previousP; in cuddLinearInPlace()
503 while (f11 == cuddT(newf1) && f00 < cuddE(newf1)) { in cuddLinearInPlace()
505 newf1 = *previousP; in cuddLinearInPlace()
507 if (cuddT(newf1) == f11 && cuddE(newf1) == f00) { in cuddLinearInPlace()
511 if (newf1 == NULL) in cuddLinearInPlace()
513 newf1->index = yindex; newf1->ref = 1; in cuddLinearInPlace()
514 cuddT(newf1) = f11; in cuddLinearInPlace()
[all …]
H A DcuddZddReord.c583 newf1 = f01; in cuddZddSwapInPlace()
584 cuddSatInc(newf1->ref); in cuddZddSwapInPlace()
593 newf1 = xlist[posn]; in cuddZddSwapInPlace()
595 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddZddSwapInPlace()
599 newf1 = newf1->next; in cuddZddSwapInPlace()
603 if (newf1 == NULL) in cuddZddSwapInPlace()
605 newf1->index = xindex; newf1->ref = 1; in cuddZddSwapInPlace()
606 cuddT(newf1) = f11; in cuddZddSwapInPlace()
607 cuddE(newf1) = f01; in cuddZddSwapInPlace()
613 xlist[posn] = newf1; in cuddZddSwapInPlace()
[all …]
H A DcuddReorder.c991 newf1 = f11; in cuddSwapInPlace()
992 cuddSatInc(newf1->ref); in cuddSwapInPlace()
998 newf1 = *previousP; in cuddSwapInPlace()
1001 newf1 = *previousP; in cuddSwapInPlace()
1003 while (f11 == cuddT(newf1) && f01 < cuddE(newf1)) { in cuddSwapInPlace()
1005 newf1 = *previousP; in cuddSwapInPlace()
1007 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddSwapInPlace()
1011 if (newf1 == NULL) in cuddSwapInPlace()
1013 newf1->index = xindex; newf1->ref = 1; in cuddSwapInPlace()
1014 cuddT(newf1) = f11; in cuddSwapInPlace()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddZddLin.c387 newf1 = f10; in cuddZddLinearInPlace()
393 newf1 = ylist[posn]; in cuddZddLinearInPlace()
396 if (cuddT(newf1) == f01 && cuddE(newf1) == f10 && in cuddZddLinearInPlace()
401 newf1 = newf1->next; in cuddZddLinearInPlace()
407 newf1->index = yindex; newf1->ref = 1; in cuddZddLinearInPlace()
420 cuddT(f) = newf1; in cuddZddLinearInPlace()
498 if (cuddT(newf1) == f1 && cuddE(newf1) == empty && in cuddZddLinearInPlace()
503 newf1 = newf1->next; in cuddZddLinearInPlace()
509 newf1->index = yindex; newf1->ref = 1; in cuddZddLinearInPlace()
510 cuddT(newf1) = f1; cuddE(newf1) = empty; in cuddZddLinearInPlace()
[all …]
H A DcuddLinear.c495 newf1 = f11; in cuddLinearInPlace()
496 cuddSatInc(newf1->ref); in cuddLinearInPlace()
502 newf1 = *previousP; in cuddLinearInPlace()
505 newf1 = *previousP; in cuddLinearInPlace()
507 while (f11 == cuddT(newf1) && f00 < cuddE(newf1)) { in cuddLinearInPlace()
509 newf1 = *previousP; in cuddLinearInPlace()
511 if (cuddT(newf1) == f11 && cuddE(newf1) == f00) { in cuddLinearInPlace()
515 if (newf1 == NULL) in cuddLinearInPlace()
517 newf1->index = yindex; newf1->ref = 1; in cuddLinearInPlace()
518 cuddT(newf1) = f11; in cuddLinearInPlace()
[all …]
H A DcuddZddReord.c587 newf1 = f01; in cuddZddSwapInPlace()
597 newf1 = xlist[posn]; in cuddZddSwapInPlace()
598 while (newf1 != NULL) { in cuddZddSwapInPlace()
599 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddZddSwapInPlace()
603 newf1 = newf1->next; in cuddZddSwapInPlace()
607 if (newf1 == NULL) in cuddZddSwapInPlace()
609 newf1->index = xindex; newf1->ref = 1; in cuddZddSwapInPlace()
610 cuddT(newf1) = f11; in cuddZddSwapInPlace()
611 cuddE(newf1) = f01; in cuddZddSwapInPlace()
617 xlist[posn] = newf1; in cuddZddSwapInPlace()
[all …]
H A DcuddReorder.c993 newf1 = f11; in cuddSwapInPlace()
994 cuddSatInc(newf1->ref); in cuddSwapInPlace()
1000 newf1 = *previousP; in cuddSwapInPlace()
1003 newf1 = *previousP; in cuddSwapInPlace()
1005 while (f11 == cuddT(newf1) && f01 < cuddE(newf1)) { in cuddSwapInPlace()
1007 newf1 = *previousP; in cuddSwapInPlace()
1009 if (cuddT(newf1) == f11 && cuddE(newf1) == f01) { in cuddSwapInPlace()
1013 if (newf1 == NULL) in cuddSwapInPlace()
1015 newf1->index = xindex; newf1->ref = 1; in cuddSwapInPlace()
1016 cuddT(newf1) = f11; in cuddSwapInPlace()
[all …]
/dports/cad/opencascade/opencascade-7.6.0/src/TopOpeBRep/
H A DTopOpeBRep_Hctxff2d.cxx49 Standard_Boolean newf1 = !F1.IsEqual(myFace1); in SetFaces() local
51 Standard_Boolean yaduneuf = (newf1 || newf2); if (!yaduneuf) return; in SetFaces()
54 if (newf1) { in SetFaces()
73 Standard_Boolean newf1 = Standard_False; Standard_Boolean newf2 = Standard_False; in SetHSurfaces() local
74 if (!HS1.IsNull()) newf1 = !HS1->Face().IsEqual(myFace1); in SetHSurfaces()
76 Standard_Boolean yaduneuf = (newf1 || newf2); if (!yaduneuf) return; in SetHSurfaces()
/dports/databases/percona56-client/percona-server-5.6.51-91.0/mysql-test/suite/funcs_1/r/
H A Dinnodb_storedproc_02.result1134 declare newf1 char(20);
1139 fetch cur1 into newf1;
1140 SELECT newf1;
1147 declare newf1 char(20);
1153 fetch cur1 into newf1, newf2;
1154 SELECT newf1, newf2;
1193 declare newf1 char(20);
1230 -1- count newf1 newf2 newf4 newf5
1242 -4- newf1 newf2 newf4 newf5
1244 -5- newf1 newf2 newf4 newf5
[all …]
H A Dmemory_storedproc_02.result1135 declare newf1 char(20);
1140 fetch cur1 into newf1;
1141 SELECT newf1;
1148 declare newf1 char(20);
1154 fetch cur1 into newf1, newf2;
1155 SELECT newf1, newf2;
1194 declare newf1 char(20);
1231 -1- count newf1 newf2 newf4 newf5
1243 -4- newf1 newf2 newf4 newf5
1245 -5- newf1 newf2 newf4 newf5
[all …]
H A Dmyisam_storedproc_02.result1135 declare newf1 char(20);
1140 fetch cur1 into newf1;
1141 SELECT newf1;
1148 declare newf1 char(20);
1154 fetch cur1 into newf1, newf2;
1155 SELECT newf1, newf2;
1194 declare newf1 char(20);
1231 -1- count newf1 newf2 newf4 newf5
1243 -4- newf1 newf2 newf4 newf5
1245 -5- newf1 newf2 newf4 newf5
[all …]
/dports/databases/percona56-server/percona-server-5.6.51-91.0/mysql-test/suite/funcs_1/r/
H A Dmyisam_storedproc_02.result1135 declare newf1 char(20);
1140 fetch cur1 into newf1;
1141 SELECT newf1;
1148 declare newf1 char(20);
1154 fetch cur1 into newf1, newf2;
1155 SELECT newf1, newf2;
1194 declare newf1 char(20);
1231 -1- count newf1 newf2 newf4 newf5
1243 -4- newf1 newf2 newf4 newf5
1245 -5- newf1 newf2 newf4 newf5
[all …]
H A Dmemory_storedproc_02.result1135 declare newf1 char(20);
1140 fetch cur1 into newf1;
1141 SELECT newf1;
1148 declare newf1 char(20);
1154 fetch cur1 into newf1, newf2;
1155 SELECT newf1, newf2;
1194 declare newf1 char(20);
1231 -1- count newf1 newf2 newf4 newf5
1243 -4- newf1 newf2 newf4 newf5
1245 -5- newf1 newf2 newf4 newf5
[all …]
H A Dinnodb_storedproc_02.result1134 declare newf1 char(20);
1139 fetch cur1 into newf1;
1140 SELECT newf1;
1147 declare newf1 char(20);
1153 fetch cur1 into newf1, newf2;
1154 SELECT newf1, newf2;
1193 declare newf1 char(20);
1230 -1- count newf1 newf2 newf4 newf5
1242 -4- newf1 newf2 newf4 newf5
1244 -5- newf1 newf2 newf4 newf5
[all …]
/dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/mysql-test/suite/funcs_1/r/
H A Dmyisam_storedproc_02.result1136 declare newf1 char(20);
1141 fetch cur1 into newf1;
1142 SELECT newf1;
1149 declare newf1 char(20);
1155 fetch cur1 into newf1, newf2;
1156 SELECT newf1, newf2;
1195 declare newf1 char(20);
1232 -1- count newf1 newf2 newf4 newf5
1244 -4- newf1 newf2 newf4 newf5
1246 -5- newf1 newf2 newf4 newf5
[all …]
H A Dmemory_storedproc_02.result1136 declare newf1 char(20);
1141 fetch cur1 into newf1;
1142 SELECT newf1;
1149 declare newf1 char(20);
1155 fetch cur1 into newf1, newf2;
1156 SELECT newf1, newf2;
1195 declare newf1 char(20);
1232 -1- count newf1 newf2 newf4 newf5
1244 -4- newf1 newf2 newf4 newf5
1246 -5- newf1 newf2 newf4 newf5
[all …]

123456