C++ Reference: class IntegerRoundingCutHelper

Note: This documentation is automatically generated.

Method
ComputeCut

Return type: void

Arguments: RoundingOptions options, const std::vector<double>& lp_values, const std::vector<IntegerValue>& lower_bounds, const std::vector<IntegerValue>& upper_bounds, ImpliedBoundsProcessor* ib_processor, LinearConstraint* cut

NumLiftedBooleans

Return type: int

Returns the number of implied bound lifted Booleans in the last ComputeCut() call. Useful for investigation.