operations_research::sat::RoundingDualFeasibleFunctionPowerOfTwo Class Reference

Same as above for k = 2^log2_k. More...

#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

Detailed Description

Same as above for k = 2^log2_k.

Definition at line 313 of file 2d_orthogonal_packing.h.

Constructor & Destructor Documentation

RoundingDualFeasibleFunctionPowerOfTwo()

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

inline

Definition at line 315 of file 2d_orthogonal_packing.h.

Member Function Documentation

LowestInverse()

IntegerValue operations_research::sat::RoundingDualFeasibleFunctionPowerOfTwo::LowestInverse

(

IntegerValue

y

)

const

Return the lowest integer y so that Dff(x) >= y. y must be in [0, Dff(max_x)].

Definition at line 145 of file 2d_orthogonal_packing.cc.

operator()()

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

inline

Definition at line 324 of file 2d_orthogonal_packing.h.

---

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

• ortools/sat/2d_orthogonal_packing.h
• ortools/sat/2d_orthogonal_packing.cc