Searched refs:Extra_TruthHash (Results 1 – 3 of 3) sorted by relevance
523 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()
392 extern unsigned Extra_TruthHash( unsigned * pIn, int nWords );
902 unsigned Extra_TruthHash( unsigned * pIn, int nWords ) in Extra_TruthHash() function