Searched refs:pThis1 (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
| H A D | absVta.c | 474 Vta_Obj_t * pThis0, * pThis1; in Vta_ManCollectNodes_rec() local
483 if ( pThis1 ) Vta_ManCollectNodes_rec( p, pThis1, vOrder ); in Vta_ManCollectNodes_rec()
514 Vta_Obj_t * pThis, * pThis0, * pThis1; in Vta_ManSatVerify() local
662 if ( pThis1 ) in Vta_ManRefineAbstraction()
663 pThis1->Prio = Abc_MinInt( pThis1->Prio, pThis->Prio + 1 ); in Vta_ManRefineAbstraction()
740 assert( pThis0 && pThis1 ); in Vta_ManRefineAbstraction()
800 assert( pThis0 && pThis1 ); in Vta_ManRefineAbstraction()
807 pThis1->fVisit = 1; in Vta_ManRefineAbstraction()
837 pThis1->fVisit = 1; in Vta_ManRefineAbstraction()
911 assert( pThis0 && pThis1 ); in Vta_ManRefineAbstraction()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/bdc/ |
| H A D | bdcSpfd.c | 596 Bdc_Ent_t * p, * q, * pBeg0, * pEnd0, * pBeg1, * pEnd1, * pThis0, * pThis1; in Bdc_SpfdDecomposeTest__() local
651 for ( pThis1 = pBeg1; pThis1 < pEnd1; pThis1++ ) in Bdc_SpfdDecomposeTest__()
652 if ( k < m || pThis1 > pThis0 ) in Bdc_SpfdDecomposeTest__()
657 t1 = ((s>>1)&1) ? ~pThis1->Truth : pThis1->Truth; in Bdc_SpfdDecomposeTest__()
669 q->iFan1 = pThis1-p; in Bdc_SpfdDecomposeTest__()
|