Home
last modified time | relevance | path

Searched refs:Extra_TruthHash (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/
H A DcutPre22.c523 Hash = Extra_TruthHash( pCell->uTruth, Extra_TruthWordNum( pCell->nVars ) ); in Cut_CellTableLookup()
968 Hash = Extra_TruthHash( pCell->uTruth, Extra_TruthWordNum(pCell->nVars) ); in Cut_CellTruthLookup()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A Dextra.h392 extern unsigned Extra_TruthHash( unsigned * pIn, int nWords );
H A DextraUtilTruth.c902 unsigned Extra_TruthHash( unsigned * pIn, int nWords ) in Extra_TruthHash() function