#include <dpllt.h>
Inheritance diagram for SAT::DPLLT::Decider:
Definition at line 89 of file dpllt.h.
[inline]
Definition at line 91 of file dpllt.h.
[inline, virtual]
Definition at line 92 of file dpllt.h.
[pure virtual]
Make a decision.
Implemented in CVC3::SearchSatDecider.
Referenced by MiniSat::Solver::search().