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