[Olena-patches] 514: New 'implies' macro in mlc contracts.

1 Sep 2006

2006-09-01  Thierry GERAUD  <theo@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)

    