C++ Reference: class IntegerRoundingCutHelper
Note: This documentation is automatically generated.
Method | |
---|---|
ComputeCut | Return type: Arguments: |
NumLiftedBooleans | Return type: Returns the number of implied bound lifted Booleans in the last ComputeCut() call. Useful for investigation. |