Package org.sosy_lab.java_smt.api

Interface FloatingPointRoundingModeFormula

  • All Superinterfaces:
    Formula
    @Immutable
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.