Searched refs:minWord3 (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/lucky/ |
| H A D | luckySimple.c | 139 static inline void minWord3(word* a, word* b, word* minimal, int nVars) in minWord3() function
168 minWord3(x, pAux, minimal, nVars); in simpleMinimal()
176 minWord3(x, pAux, minimal, nVars); in simpleMinimal()
181 minWord3(x, pAux, minimal, nVars); in simpleMinimal()
253 minWord3(x, pAux, minimal, nVars); in simpleMinimalGroups()
280 minWord3(x, pAux, minimal, nVars); in simpleMinimalGroups()
|