From: Kim Nguyễn <kn@lri.fr>
Date: Sat, 9 Mar 2013 10:14:37 +0000 (+0100)
Subject: Rework the formula predicates:
X-Git-Tag: v0.1~157
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=35c32fbd2543a399cc6939f21317bebf37172646;hp=35c32fbd2543a399cc6939f21317bebf37172646;p=tatoo.git

Rework the formula predicates:
       - adds testing for first child, next sibling etc and their converse
       - make the predicate complete w.r.t negation
       - move the evaluation of formula to the Eval module (where the type of
       context is known)
---