git.nguyen.vg Git - SXSI/xpathcomp.git/commit

projects / SXSI / xpathcomp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: f583e10) | patch

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 18 May 2009 15:54:27 +0000 (15:54 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 18 May 2009 15:54:27 +0000 (15:54 +0000)
commit	c5f06d325240c808a9be4d71e20fc01969420bb3
tree	ad222022c2bb3e76d245c1c8d2ef8734a7369e90	tree \| snapshot
parent	f583e10adcefdebc0a682980c8d73454eedefecf	commit \| diff

Expose the internal structure of Hconsed value

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@397 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

ata.ml		diff \| blob \| history
hcons.ml		diff \| blob \| history
hcons.mli		diff \| blob \| history
hlist.ml		diff \| blob \| history
hlist.mli		diff \| blob \| history
ptset.ml		diff \| blob \| history

XPath Library based on tree automata.