![]() |
OR-Tools
8.2
|
Definition at line 87 of file sat_inprocessing.h.
Public Member Functions | |
Inprocessing (Model *model) | |
bool | PresolveLoop (SatPresolveOptions options) |
bool | InprocessingRound () |
bool | LevelZeroPropagate () |
bool | DetectEquivalencesAndStamp (bool use_transitive_reduction, bool log_info) |
bool | RemoveFixedAndEquivalentVariables (bool log_info) |
bool | MoreFixedVariableToClean () const |
bool | MoreRedundantVariableToClean () const |
bool | SubsumeAndStrenghtenRound (bool log_info) |
|
inlineexplicit |
Definition at line 89 of file sat_inprocessing.h.
bool DetectEquivalencesAndStamp | ( | bool | use_transitive_reduction, |
bool | log_info | ||
) |
Definition at line 228 of file sat_inprocessing.cc.
bool InprocessingRound | ( | ) |
Definition at line 138 of file sat_inprocessing.cc.
bool LevelZeroPropagate | ( | ) |
Definition at line 220 of file sat_inprocessing.cc.
bool MoreFixedVariableToClean | ( | ) | const |
Definition at line 209 of file sat_inprocessing.cc.
bool MoreRedundantVariableToClean | ( | ) | const |
Definition at line 214 of file sat_inprocessing.cc.
bool PresolveLoop | ( | SatPresolveOptions | options | ) |
Definition at line 43 of file sat_inprocessing.cc.
bool RemoveFixedAndEquivalentVariables | ( | bool | log_info | ) |
Definition at line 250 of file sat_inprocessing.cc.
bool SubsumeAndStrenghtenRound | ( | bool | log_info | ) |
Definition at line 359 of file sat_inprocessing.cc.