operations_research::sat::DFFComposedF2F0 Member List

This is the complete list of members for operations_research::sat::DFFComposedF2F0, including all inherited members.

DFFComposedF2F0(IntegerValue max_x, IntegerValue k_f0, IntegerValue k_f2)	operations_research::sat::DFFComposedF2F0	inline
LowestInverse(IntegerValue x) const	operations_research::sat::DFFComposedF2F0	inline
operator()(IntegerValue x) const	operations_research::sat::DFFComposedF2F0	inline