Searched refs:Gia_ManIncrSimCone_rec (Results 1 – 1 of 1) sorted by relevance
1191 void Gia_ManIncrSimCone_rec( Gia_Man_t * p, int iObj ) in Gia_ManIncrSimCone_rec() function1201 Gia_ManIncrSimCone_rec( p, Gia_ObjFaninId0(pObj, iObj) ); in Gia_ManIncrSimCone_rec()1202 Gia_ManIncrSimCone_rec( p, Gia_ObjFaninId1(pObj, iObj) ); in Gia_ManIncrSimCone_rec()1209 Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit0) ); in Gia_ManIncrSimCheckOver()1210 Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit1) ); in Gia_ManIncrSimCheckOver()1218 Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit0) ); in Gia_ManIncrSimCheckEqual()1219 Gia_ManIncrSimCone_rec( p, Abc_Lit2Var(iLit1) ); in Gia_ManIncrSimCheckEqual()