OR-Tools  8.2
Inprocessing

Detailed Description

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)
 

Constructor & Destructor Documentation

◆ Inprocessing()

Inprocessing ( Model model)
inlineexplicit

Definition at line 89 of file sat_inprocessing.h.

Member Function Documentation

◆ DetectEquivalencesAndStamp()

bool DetectEquivalencesAndStamp ( bool  use_transitive_reduction,
bool  log_info 
)

Definition at line 228 of file sat_inprocessing.cc.

◆ InprocessingRound()

bool InprocessingRound ( )

Definition at line 138 of file sat_inprocessing.cc.

◆ LevelZeroPropagate()

bool LevelZeroPropagate ( )

Definition at line 220 of file sat_inprocessing.cc.

◆ MoreFixedVariableToClean()

bool MoreFixedVariableToClean ( ) const

Definition at line 209 of file sat_inprocessing.cc.

◆ MoreRedundantVariableToClean()

bool MoreRedundantVariableToClean ( ) const

Definition at line 214 of file sat_inprocessing.cc.

◆ PresolveLoop()

bool PresolveLoop ( SatPresolveOptions  options)

Definition at line 43 of file sat_inprocessing.cc.

◆ RemoveFixedAndEquivalentVariables()

bool RemoveFixedAndEquivalentVariables ( bool  log_info)

Definition at line 250 of file sat_inprocessing.cc.

◆ SubsumeAndStrenghtenRound()

bool SubsumeAndStrenghtenRound ( bool  log_info)

Definition at line 359 of file sat_inprocessing.cc.


The documentation for this class was generated from the following files: