Searched refs:If_CluReverseOrder (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitPerm.c | 232 extern void If_CluReverseOrder( word * pF, int nVars, int * V2P, int * P2V, int iVarStart ); in Kit_PermComputeNaive()
236 If_CluReverseOrder( F, nVars, V2P, P2V, 0 ); in Kit_PermComputeNaive()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDec16.c | 800 void If_CluReverseOrder( word * pTruth, int nVars, int * V2P, int * P2V, int iVarStart ) in If_CluReverseOrder() function
885 If_CluReverseOrder( pG, nVars, NULL, NULL, iVarStart ); in If_CluReverseOrder_old()
1654 If_CluReverseOrder( pF, nVars, V2P, P2V, iVarStart ); in If_CluCheck()
|