From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 24 Apr 2013 16:42:24 +0000 (+0200)
Subject: Add a bitmap to keep track of whether a subtree needs to be
X-Git-Tag: v0.1~84
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=acd23a33d837d03c813212ec3896a86edef16e87;hp=acd23a33d837d03c813212ec3896a86edef16e87

Add a bitmap to keep track of whether a subtree needs to be
recomputed or not.
A subtree needs to be recomputed when:
(1) it's todo transition list is not empty or
(2) one of its subtrees needs to be recomputed.

Introduce a bitvector module to efficiently represent arrays of
booleans.
---