Method get

src/api/java/ASTVector.java:43–47

Retrieves the i-th object in the vector. Remarks: May throw an IndexOutOfBoundsException when i is out of range. @param i Index @return An AST @throws Z3Exception

(int i)

     * @throws Z3Exception
     **/
    public AST get(int i)
    {
        return new AST(getContext(), Native.astVectorGet(getContext().nCtx(),
                getNativeObject(), i));
    }

    public void set(int i, AST value)
    {