From: Kim Nguyễn <kn@lri.fr>
Date: Tue, 23 Jul 2013 17:06:50 +0000 (+0200)
Subject: Implement the multiple-starters feature:
X-Git-Tag: v0.1~68
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=6ca42ffbd541cede6afcc473b563e54b848ee534;hp=6ca42ffbd541cede6afcc473b563e54b848ee534

Implement the multiple-starters feature:
- 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.
---