From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 19 Jul 2013 13:33:37 +0000 (+0200)
Subject: Refactor the Ata module:
X-Git-Tag: v0.1~72
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=af9d790ca62e678e8e70ab8d8fa7f804985a75e0;hp=af9d790ca62e678e8e70ab8d8fa7f804985a75e0

Refactor the Ata module:
         - add a builder class to ensure we only manipulate well-formed automata
         - move all the caching infrastructure to the computation of the run
         - rename the Eval module to Run
---