Searched refs:fMonoCnf (Results 1 – 6 of 6) sorted by relevance
243 if ( p->pPars->fMonoCnf ) in Pdr_ObjSatVar()314 if ( p->pPars->fMonoCnf ) in Pdr_ObjRegNum()334 if ( p->pPars->fMonoCnf ) in Pdr_ManFreeVar()442 if ( p->pPars->fMonoCnf ) in Pdr_ManNewSolver()
54 int fMonoCnf; // monolythic CNF member
260 if ( !p->pPars->fMonoCnf ) in Pdr_ManStart()
63 pPars->fMonoCnf = 0; // monolythic CNF in Pdr_ManSetDefaultParams()1411 pPars->fMonoCnf ? "yes" : "no", in Pdr_ManSolve()
812 pPars->fMonoCnf ? "yes" : "no", in IPdr_ManSolve()
28589 pPars->fMonoCnf ^= 1; in Abc_CommandPdr()28704 …ng monolythic CNF computation [default = %s]\n", pPars->fMonoCnf? "yes": "no" ); in Abc_CommandPdr()