OR-Tools  8.2
SatWrapper Member List

This is the complete list of members for SatWrapper, including all inherited members.

ApplyDecision(sat::Literal decision_literal, std::vector< sat::Literal > *propagated_literals)SatWrapper
BacktrackAll()SatWrapper
BacktrackOneLevel()SatWrapper
deterministic_time() constSatWrapper
ExtractLearnedInfo(LearnedInfo *info)SatWrapper
FullSatTrail() constSatWrapper
IsModelUnsat() constSatWrapperinline
SatAssignment() constSatWrapperinline
SatWrapper(sat::SatSolver *sat_solver)SatWrapperexplicit