OR-Tools  9.6
Public Member Functions | List of all members
Inprocessing

Detailed Description

Definition at line 96 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 98 of file sat_inprocessing.h.

Member Function Documentation

◆ DetectEquivalencesAndStamp()

bool DetectEquivalencesAndStamp ( bool  use_transitive_reduction,
bool  log_info 
)

Definition at line 249 of file sat_inprocessing.cc.

◆ InprocessingRound()

bool InprocessingRound ( )

Definition at line 158 of file sat_inprocessing.cc.

◆ LevelZeroPropagate()

bool LevelZeroPropagate ( )

Definition at line 241 of file sat_inprocessing.cc.

◆ MoreFixedVariableToClean()

bool MoreFixedVariableToClean ( ) const

Definition at line 230 of file sat_inprocessing.cc.

◆ MoreRedundantVariableToClean()

bool MoreRedundantVariableToClean ( ) const

Definition at line 235 of file sat_inprocessing.cc.

◆ PresolveLoop()

bool PresolveLoop ( SatPresolveOptions  options)

Definition at line 63 of file sat_inprocessing.cc.

◆ RemoveFixedAndEquivalentVariables()

bool RemoveFixedAndEquivalentVariables ( bool  log_info)

Definition at line 271 of file sat_inprocessing.cc.

◆ SubsumeAndStrenghtenRound()

bool SubsumeAndStrenghtenRound ( bool  log_info)

Definition at line 380 of file sat_inprocessing.cc.

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