Method getConstInterp

src/api/java/Model.java:38–42

Retrieves the interpretation (the assignment) of a in the model. @param a A Constant @return An expression if the constant has an interpretation in the model, null otherwise. @throws Z3Exception

(Expr<R> a)

     * @throws Z3Exception
     **/
    public <R extends Sort> Expr<R> getConstInterp(Expr<R> a)
    {
        getContext().checkContextMatch(a);
        return getConstInterp(a.getFuncDecl());
    }

    /**
     * Retrieves the interpretation (the assignment) of {@code f} in