/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddZddLin.c | 387 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 D | cuddLinear.c | 491 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 D | cuddZddReord.c | 583 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 D | cuddReorder.c | 991 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 D | cuddZddLin.c | 355 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 D | cuddLinear.c | 444 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 D | cuddZddReord.c | 530 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 D | cuddReorder.c | 937 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 D | cuddZddLin.c | 387 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 D | cuddLinear.c | 491 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 D | cuddZddReord.c | 583 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 D | cuddReorder.c | 991 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 D | cuddZddLin.c | 387 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 D | cuddLinear.c | 495 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 D | cuddZddReord.c | 587 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 D | cuddReorder.c | 993 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 D | TopOpeBRep_Hctxff2d.cxx | 49 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 D | innodb_storedproc_02.result | 1134 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 D | memory_storedproc_02.result | 1135 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 D | myisam_storedproc_02.result | 1135 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 D | myisam_storedproc_02.result | 1135 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 D | memory_storedproc_02.result | 1135 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 D | innodb_storedproc_02.result | 1134 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 D | myisam_storedproc_02.result | 1136 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 D | memory_storedproc_02.result | 1136 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 …]
|