CVC3
2.4.1
|
Public Member Functions | |
SearchSatDecider (SearchSat *ss) | |
~SearchSatDecider () | |
Lit | makeDecision () |
Make a decision. More... | |
![]() | |
Decider () | |
virtual | ~Decider () |
Private Attributes | |
SearchSat * | d_ss |
Definition at line 91 of file search_sat.cpp.
|
inline |
Definition at line 94 of file search_sat.cpp.
|
inline |
Definition at line 95 of file search_sat.cpp.
|
inlinevirtual |
Make a decision.
Implements SAT::DPLLT::Decider.
Definition at line 97 of file search_sat.cpp.
References CVC3::SearchSat::makeDecision().
|
private |
Definition at line 92 of file search_sat.cpp.