X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=tree.ml;fp=tree.ml;h=0a1bddab6d68f9baf426dda2ca9533749f17e688;hb=7b6e25ac7c3b4e06c8386c1090bb69ae97a47143;hp=a0346363925a599c9f56edd735ab3b2f98dcca16;hpb=9f227961ae2219728e4cdd56e4d4c4e7165e4306;p=SXSI%2Fxpathcomp.git diff --git a/tree.ml b/tree.ml index a034636..0a1bdda 100644 --- a/tree.ml +++ b/tree.ml @@ -788,3 +788,7 @@ let stats t = +let test_prefix t s = Array.length (text_prefix t.doc s) +let test_suffix t s = Array.length (text_suffix t.doc s) +let test_contains t s = Array.length (text_contains t.doc s) +let test_equals t s = Array.length (text_equals t.doc s)