2006-09-01 Thierry GERAUD <theo(a)tegucigalpa.lrde.epita.fr> * mlc/contract.hh (implies): New macro. Index: mlc/contract.hh =================================================================== --- mlc/contract.hh (revision 513) +++ mlc/contract.hh (working copy) @@ -34,6 +34,8 @@ // FIXME: a lot of code has been removed here for simplification // purpose only. +# define implies(lexpr, rexpr) (not (rexpr) or (lexpr)) + # define assertion(expr) assert(expr) # define invariant(expr) assert(expr) # define precondition(expr) assert(expr)