minisat::reduceDB_lt Struct Reference

List of all members.

Public Member Functions
bool	operator() (Clause *x, Clause *y)

---

The documentation for this struct was generated from the following file:

• sat-solver/SatSolver.cpp