Method mkIntConst

src/api/java/Context.java:797–800

Creates an integer constant.

(Symbol name)

     * Creates an integer constant.
     **/
    public IntExpr mkIntConst(Symbol name)
    {
        return (IntExpr) mkConst(name, getIntSort());
    }

    /**
     * Creates an integer constant.