git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@430
3cdefd35-fc62-479d-8e8d-
bae585ffb9ca
let s = StateSet.choose cf in
if (Algebra.is_rec a s fst) && (Algebra.is_rec a s snd)
&& (Algebra.is_final_marking a s)
let s = StateSet.choose cf in
if (Algebra.is_rec a s fst) && (Algebra.is_rec a s snd)
&& (Algebra.is_final_marking a s)
- then RS.mk_quick_subtree default llist 1 tree tag'
+ then RS.mk_quick_tag_loop default llist 1 tree tag'
else default
else default
| _ ->
else default
else default
| _ ->