From: Kim Nguyễn <kn@lri.fr>
Date: Fri, 26 Jul 2013 15:16:13 +0000 (+0200)
Subject: Do not stupidely recompute a constant set of states for each node
X-Git-Tag: v0.1~52
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=2d9352c1cd8cd3f73c60d0b7c50981f9b42ceb57;hp=2d9352c1cd8cd3f73c60d0b7c50981f9b42ceb57

Do not stupidely recompute a constant set of states for each node
in the tree, compute it once and for all before the run and store it
at each node as we traverse them.
---