Searched refs:iFiVarBeg (Results 1 – 1 of 1) sorted by relevance
716 int iFiVarBeg = 1 + Gia_ManPoNum(p); in Pdr_InvCheck_int() local765 …Vec_IntPush( vLits, Abc_Var2Lit(iFiVarBeg + Abc_Lit2Var(pCube[k+1]), Abc_LitIsCompl(pCube[k+1])) ); in Pdr_InvCheck_int()816 int iFiVarBeg = 1 + Gia_ManPoNum(p); in Pdr_InvMinimize() local874 …Vec_IntPush( vLits, Abc_Var2Lit(iFiVarBeg + Abc_Lit2Var(pCube[k+1]), Abc_LitIsCompl(pCube[k+1])) ); in Pdr_InvMinimize()