Searched defs:bImp (Results 1 – 2 of 2) sorted by relevance
634 DdNode * bImp, * bSum, * bTemp; in Abc_NtkBddImplicationTest() local
368 WitnessImprovement bImp = b.getWitness(!heuristic); in preferWitness() local