projects
/
SXSI
/
xpathcomp.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change from unordered_set<tag> to int array in low-level select_* functions.
[SXSI/xpathcomp.git]
/
src
/
l2JIT.mli
diff --git
a/src/l2JIT.mli
b/src/l2JIT.mli
index
f269fc6
..
9d97d4a
100644
(file)
--- a/
src/l2JIT.mli
+++ b/
src/l2JIT.mli
@@
-6,12
+6,12
@@
type jump =
| NEXT_ELEMENT of StateSet.t
| TAGGED_DESCENDANT of StateSet.t * Tag.t
| TAGGED_FOLLOWING of StateSet.t * Tag.t
| NEXT_ELEMENT of StateSet.t
| TAGGED_DESCENDANT of StateSet.t * Tag.t
| TAGGED_FOLLOWING of StateSet.t * Tag.t
- | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
- | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
+ | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
+ | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
| TAGGED_CHILD of StateSet.t * Tag.t
| TAGGED_SIBLING of StateSet.t * Tag.t
| TAGGED_CHILD of StateSet.t * Tag.t
| TAGGED_SIBLING of StateSet.t * Tag.t
- | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
- | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.
unordered_se
t
+ | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
+ | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.
tag_lis
t
| TAGGED_SUBTREE of StateSet.t * Tag.t
| ELEMENT_SUBTREE of StateSet.t
| TAGGED_SUBTREE of StateSet.t * Tag.t
| ELEMENT_SUBTREE of StateSet.t