Searched refs:ddSiftingUp (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddReorder.c | 121 static Move * ddSiftingUp (DdManager *table, int y, int xLow);
1514 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1528 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1535 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1594 ddSiftingUp( in ddSiftingUp() function
|
| /dports/math/cudd/cudd-3.0.0/cudd/ |
| H A D | cuddReorder.c | 79 static Move * ddSiftingUp (DdManager *table, int y, int xLow);
1463 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1477 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1484 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1543 ddSiftingUp( in ddSiftingUp() function
|
| /dports/math/brial/BRiAl-1.2.10/cudd/ |
| H A D | cuddReorder.c | 121 static Move * ddSiftingUp (DdManager *table, int y, int xLow);
1514 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1528 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1535 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1594 ddSiftingUp( in ddSiftingUp() function
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
| H A D | cuddReorder.c | 125 static Move * ddSiftingUp (DdManager *table, int y, int xLow);
1516 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1530 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1537 moveUp = ddSiftingUp(table,x,xLow); in ddSiftingAux()
1596 ddSiftingUp( in ddSiftingUp() function
|