Implement the multiple-starters feature:
authorKim Nguyễn <kn@lri.fr>
Tue, 23 Jul 2013 17:06:50 +0000 (19:06 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 24 Jul 2013 09:39:12 +0000 (11:39 +0200)
- implement automata merging and concatenation
- change the command line parsing to allow multiple queries
- update the output format to denote which query a result set belongs to
- implement full evaluation of automata (associate each selecting state
with its result set)

Given queries Q1 ... QN on the command line, we can now:
- compute Q1, then Q2, ... , then QN on the same document, sequentially
- build one automaton that computes Q1, ..., QN in parallel
- compute QN(... Q2(Q1(root))) sequentially (materializing intermediate
results)
- build one automaton that computes QN(...(Q2(Q1(root)))) in one run.


No differences found