Add grammar related function to result sets.
authorKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:28:25 +0000 (14:28 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:28:25 +0000 (14:28 +0100)
commitfd8c311ef5bd3f856e7aa56c38219db6fb9f636c
tree3ced9ec61a01a939ed4c4578756dc0530fc9ac98
parenta357ae76d9af8d4de812c893680780de0dad2149
Add grammar related function to result sets.
src/nodeSet.ml
src/nodeSet.mli