Method mkInt

src/api/java/Context.java:2755–2760

Create an integer numeral. @param v A string representing the Term value in decimal notation.

(String v)

     * @param v A string representing the Term value in decimal notation.
     **/
    public IntNum mkInt(String v)
    {

        return new IntNum(this, Native.mkNumeral(nCtx(), v, getIntSort()
                .getNativeObject()));
    }

    /**
     * Create an integer numeral.