CVC3
|
Public Member Functions | |
bool | operator() (Clause *x, Clause *y) |
Definition at line 1775 of file minisat_solver.cpp.
Definition at line 1776 of file minisat_solver.cpp.
References MiniSat::Clause::activity(), and MiniSat::Clause::size().