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