From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 17 Jul 2013 15:59:01 +0000 (+0200)
Subject: Sanitize the representation of formula
X-Git-Tag: v0.1~73
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=90ce5857f6cad2ebc753fdbc8e37882a1ff47415;hp=90ce5857f6cad2ebc753fdbc8e37882a1ff47415

Sanitize the representation of formula
- rename the toplevel Formula module to Boolean
- rename Ata.SFormula to Formula
- move the flag saying whether an atom is positive or negative
  to Boolean
- distinguish predicates that are moves from generic predicates.
---