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

Detailed Description

Definition at line 524 of file cuts.h.

#include <cuts.h>

Public Member Functions

 CoverCutHelper (Model *model)
 ~CoverCutHelper ()
bool TrySimpleKnapsack (const CutData &input_ct, ImpliedBoundsProcessor *ib_processor=nullptr)
bool TryWithLetchfordSouliLifting (const CutData &input_ct, ImpliedBoundsProcessor *ib_processor=nullptr)
bool TrySingleNodeFlow (const CutData &input_ct, ImpliedBoundsProcessor *ib_processor=nullptr)
const CutData & cut () const
std::string Info () const
void ClearCache ()

Constructor & Destructor Documentation

◆ CoverCutHelper()

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

Definition at line 526 of file cuts.h.

◆ ~CoverCutHelper()

operations_research::sat::CoverCutHelper::~CoverCutHelper ( )

Definition at line 1274 of file cuts.cc.

Member Function Documentation

◆ ClearCache()

void operations_research::sat::CoverCutHelper::ClearCache ( )
inline

Definition at line 583 of file cuts.h.

◆ cut()

const CutData & operations_research::sat::CoverCutHelper::cut ( ) const
inline

Definition at line 578 of file cuts.h.

◆ Info()

std::string operations_research::sat::CoverCutHelper::Info ( ) const
inline

Definition at line 581 of file cuts.h.

◆ TrySimpleKnapsack()

bool operations_research::sat::CoverCutHelper::TrySimpleKnapsack ( const CutData & input_ct,
ImpliedBoundsProcessor * ib_processor = nullptr )

Definition at line 1534 of file cuts.cc.

◆ TrySingleNodeFlow()

bool operations_research::sat::CoverCutHelper::TrySingleNodeFlow ( const CutData & input_ct,
ImpliedBoundsProcessor * ib_processor = nullptr )

Definition at line 1651 of file cuts.cc.

◆ TryWithLetchfordSouliLifting()

bool operations_research::sat::CoverCutHelper::TryWithLetchfordSouliLifting ( const CutData & input_ct,
ImpliedBoundsProcessor * ib_processor = nullptr )

Definition at line 1753 of file cuts.cc.

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