Searched refs:fSkipHash (Results 1 – 3 of 3) sorted by relevance
68 int fSkipHash; // skip hashing CNF while unrolling member
926 if ( !p->pPars->fSkipHash ) in Ga2_ManAddToAbsOneDynamic()
46675 pPars->fSkipHash ^= 1; in Abc_CommandAbc9Gla()46782 … : toggle CNF construction without hashing [default = %s]\n", pPars->fSkipHash? "yes": "no" ); in Abc_CommandAbc9Gla()