![]() |
OR-Tools
8.2
|
Public Member Functions | |
SatWrapper (sat::SatSolver *sat_solver) | |
std::vector< sat::Literal > | FullSatTrail () const |
bool | IsModelUnsat () const |
const sat::VariablesAssignment & | SatAssignment () const |
int | ApplyDecision (sat::Literal decision_literal, std::vector< sat::Literal > *propagated_literals) |
void | BacktrackOneLevel () |
void | BacktrackAll () |
void | ExtractLearnedInfo (LearnedInfo *info) |
double | deterministic_time () const |
|
explicit |
int ApplyDecision | ( | sat::Literal | decision_literal, |
std::vector< sat::Literal > * | propagated_literals | ||
) |
void ExtractLearnedInfo | ( | LearnedInfo * | info | ) |
std::vector< sat::Literal > FullSatTrail | ( | ) | const |
|
inline |