Searched defs:fLearnt (Results 1 – 2 of 2) sorted by relevance
37 unsigned fLearnt : 1; member
269 unsigned xSAT_SolverClaNew( xSAT_Solver_t * s, Vec_Int_t * vLits , int fLearnt ) in xSAT_SolverClaNew()