OR-Tools  8.2
Inprocessing Member List

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

DetectEquivalencesAndStamp(bool use_transitive_reduction, bool log_info)Inprocessing
Inprocessing(Model *model)Inprocessinginlineexplicit
InprocessingRound()Inprocessing
LevelZeroPropagate()Inprocessing
MoreFixedVariableToClean() constInprocessing
MoreRedundantVariableToClean() constInprocessing
PresolveLoop(SatPresolveOptions options)Inprocessing
RemoveFixedAndEquivalentVariables(bool log_info)Inprocessing
SubsumeAndStrenghtenRound(bool log_info)Inprocessing