Home
last modified time | relevance | path

Searched refs:Extra_Truth6MinimumExact (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilMisc.c2292 word Extra_Truth6MinimumExact( word t, int * pComp, int * pPerm ) in Extra_Truth6MinimumExact() function
2477 tMin = Extra_Truth6MinimumExact( t, pComp, pPerm ); in Extra_NpnTest2()
2514 pFuncs[i] = Extra_Truth6MinimumExact( pFuncs[i], pComp, pPerm ); in Extra_NpnTest()
H A Dextra.h214 extern word Extra_Truth6MinimumExact( word t, int * pComp, int * pPerm );