Searched refs:fFlopPrio (Results 1 – 5 of 5) sorted by relevance
56 int fFlopPrio; // use structural flop priorities member
254 …p->pGia = (pPars->fFlopPrio || p->pPars->fNewXSim || p->pPars->fUseAbs) ? Gia_ManFromAigSimple… in Pdr_ManStart()266 else if ( pPars->fFlopPrio ) in Pdr_ManStart()
408 if ( p->pPars->fFlopPrio ) in Pdr_ManTernarySim()
65 pPars->fFlopPrio = 0; // use structural flop priorities in Pdr_ManSetDefaultParams()
28595 pPars->fFlopPrio ^= 1; in Abc_CommandPdr()28706 …g structural flop priorities [default = %s]\n", pPars->fFlopPrio? "yes": "no" ); in Abc_CommandPdr()