CVC3
2.4.1
|
#include <dpllt.h>
SAT::DPLLT::Decider::Decider | ( | ) | [inline] |
virtual SAT::DPLLT::Decider::~Decider | ( | ) | [inline, virtual] |
virtual Lit SAT::DPLLT::Decider::makeDecision | ( | ) | [pure virtual] |
Make a decision.
Implemented in CVC3::SearchSatDecider.
Referenced by SATDecisionHook(), and MiniSat::Solver::search().