Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::Inprocessing Class Reference

Detailed Description

Definition at line 111 of file sat_inprocessing.h.

#include <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)
void ProvideLogger (SolverLogger *logger)

Constructor & Destructor Documentation

◆ Inprocessing()

operations_research::sat::Inprocessing::Inprocessing ( Model * model)
inlineexplicit

Definition at line 113 of file sat_inprocessing.h.

Member Function Documentation

◆ DetectEquivalencesAndStamp()

bool operations_research::sat::Inprocessing::DetectEquivalencesAndStamp ( bool use_transitive_reduction,
bool log_info )

Definition at line 399 of file sat_inprocessing.cc.

◆ InprocessingRound()

bool operations_research::sat::Inprocessing::InprocessingRound ( )

Definition at line 228 of file sat_inprocessing.cc.

◆ LevelZeroPropagate()

bool operations_research::sat::Inprocessing::LevelZeroPropagate ( )

Definition at line 386 of file sat_inprocessing.cc.

◆ MoreFixedVariableToClean()

bool operations_research::sat::Inprocessing::MoreFixedVariableToClean ( ) const

Definition at line 375 of file sat_inprocessing.cc.

◆ MoreRedundantVariableToClean()

bool operations_research::sat::Inprocessing::MoreRedundantVariableToClean ( ) const

Definition at line 380 of file sat_inprocessing.cc.

◆ PresolveLoop()

bool operations_research::sat::Inprocessing::PresolveLoop ( SatPresolveOptions options)

Definition at line 89 of file sat_inprocessing.cc.

◆ ProvideLogger()

void operations_research::sat::Inprocessing::ProvideLogger ( SolverLogger * logger)
inline

Definition at line 168 of file sat_inprocessing.h.

◆ RemoveFixedAndEquivalentVariables()

bool operations_research::sat::Inprocessing::RemoveFixedAndEquivalentVariables ( bool log_info)

Definition at line 421 of file sat_inprocessing.cc.

◆ SubsumeAndStrenghtenRound()

bool operations_research::sat::Inprocessing::SubsumeAndStrenghtenRound ( bool log_info)

Definition at line 565 of file sat_inprocessing.cc.

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