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

Detailed Description

Definition at line 470 of file cuts.h.

#include <cuts.h>

Public Member Functions

 IntegerRoundingCutHelper (Model *model)
 ~IntegerRoundingCutHelper ()
bool ComputeCut (RoundingOptions options, const CutData &base_ct, ImpliedBoundsProcessor *ib_processor=nullptr)
const CutData & cut () const
std::string Info () const

Constructor & Destructor Documentation

◆ IntegerRoundingCutHelper()

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

Definition at line 472 of file cuts.h.

◆ ~IntegerRoundingCutHelper()

operations_research::sat::IntegerRoundingCutHelper::~IntegerRoundingCutHelper ( )

Definition at line 859 of file cuts.cc.

Member Function Documentation

◆ ComputeCut()

bool operations_research::sat::IntegerRoundingCutHelper::ComputeCut ( RoundingOptions options,
const CutData & base_ct,
ImpliedBoundsProcessor * ib_processor = nullptr )

Definition at line 1002 of file cuts.cc.

◆ cut()

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

Definition at line 483 of file cuts.h.

◆ Info()

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

Definition at line 486 of file cuts.h.

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