Method mkFP

src/api/java/Context.java:3909–3912

Create a numeral of FloatingPoint sort from a float. @param v numeral value. @param s FloatingPoint sort. @throws Z3Exception

(float v, FPSort s)

     * @throws Z3Exception
     **/
    public FPNum mkFP(float v, FPSort s)
    {
        return mkFPNumeral(v, s);
    }

    /**
     * Create a numeral of FloatingPoint sort from a double.