Package org.sosy_lab.java_smt.api

Interface FloatingPointFormula

  • All Superinterfaces:
    Formula
    @Immutable
public interface FloatingPointFormula
extends Formula
    Formula of the floating point sort.