Method ToDatatypeExprArray

src/api/java/ASTVector.java:180–187

Translates the AST vector into an DatatypeExpr[]

()

     * Translates the AST vector into an DatatypeExpr[]
     * */ 
    public DatatypeExpr<?>[] ToDatatypeExprArray()
    {
        int n = size();
        DatatypeExpr<?>[] res = new DatatypeExpr[n];
        for (int i = 0; i < n; i++)
            res[i] = (DatatypeExpr<?>)Expr.create(getContext(), get(i).getNativeObject());
        return res;
    }

    /**
     * Translates the AST vector into an FPExpr[]