Searched refs:Saig_BmcObjChild1 (Results 1 – 1 of 1) sorted by relevance
98 static inline Aig_Obj_t * Saig_BmcObjChild1( Saig_Bmc_t * p, Aig_Obj_t * pObj, int i ) … in Saig_BmcObjChild1() function449 pRes = Aig_And( p->pFrm, Saig_BmcObjChild0(p, pObj, i), Saig_BmcObjChild1(p, pObj, i) ); in Saig_BmcIntervalConstruct_rec()