Definition at line 1684 of file minisat_solver.cpp.
[inline]
Definition at line 1685 of file minisat_solver.cpp.
References MiniSat::Clause::activity(), and MiniSat::Clause::size().