Method evaluate

src/api/java/Model.java:226–229

Alias for Eval. @throws Z3Exception

(Expr<R> t, boolean completion)

     * @throws Z3Exception
     **/
    public <R extends Sort> Expr<R> evaluate(Expr<R> t, boolean completion)
    {
        return eval(t, completion);
    }

    /**
     * The number of uninterpreted sorts that the model has an interpretation