Searched refs:lbLBDFrozenClause (Results 1 – 4 of 4) sorted by relevance
136 , lbLBDFrozenClause(opt_lb_lbd_frozen_clause) in Solver()220 , lbLBDFrozenClause(s.lbLBDFrozenClause) in Solver()770 if(c.lbd() <= lbLBDFrozenClause) { in analyze()1769 … * Protected : (lbd)< %2d | |\n", R, lbLBDFrozenClause); in solve_()1776 … * Protected : (lbd)< %2d | |\n", R, lbLBDFrozenClause); in solve_()
212 unsigned int lbLBDFrozenClause; variable
111 , lbLBDFrozenClause (opt_lb_lbd_frozen_clause) in Solver()560 if(c.lbd()<=lbLBDFrozenClause) { in analyze()1237 … | * Protected : (lbd)< %2d | |\n",R,lbLBDFrozenClause); in solve_()
164 unsigned int lbLBDFrozenClause; variable