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

Detailed Description

Definition at line 317 of file 2d_orthogonal_packing.h.

#include <2d_orthogonal_packing.h>

Public Member Functions

 RoundingDualFeasibleFunctionPowerOfTwo (IntegerValue max_x, IntegerValue log2_k)
IntegerValue operator() (IntegerValue x) const
IntegerValue LowestInverse (IntegerValue y) const

Constructor & Destructor Documentation

◆ RoundingDualFeasibleFunctionPowerOfTwo()

operations_research::sat::RoundingDualFeasibleFunctionPowerOfTwo::RoundingDualFeasibleFunctionPowerOfTwo ( IntegerValue max_x,
IntegerValue log2_k )
inline

Definition at line 319 of file 2d_orthogonal_packing.h.

Member Function Documentation

◆ LowestInverse()

IntegerValue operations_research::sat::RoundingDualFeasibleFunctionPowerOfTwo::LowestInverse ( IntegerValue y) const

Definition at line 156 of file 2d_orthogonal_packing.cc.

◆ operator()()

IntegerValue operations_research::sat::RoundingDualFeasibleFunctionPowerOfTwo::operator() ( IntegerValue x) const
inline

Definition at line 328 of file 2d_orthogonal_packing.h.


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