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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 20 May 2009 06:38:56 +0000 (06:38 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 20 May 2009 06:38:56 +0000 (06:38 +0000)
commit	9728f46b5f256250a4451c0a9bda30ce81be5b8b
tree	4bf4200070bf58045519d8cc81be801e0bb75beb	tree \| snapshot
parent	83b4813de7204842bb59d5cb0aec71aff633ca85	commit \| diff

Added correct decision procedure

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

ata.ml		diff \| blob \| history
finiteCofinite.ml		diff \| blob \| history
finiteCofinite.mli		diff \| blob \| history

XPath Library based on tree automata.