From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 9 Mar 2013 10:38:54 +0000 (+0100)
Subject: Add a function to remove unreachable states in the automaton
X-Git-Tag: v0.1~155
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=65a13f009fb2952814a87dd9edaf9bcfc0a03635;hp=65a13f009fb2952814a87dd9edaf9bcfc0a03635;p=tatoo.git

Add a function to remove unreachable states in the automaton
---