The tree-edit function takes a zipper structure, a matcher function, and an editor function.
tree - edit函数获取一个zipper结构、一个matcher函数和一个editor函数。
If it matches, the node and the result of the matcher are passed to the editor function for possible modification and iteration continues from the modified node.
如果匹配，则节点和matcher函数的结果将传递至editor函数，进行可能存在更改，迭代将从修改后的节点处继续。
By using graphic editor function and spatial analysis faculty of GIS, various especially function of graphic editor and area statistic for land-use operation are provided in this system.
系统采用GIS的图形编辑功能和空间分析功能，提供了多种规划特色的图形编辑功能和土地管理中专用的面积统计功能。
应用推荐