141     Gia_Obj_t * pObj, * pObjRo, * pObjRi;  in Bmc_CexPerformUnrolling()  local
155         Gia_ManForEachRiRo( p, pObjRi, pObjRo, k )  in Bmc_CexPerformUnrolling()
156             pObjRo->Value = pObjRi->Value;  in Bmc_CexPerformUnrolling()
198     Gia_Obj_t * pObj, * pObjRo, * pObjRi;  in Bmc_CexBuildNetwork()  local
226         Gia_ManForEachRiRo( p, pObjRi, pObjRo, k )  in Bmc_CexBuildNetwork()
228             pObjRo->fMark0 = pObjRi->fMark0;  in Bmc_CexBuildNetwork()
229             pObjRo->fMark1 = pObjRi->fMark1;  in Bmc_CexBuildNetwork()
230             pObjRo->Value  = pObjRi->Value;  in Bmc_CexBuildNetwork()
391     Gia_Obj_t * pObj, * pObjRo, * pObjRi;  in Bmc_CexInnerStates()  local
409     Gia_ManForEachRi( p, pObjRi, k )  in Bmc_CexInnerStates()
411         pObjRi->fMark0 = 0;  in Bmc_CexInnerStates()
412         pObjRi->fMark1 = 1;  in Bmc_CexInnerStates()
419         Gia_ManForEachRiRo( p, pObjRi, pObjRo, k )  in Bmc_CexInnerStates()
421             pObjRo->fMark0 = pObjRi->fMark0;  in Bmc_CexInnerStates()
422             pObjRo->fMark1 = pObjRi->fMark1;  in Bmc_CexInnerStates()