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

Detailed Description

Definition at line 389 of file cuts.h.

#include <cuts.h>

Public Member Functions

 GUBHelper (Model *model)
 ~GUBHelper ()
void ApplyWithPotentialBumpAndGUB (const std::function< IntegerValue(IntegerValue)> &f, IntegerValue divisor, CutData *cut)
int last_num_lifts () const
int last_num_bumps () const
int last_num_gubs () const

Constructor & Destructor Documentation

◆ GUBHelper()

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

Definition at line 391 of file cuts.h.

◆ ~GUBHelper()

operations_research::sat::GUBHelper::~GUBHelper ( )

Definition at line 466 of file cuts.cc.

Member Function Documentation

◆ ApplyWithPotentialBumpAndGUB()

void operations_research::sat::GUBHelper::ApplyWithPotentialBumpAndGUB ( const std::function< IntegerValue(IntegerValue)> & f,
IntegerValue divisor,
CutData * cut )

Definition at line 476 of file cuts.cc.

◆ last_num_bumps()

int operations_research::sat::GUBHelper::last_num_bumps ( ) const
inline

Definition at line 404 of file cuts.h.

◆ last_num_gubs()

int operations_research::sat::GUBHelper::last_num_gubs ( ) const
inline

Definition at line 405 of file cuts.h.

◆ last_num_lifts()

int operations_research::sat::GUBHelper::last_num_lifts ( ) const
inline

Definition at line 403 of file cuts.h.

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