Definition at line 90 of file search_sat.cpp.
CVC3::SearchSatDecider::SearchSatDecider | ( | SearchSat * | ss | ) | [inline] |
Definition at line 93 of file search_sat.cpp.
CVC3::SearchSatDecider::~SearchSatDecider | ( | ) | [inline] |
Definition at line 94 of file search_sat.cpp.
Lit CVC3::SearchSatDecider::makeDecision | ( | ) | [inline, virtual] |
Make a decision.
Implements SAT::DPLLT::Decider.
Definition at line 96 of file search_sat.cpp.
References d_ss, and CVC3::SearchSat::makeDecision().
SearchSat* CVC3::SearchSatDecider::d_ss [private] |