| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddZddLin.c | 262 int xslots, yslots;
295 yslots = table->subtableZ[y].slots;
330 for (i = 0; i < yslots; i++) {
472 for (i = 0; i < yslots; i++) {
|
| H A D | cuddZddReord.c | 487 int xslots, yslots; in cuddZddSwapInPlace() local
519 yslots = table->subtableZ[y].slots; in cuddZddSwapInPlace()
671 for (i = 0; i < yslots; i++) { in cuddZddSwapInPlace()
692 table->subtableZ[x].slots = yslots; in cuddZddSwapInPlace()
695 table->subtableZ[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddZddSwapInPlace()
|
| H A D | cuddLinear.c | 367 int xslots, yslots; in cuddLinearInPlace() local
409 yslots = table->subtables[y].slots; in cuddLinearInPlace()
610 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
637 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
|
| H A D | cuddReorder.c | 767 int xslots, yslots; in cuddSwapInPlace() local
811 yslots = table->subtables[y].slots; in cuddSwapInPlace()
1110 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1137 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1184 table->subtables[x].slots = yslots; in cuddSwapInPlace()
1187 table->subtables[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddSwapInPlace()
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddZddLin.c | 231 int xslots, yslots; in cuddZddLinearInPlace() local
263 yslots = table->subtableZ[y].slots; in cuddZddLinearInPlace()
298 for (i = 0; i < yslots; i++) { in cuddZddLinearInPlace()
440 for (i = 0; i < yslots; i++) { in cuddZddLinearInPlace()
|
| H A D | cuddZddReord.c | 433 int xslots, yslots; in cuddZddSwapInPlace() local
466 yslots = table->subtableZ[y].slots; in cuddZddSwapInPlace()
618 for (i = 0; i < yslots; i++) { in cuddZddSwapInPlace()
639 table->subtableZ[x].slots = yslots; in cuddZddSwapInPlace()
642 table->subtableZ[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddZddSwapInPlace()
|
| H A D | cuddLinear.c | 315 int xslots, yslots; in cuddLinearInPlace() local
362 yslots = table->subtables[y].slots; in cuddLinearInPlace()
563 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
590 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
|
| H A D | cuddReorder.c | 716 int xslots, yslots; in cuddSwapInPlace() local
760 yslots = table->subtables[y].slots; in cuddSwapInPlace()
1056 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1083 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1130 table->subtables[x].slots = yslots; in cuddSwapInPlace()
1133 table->subtables[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddSwapInPlace()
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddZddLin.c | 262 int xslots, yslots; in cuddZddLinearInPlace() local
295 yslots = table->subtableZ[y].slots; in cuddZddLinearInPlace()
330 for (i = 0; i < yslots; i++) { in cuddZddLinearInPlace()
472 for (i = 0; i < yslots; i++) { in cuddZddLinearInPlace()
|
| H A D | cuddZddReord.c | 487 int xslots, yslots; in cuddZddSwapInPlace() local
519 yslots = table->subtableZ[y].slots; in cuddZddSwapInPlace()
671 for (i = 0; i < yslots; i++) { in cuddZddSwapInPlace()
692 table->subtableZ[x].slots = yslots; in cuddZddSwapInPlace()
695 table->subtableZ[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddZddSwapInPlace()
|
| H A D | cuddLinear.c | 367 int xslots, yslots; in cuddLinearInPlace() local
409 yslots = table->subtables[y].slots; in cuddLinearInPlace()
610 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
637 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
|
| H A D | cuddReorder.c | 767 int xslots, yslots; in cuddSwapInPlace() local
811 yslots = table->subtables[y].slots; in cuddSwapInPlace()
1110 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1137 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1184 table->subtables[x].slots = yslots; in cuddSwapInPlace()
1187 table->subtables[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddSwapInPlace()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddZddLin.c | 262 int xslots, yslots; in cuddZddLinearInPlace() local
295 yslots = table->subtableZ[y].slots; in cuddZddLinearInPlace()
330 for (i = 0; i < yslots; i++) { in cuddZddLinearInPlace()
472 for (i = 0; i < yslots; i++) { in cuddZddLinearInPlace()
|
| H A D | cuddZddReord.c | 491 int xslots, yslots; in cuddZddSwapInPlace() local
523 yslots = table->subtableZ[y].slots; in cuddZddSwapInPlace()
675 for (i = 0; i < yslots; i++) { in cuddZddSwapInPlace()
696 table->subtableZ[x].slots = yslots; in cuddZddSwapInPlace()
699 table->subtableZ[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddZddSwapInPlace()
|
| H A D | cuddLinear.c | 371 int xslots, yslots; in cuddLinearInPlace() local
413 yslots = table->subtables[y].slots; in cuddLinearInPlace()
614 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
641 for (i = 0; i < yslots; i++) { in cuddLinearInPlace()
|
| H A D | cuddReorder.c | 769 int xslots, yslots; in cuddSwapInPlace() local
813 yslots = table->subtables[y].slots; in cuddSwapInPlace()
1112 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1139 for (i = 0; i < yslots; i++) { in cuddSwapInPlace()
1186 table->subtables[x].slots = yslots; in cuddSwapInPlace()
1189 table->subtables[x].maxKeys = yslots * DD_MAX_SUBTABLE_DENSITY; in cuddSwapInPlace()
|