Searched refs:pManAigNew (Results 1 – 3 of 3) sorted by relevance
378 Aig_Man_t * pManAigNew; in Fra_FraigPerform() local407 pManAigNew = Aig_ManDupRepr( p->pManAig, 1 ); in Fra_FraigPerform()408 Aig_ManReprStart( pManAigNew, Aig_ManObjNumMax(pManAigNew) ); in Fra_FraigPerform()409 Aig_ManTransferRepr( pManAigNew, p->pManAig ); in Fra_FraigPerform()410 Aig_ManMarkValidChoices( pManAigNew ); in Fra_FraigPerform()419 pManAigNew = p->pManFraig; in Fra_FraigPerform()425 p->nNodesEnd = Aig_ManNodeNum(pManAigNew); in Fra_FraigPerform()426 p->nRegsEnd = Aig_ManRegNum(pManAigNew); in Fra_FraigPerform()428 return pManAigNew; in Fra_FraigPerform()
358 Aig_Man_t * pManAigNew = NULL; in Fra_FraigInduction() local611 pManAigNew = Aig_ManDupOrdered( pManAig ); in Fra_FraigInduction()621 pManAigNew = Aig_ManDupRepr( pManAig, 0 ); in Fra_FraigInduction()627 Aig_ManSeqCleanup( pManAigNew ); in Fra_FraigInduction()637 p->nNodesEnd = Aig_ManNodeNum(pManAigNew); in Fra_FraigInduction()638 p->nRegsEnd = Aig_ManRegNum(pManAigNew); in Fra_FraigInduction()647 return pManAigNew; in Fra_FraigInduction()
417 Ivy_Man_t * pManAigNew; in Ivy_FraigPerform_int() local430 pManAigNew = p->pManFraig; in Ivy_FraigPerform_int()437 return pManAigNew; in Ivy_FraigPerform_int()454 Ivy_Man_t * pManAigNew; in Ivy_FraigPerform() local463 pManAigNew = p->pManFraig; in Ivy_FraigPerform()466 return pManAigNew; in Ivy_FraigPerform()483 Ivy_Man_t * pManAigNew; in Ivy_FraigMiter() local510 pManAigNew = p->pManFraig; in Ivy_FraigMiter()516 return pManAigNew; in Ivy_FraigMiter()