Searched refs:iLit (Results 126 – 129 of 129) sorted by relevance
123456
129 #define Pf_CutForEachLit( pCut, Conf, iLit, i ) for ( i = 0; i < Pf_CutSize(pCut) && (iLit = Abc… argument
392 …c_ObjFromLit( Abc_Ntk_t * p, int iLit ) { return Abc_ObjNotCond( Abc_NtkObj(p, Abc_Lit2Var(iLit))… in Abc_ObjFromLit() argument
621 int iLit = Abc_Var2Lit( Var, !Value ); in Zyx_SetConstVar() local622 int status = bmcg_sat_solver_addclause( p->pSat, &iLit, 1 ); in Zyx_SetConstVar()
633 extern void Mvc_CoverDivideByLiteralQuo( Mvc_Cover_t * pCover, int iLit );