CVC3
|
#include <dpllt.h>
Inherited by CVC3::SearchSatDecider.
Public Member Functions | |
Decider () | |
virtual | ~Decider () |
virtual Lit | makeDecision ()=0 |
Make a decision. | |
|
pure virtual |
Make a decision.
Implemented in CVC3::SearchSatDecider.
Referenced by SATDecisionHook(), and MiniSat::Solver::search().