- All Superinterfaces:
- Formula
public interface FloatingPointRoundingModeFormula
extends Formula
Formula representing a rounding mode for floating-point operations.
This is currently unused by the API but necessary for traversal of formulas with such terms.