operations_research::sat::DFFComposedF2F0 Class Reference

#include <2d_orthogonal_packing.h>

Public Member Functions
	DFFComposedF2F0 (IntegerValue max_x, IntegerValue k_f0, IntegerValue k_f2)
IntegerValue	operator() (IntegerValue x) const
IntegerValue	LowestInverse (IntegerValue x) const

Detailed Description

Using our definition for the inverse, composition produces a valid DFF with a valid inverse. This class defines f2(f0(x)).

Definition at line 357 of file 2d_orthogonal_packing.h.

Constructor & Destructor Documentation

DFFComposedF2F0()

operations_research::sat::DFFComposedF2F0::DFFComposedF2F0 ( IntegerValue max_x, IntegerValue k_f0, IntegerValue k_f2 )

inline

Definition at line 359 of file 2d_orthogonal_packing.h.

Member Function Documentation

LowestInverse()

IntegerValue operations_research::sat::DFFComposedF2F0::LowestInverse ( IntegerValue x ) const

inline

Definition at line 364 of file 2d_orthogonal_packing.h.

operator()()

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

inline

Definition at line 362 of file 2d_orthogonal_packing.h.

---

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

• ortools/sat/2d_orthogonal_packing.h