/// <summary> /// Translates an AST vector into an AST[] /// </summary> public AST[] ToArray() { uint n = Size; AST[] res = new AST[n]; for (uint i = 0; i < n; i++) { res[i] = AST.Create(this.Context, this[i].NativeObject); } return(res); }