From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 26 Jul 2013 14:38:26 +0000 (+0200)
Subject: Improve performances by moving the caching outside of the saturation
X-Git-Tag: v0.1~53
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=cfef2deaf1a17df7bcb153c3b92e28e14edd912b;hp=cfef2deaf1a17df7bcb153c3b92e28e14edd912b

Improve performances by moving the caching outside of the saturation
of the set of states of the current node (instead of caching and
looking-up at each step)
---